diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-06 20:31:52 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-06 20:31:52 +0000 |
| commit | b97d6abb8190cdcb595b9bf48051cc4a98f01156 (patch) | |
| tree | 744fc14acf55e09812f6e15bab831cd28c1e7187 /src/PGF/Expr.hs-boot | |
| parent | c99b64404dd6b776d80b36ae3e1b8ef4e80949f7 (diff) | |
hopefully complete and correct typechecker in PGF
Diffstat (limited to 'src/PGF/Expr.hs-boot')
| -rw-r--r-- | src/PGF/Expr.hs-boot | 10 |
1 files changed, 7 insertions, 3 deletions
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 |