webkit-sodium couldn't be built

[YuMingLiao]

I use nix-shell to build haskell.packages.ghcjs86.
ghcjs is 8.6.0.1. And ghcjs-dom is 0.9.4.0.
But webkit-sodium in ghcjs couldn't be built.

[3 of 3] Compiling Engine           ( src/Engine.hs, dist/build/Engine.js_o )                
                                              
src/Engine.hs:6:9: error:                                       
    Module ‘GHCJS.DOM.Document’ does not export ‘documentCreateElement’
  |                                                                             
6 |        (documentCreateElement, documentGetElementById, documentGetBody,     
  |         ^^^^^^^^^^^^^^^^^^^^^                              
                                                                            
src/Engine.hs:6:32: error:                                                                                                          
    Module                                                                                                                          
    ‘GHCJS.DOM.Document’                         
    does not export                                                                                                                 
    ‘documentGetElementById’                                                    
  |                                                                                                                                 
6 |        (documentCreateElement, documentGetElementById, documentGetBody,
  |                                ^^^^^^^^^^^^^^^^^^^^^^                                                                           
                                                                            
src/Engine.hs:6:56: error:        
    Module ‘GHCJS.DOM.Document’ does not export ‘documentGetBody’                
  |                                                                       
6 |        (documentCreateElement, documentGetElementById, documentGetBody,     
  |                                                        ^^^^^^^^^^^^^^^      
                                                                                                                                    
src/Engine.hs:7:9: error:                                                                                                           
    Module                                                          
    ‘GHCJS.DOM.Document’                                                                     
    does not export                           
    ‘documentGetDocumentElement’                                
  |                                                                    
7 |         documentGetDocumentElement)                                         
  |         ^^^^^^^^^^^^^^^^^^^^^^^^^^                                          
                                                               
src/Engine.hs:9:9: error:                                                   
    Module                                                                                                                          
    ‘GHCJS.DOM.HTMLElement’                                                                                                         
    does not export                              
    ‘htmlElementInsertAdjacentElement’                                                                                              
  |                                                                             
9 |        (htmlElementInsertAdjacentElement, htmlElementSetInnerHTML,                                                              
  |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^                               
                                                                                                                                    
src/Engine.hs:9:43: error:                                                  
    Module              
    ‘GHCJS.DOM.HTMLElement’                                                      
    does not export                                                       
    ‘htmlElementSetInnerHTML’                                                   
  |                                                                             
9 |        (htmlElementInsertAdjacentElement, htmlElementSetInnerHTML,                                                              
  |                                           ^^^^^^^^^^^^^^^^^^^^^^^                                                               
                                                                    
src/Engine.hs:10:9: error:                                                                   
    Module                                    
    ‘GHCJS.DOM.HTMLElement’                                     
    does not export                                                    
    ‘htmlElementInsertAdjacentHTML’                                             
   |                                                                            
10 |         htmlElementInsertAdjacentHTML)                    
   |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^                                  
                                                                                                                                    
src/Engine.hs:11:19: error:                                                                                                         
    Module ‘GHCJS.DOM’ does not export ‘WebView’ 
   |                                                                                                                                
11 | import GHCJS.DOM (WebView, webViewGetDomDocument)                          
   |                   ^^^^^^^                                                                                                      
                                                                           
src/Engine.hs:11:28: error:                                                                                                         
    Module ‘GHCJS.DOM’ does not export ‘webViewGetDomDocument’              
   |                                                                     
11 | import GHCJS.DOM (WebView, webViewGetDomDocument)                           
   |                            ^^^^^^^^^^^^^^^^^^^^^                     
                                                                                
src/Engine.hs:13:9: error:                                                      
    Module ‘GHCJS.DOM.Types’ does not export ‘castToHTMLElement’                                                                    
   |                                                                                                                                
13 |        (castToHTMLElement, castToElement, Document,            
   |         ^^^^^^^^^^^^^^^^^                                                               
                                              
src/Engine.hs:13:28: error:                                     
    Module ‘GHCJS.DOM.Types’ does not export ‘castToElement’           
   |                                                                            
13 |        (castToHTMLElement, castToElement, Document,                        
   |                            ^^^^^^^^^^^^^                  
                                                                            
builder for '/nix/store/6cdaqmpndifsa0brvg4yf9ib0yzgsy3n-webkit-sodium-0.0.1.drv' failed with exit code 1                           
cannot build derivation '/nix/store/h1adh9z618c3rkv4mr2xpkzl6yhxs16a-ghcjs-8.6.0.1-with-packages.drv': 1 dependencies couldn't be built                                               
error: build of '/nix/store/h1adh9z618c3rkv4mr2xpkzl6yhxs16a-ghcjs-8.6.0.1-with-packages.drv' failed 

It seems webkit-sodium couldn't use the latest ghcjs-dom interface. And I don't know which version is suitable.

[YuMingLiao]

Oops. The issue should belong to ghcjs-examples.