From 09da1013f9a14dfa672c8e1adea269fc337aa57c Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Mon, 22 Feb 2010 15:50:41 +0000
Subject: refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has
 access to the meta store

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

(limited to 'src/runtime/haskell/PGF.hs')

diff --git a/src/runtime/haskell/PGF.hs b/src/runtime/haskell/PGF.hs
index f8c6dfc8c..a2a2154bb 100644
--- a/src/runtime/haskell/PGF.hs
+++ b/src/runtime/haskell/PGF.hs
@@ -293,7 +293,7 @@ complete pgf from typ input =
 
 -- | Converts an expression to normal form
 compute :: PGF -> Expr -> Expr
-compute pgf = PGF.Data.normalForm (funs (abstract pgf)) 0 []
+compute pgf = PGF.Data.normalForm (funs (abstract pgf),const Nothing) 0 []
 
 browse :: PGF -> CId -> Maybe (String,[CId],[CId])
 browse pgf id = fmap (\def -> (def,producers,consumers)) definition
-- 
cgit v1.2.3