summaryrefslogtreecommitdiff
path: root/src/PGF.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/PGF.hs')
-rw-r--r--src/PGF.hs3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/PGF.hs b/src/PGF.hs
index 347b52ccc..dc777f4d5 100644
--- a/src/PGF.hs
+++ b/src/PGF.hs
@@ -44,7 +44,7 @@ module PGF(
parse, canParse, parseAllLang, parseAll,
-- ** Evaluation
- tree2expr, expr2tree, compute, paraphrase,
+ tree2expr, expr2tree, compute, paraphrase, typecheck,
-- ** Word Completion (Incremental Parsing)
complete,
@@ -59,6 +59,7 @@ import PGF.CId
import PGF.Linearize
import PGF.Generate
import PGF.AbsCompute
+import PGF.TypeCheck
import PGF.Paraphrase
import PGF.Macros
import PGF.Data