diff options
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 |