diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-02-22 15:17:50 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-02-22 15:17:50 +0000 |
| commit | 2faba9011978f29f56bbc27287720a08b08b7adb (patch) | |
| tree | faf7919dc7068cb3f91efa033e851eccf17bff89 /src/GF/Devel/Grammar/Construct.hs | |
| parent | 9e6064709f621c1489f18ee94612226014646a9a (diff) | |
started a directory of grammars testing testgf3 features
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 |