W jaki sposób mam korzystać z pakietu haskell-type-exts?

Question

Próbuję sprawdzić poprawność kodu podanego w postaci ciągu.

Znalazłem pakiet Haskell-Type-ekstrahowane (hackage link), który wydaje się zapewniać co potrzebne: Z parseModule AST zostanie zbudowana na którym typecheckModule mogą być stosowane. Ale nie wiem, co zrobić z wynikiem. Jest to typ Tc VarEnv, gdzie Tc jest monadą.

Pakiet stanowi przypadek testowy, gdzie jest używany mniej więcej tak:

ea <- runTc testEnv $ typecheckExp e 

Ale runTc jest w ukrytym module, więc nie mogę go używać. Oto kod, który mam do tej pory:

import Language.Haskell.Exts.Parser (parseModule, ParseResult(..)) 
import Language.Haskell.TypeCheck.TypeCheck 
-- import Language.Haskell.TypeCheck.Monad --hidden module 

main = do 
    let m = "myTest = map (+1) [1..10]" 
    let r = parseModule m 
    case r of 
     ParseOk res -> printStuff res 
     _ -> print "wtf" 

printStuff r = do 
    let Right tc = return $ typecheckModule r 
-- print tc? 

Czego tu mi brakuje? Może moduł jest tylko ukryty przez pomyłkę?

Answer 1

Myślę, że ten pakiet nie jest jeszcze gotowy do użycia. Wystarczy spojrzeć na source of Language.Haskell.TypeCheck. Na przykład typeCheck = undefined typechecks oczywiście!

Możesz spróbować użyć GHC-API (Haddock i Strona Wiki).