From b1a51f46f5d137ab4d65a4381b349af3291a944d Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sun, 20 Sep 2009 11:43:41 +0000
Subject: change the data types and the syntax in PGF to match the new syntax
 for implict arguments

---
 src/PGF/Expr.hs-boot | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'src/PGF/Expr.hs-boot')

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