diff options
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 |