diff options
Diffstat (limited to 'src/GF/Devel/Judgements.hs')
| -rw-r--r-- | src/GF/Devel/Judgements.hs | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/GF/Devel/Judgements.hs b/src/GF/Devel/Judgements.hs index 9d2afdc6a..7be565bf0 100644 --- a/src/GF/Devel/Judgements.hs +++ b/src/GF/Devel/Judgements.hs @@ -4,16 +4,17 @@ import GF.Devel.Terms import GF.Infra.Ident data Judgement = Judgement { - jform :: JudgementForm, -- cat fun oper param - jtype :: Type, -- context type type constructors - jdef :: Term, -- lindef def - values - jlin :: Term, -- lincat lin def - - jprintname :: Term -- printname printname - - + jform :: JudgementForm, -- cat fun lincat lin oper param + jtype :: Type, -- context type lincat - type constrs + jdef :: Term, -- lindef def lindef lin def values + jprintname :: Term -- - - prname prname - - } data JudgementForm = JCat | JFun + | JLincat + | JLin | JOper | JParam deriving Eq |