[BindType isn't used. Removed for clarity.
Lemmih <lemmih@gmail.com>**20081127131757
 Ignore-this: a9033b5d1ab03be8699ab9f9ced7d099
] hunk ./E/Annotate.hs 90
-    f (ELam tvr e) = lp LambdaBound ELam tvr e
-    f (EPi tvr e) = lp PiBound EPi tvr e
+    f (ELam tvr e) = lp ELam tvr e
+    f (EPi tvr e) = lp EPi tvr e
conflictor [
hunk ./E/Annotate.hs 124
-    lp bnd lam tvr@(TVr { tvrIdent = n, tvrType = t}) e | n == 0  = do
+    lp bnd lam tvr@(TVr { tvrIdent = n, tvrType = t}) e | n == emptyId  = do
]
:
hunk ./E/Annotate.hs 124
-    lp bnd lam tvr@(TVr { tvrIdent = n, tvrType = t}) e | n == 0  = do
+    lp lam tvr@(TVr { tvrIdent = n, tvrType = t}) e | n == 0  = do
hunk ./E/Annotate.hs 130
-    lp bnd lam tvr e = do
+    lp lam tvr e = do
hunk ./Info/Types.hs 19
-data BindType = CaseDefault | CasePattern | LetBound | LambdaBound | PiBound
-    deriving(Show,Ord,Eq)
+--data BindType = CaseDefault | CasePattern | LetBound | LambdaBound | PiBound
+--    deriving(Show,Ord,Eq)