diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-20 11:43:41 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-20 11:43:41 +0000 |
| commit | b1a51f46f5d137ab4d65a4381b349af3291a944d (patch) | |
| tree | ce1df7a103ba74a9c8a7eedbf2260bde37736166 /src/PGF/Expr.hs-boot | |
| parent | d09371280d5b28d85acce7b7d899c21bc4e11b32 (diff) | |
change the data types and the syntax in PGF to match the new syntax for implict arguments
Diffstat (limited to 'src/PGF/Expr.hs-boot')
| -rw-r--r-- | src/PGF/Expr.hs-boot | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/PGF/Expr.hs-boot b/src/PGF/Expr.hs-boot index 533feea75..075f7f44b 100644 --- a/src/PGF/Expr.hs-boot +++ b/src/PGF/Expr.hs-boot @@ -10,7 +10,16 @@ instance Eq Expr instance Ord Expr
instance Show Expr
+
+data BindType = Explicit | Implicit
+
+instance Eq BindType
+instance Ord BindType
+instance Show BindType
+
+
pFactor :: RP.ReadP Expr
+pBinds :: RP.ReadP [(BindType,CId)]
ppExpr :: Int -> [CId] -> Expr -> PP.Doc
|