diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-03-01 14:29:47 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-03-01 14:29:47 +0000 |
| commit | 674b4765e653d91c8c900da1263df8c0f4d767ad (patch) | |
| tree | f35a6274d78742f2d4880f8149f17341a53c06fb /src/GF/Devel/Grammar | |
| parent | bc77ad31639775dbb8201e44d1f8a3c3b8b78852 (diff) | |
added bnfc-generated testgf3 files
Diffstat (limited to 'src/GF/Devel/Grammar')
| -rw-r--r-- | src/GF/Devel/Grammar/Grammar.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Devel/Grammar/Grammar.hs b/src/GF/Devel/Grammar/Grammar.hs index 374d9b2f2..9a9855f8e 100644 --- a/src/GF/Devel/Grammar/Grammar.hs +++ b/src/GF/Devel/Grammar/Grammar.hs @@ -46,8 +46,8 @@ type Indirection = (Ident,Bool) -- module of origin, whether canonical data Judgement = Judgement { jform :: JudgementForm, -- cat fun lincat lin oper param - jtype :: Type, -- context type lincat - type constrs - jdef :: Term, -- lindef def lindef lin def values + jtype :: Type, -- context type lincat - type PType + jdef :: Term, -- lindef def lindef lin def constrs jprintname :: Term, -- - - prname prname - - jlink :: Ident, jposition :: Int |