Analisi UnicodeSyntax con haskell-src-exts

Question

Ho un file sorgente Haskell, che utilizzando la sintassi Unicode:

{-# LANGUAGE UnicodeSyntax #-} 
succ' :: Int → Int 
succ' = succ 

main :: IO() 
main = print $ succ' 1 

Questo analizza e funziona bene con GHC. Inoltre, stylish-haskell e hlint (entrambi basati su haskell-src-exts) possono leggere questo file senza problemi. Tuttavia, quando provo ad analizzare me stesso usando Haskell-src-exts:

import Language.Haskell.Exts (parseModule) 

main = do 
    x <- readFile "test.hs" 
    print $ parseModule x 

ricevo il seguente messaggio di errore:

ParseFailed (SrcLoc {srcFilename = "<unknown>.hs", srcLine = 6, srcColumn = 1}) "TypeOperators is not enabled" 

Tuttavia, fornendo UnicodeSyntax esplicitamente nella lista estensioni o utilizzando ParseFile funziona fine:

import Language.Haskell.Exts 

main = do 
    x <- readFile "test.hs" 
    print $ parseModuleWithMode defaultParseMode 
     { extensions = [UnicodeSyntax] 
     } x 

    parseFile "test.hs" >>= print 

Qualche idea sul perché il primo approccio fallisce?

Answer 1

Da una rapida occhiata alla fonte, non sembra parseModule pragma estratti dalla lingua di origine prima di parsing (parseFile non farlo chiamando getExtensions). Quando è iniziata l'analisi, è già troppo tardi per abilitare la sintassi Unicode.