From b97d6abb8190cdcb595b9bf48051cc4a98f01156 Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 6 Sep 2009 20:31:52 +0000 Subject: hopefully complete and correct typechecker in PGF --- src/PGF/Expr.hs-boot | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'src/PGF/Expr.hs-boot') diff --git a/src/PGF/Expr.hs-boot b/src/PGF/Expr.hs-boot index 0369be173..21f5f7ef1 100644 --- a/src/PGF/Expr.hs-boot +++ b/src/PGF/Expr.hs-boot @@ -1,13 +1,17 @@ module PGF.Expr where +import PGF.CId import qualified Text.PrettyPrint as PP import qualified Text.ParserCombinators.ReadP as RP data Expr -instance Eq Expr -instance Ord Expr +instance Eq Expr +instance Ord Expr +instance Show Expr pFactor :: RP.ReadP Expr -ppExpr :: Int -> Expr -> PP.Doc +ppExpr :: Int -> [CId] -> Expr -> PP.Doc + +freshName :: CId -> [CId] -> CId \ No newline at end of file -- cgit v1.2.3