diff options
| author | peb <peb@cs.chalmers.se> | 2006-03-22 12:38:47 +0000 |
|---|---|---|
| committer | peb <peb@cs.chalmers.se> | 2006-03-22 12:38:47 +0000 |
| commit | e6beca01cb1ff53c08fbe333832ea7ca23325f38 (patch) | |
| tree | 47355d58e6085e75ee51924d3a52ccbc6ce16601 /src/GF/Formalism/SimpleGFC.hs | |
| parent | 2e25df894169ff0aef8f06d92317336481cf7288 (diff) | |
translated TODO to english, restructured to fit with todoo-mode.el
Diffstat (limited to 'src/GF/Formalism/SimpleGFC.hs')
| -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 |