diff options
Diffstat (limited to 'src/GF')
| -rw-r--r-- | src/GF/Formalism/SimpleGFC.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/GF/Formalism/SimpleGFC.hs b/src/GF/Formalism/SimpleGFC.hs index 04a5832c8..24e8e3f73 100644 --- a/src/GF/Formalism/SimpleGFC.hs +++ b/src/GF/Formalism/SimpleGFC.hs @@ -44,6 +44,13 @@ data TTerm = Constr :@ [TTerm] | TVar Var deriving (Eq, Ord, Show) +{-- andra ordningens funktioner: +data Decl c = Decl Var [(c,[TTerm])] (c,[TTerm]) +-- (A -> B) ==> Decl _ [(A,[])] (B,[]) +-- (A -> B -> C) ==> Decl _ [(A,[]), (B,[])] (C,[]) +-- (y : A t x -> B (t x)) ==> Decl y [(A,[t:@[],TVar x])] (B,[t:@[TVar x]]) +-} + decl2cat :: Decl c -> c decl2cat (Decl _ cat _) = cat |