From 41b263cf6aa38e7c6ef090c0fa18949b86eec62c Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 22 May 2009 18:54:51 +0000
Subject: some work on evaluation with abstract expressions in PGF

---
 src/PGF/Data.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/PGF/Data.hs')

diff --git a/src/PGF/Data.hs b/src/PGF/Data.hs
index 58952dc7d..142968d8c 100644
--- a/src/PGF/Data.hs
+++ b/src/PGF/Data.hs
@@ -24,7 +24,7 @@ data PGF = PGF {
 
 data Abstr = Abstr {
   aflags  :: Map.Map CId String,      -- value of a flag
-  funs    :: Map.Map CId (Type,[Equation]), -- type and def of a fun
+  funs    :: Map.Map CId (Type,Int,[Equation]), -- type, arrity and definition of function
   cats    :: Map.Map CId [Hypo],      -- context of a cat
   catfuns :: Map.Map CId [CId]        -- funs to a cat (redundant, for fast lookup)
   }
-- 
cgit v1.2.3