Tôi phải sử dụng gói haskell-type-exts như thế nào?

Question

Tôi đang cố gắng đánh máy một đoạn mã được cung cấp dưới dạng chuỗi.

Tôi tìm thấy gói haskell-type-exts (hackage link) có vẻ như cung cấp những gì tôi cần: Với parseModule AST được xây dựng trên đó typecheckModule có thể được áp dụng. Nhưng sau đó tôi không biết phải làm gì với kết quả. Nó thuộc loại Tc VarEnv trong đó Tc là một đơn nguyên.

Các gói phần mềm cung cấp một trường hợp thử nghiệm nơi một cái gì đó như thế này được sử dụng:

ea <- runTc testEnv $ typecheckExp e 

Nhưng runTc là trong một module ẩn vì vậy tôi không thể sử dụng nó. Đây là mã tôi có cho đến nay:

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? 

Tôi thiếu gì ở đây? Có lẽ mô-đun chỉ bị ẩn do nhầm lẫn?

Answer 1

Tôi nghĩ rằng gói này chưa sẵn sàng để sử dụng. Chỉ cần nhìn vào số source of Language.Haskell.TypeCheck. Ví dụ: typeCheck = undefined typechecks tất nhiên!

Bạn có thể thử sử dụng GHC-API (Trang Haddock và Wiki).