diff options
Diffstat (limited to 'src/GF/Devel/Grammar/Construct.hs')
| -rw-r--r-- | src/GF/Devel/Grammar/Construct.hs | 2 |
1 files changed, 1 insertions, 1 deletions
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 |