From e4dc63f6657153da1a8c906f669581905f054e4a Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Tue, 14 Oct 2008 14:34:08 +0000
Subject: rudimentary abstract syntax type checker and solver in PGF

---
 src/PGF.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/PGF.hs')

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
-- 
cgit v1.2.3