From 2faba9011978f29f56bbc27287720a08b08b7adb Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 22 Feb 2008 15:17:50 +0000 Subject: started a directory of grammars testing testgf3 features --- src/GF/Devel/Grammar/Construct.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/GF/Devel/Grammar/Construct.hs') diff --git a/src/GF/Devel/Grammar/Construct.hs b/src/GF/Devel/Grammar/Construct.hs index bd480cbe1..eb4ce857d 100644 --- a/src/GF/Devel/Grammar/Construct.hs +++ b/src/GF/Devel/Grammar/Construct.hs @@ -114,7 +114,7 @@ resOverload tts = resOperDef (Overload tts) -- param p = ci gi is encoded as p : ((ci : gi) -> p) -> Type -- we use EData instead of p to make circularity check easier resParam :: Ident -> [(Ident,Context)] -> Judgement -resParam p cos = addJDef (EParam cos) (emptyJudgement JParam) +resParam p cos = addJDef (EParam (Con p) cos) (addJType typePType (emptyJudgement JParam)) -- to enable constructor type lookup: -- create an oper for each constructor p = c g, as c : g -> p = EData -- cgit v1.2.3