From 7db4b641ce6abe90dd404459cd5eccb6e67f618c Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 20 May 2009 21:03:56 +0000 Subject: refactor the PGF.Expr type and the evaluation of abstract expressions --- 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 5aba8cdfa..58952dc7d 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,Expr), -- type and def of a fun + funs :: Map.Map CId (Type,[Equation]), -- type and def of a fun 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