From 86b5f78c579ce5fcc9c96370644c41c35a421070 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Fri, 5 Sep 2014 10:09:43 +0000 Subject: full support for recursive def rules in the C runtime --- src/runtime/haskell/PGF/Expr.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/runtime/haskell/PGF/Expr.hs') diff --git a/src/runtime/haskell/PGF/Expr.hs b/src/runtime/haskell/PGF/Expr.hs index 0b4ccc554..80a615e67 100644 --- a/src/runtime/haskell/PGF/Expr.hs +++ b/src/runtime/haskell/PGF/Expr.hs @@ -325,8 +325,8 @@ data Value | VClosure Env Expr | VImplArg Value -type Sig = ( Map.Map CId (Type,Int,Maybe ([Equation],[Instr]),Double) -- type and def of a fun - , Int -> Maybe Expr -- lookup for metavariables +type Sig = ( Map.Map CId (Type,Int,Maybe ([Equation],[[Instr]]),Double) -- type and def of a fun + , Int -> Maybe Expr -- lookup for metavariables ) type Env = [Value] -- cgit v1.2.3