From e6beca01cb1ff53c08fbe333832ea7ca23325f38 Mon Sep 17 00:00:00 2001
From: peb <peb@cs.chalmers.se>
Date: Wed, 22 Mar 2006 12:38:47 +0000
Subject: translated TODO to english, restructured to fit with todoo-mode.el

---
 src/GF/Formalism/SimpleGFC.hs | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'src/GF')

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
 
-- 
cgit v1.2.3