prelude sources to lib/src; present in StructuralEng; refactored checkGFCC

2007-12-13 10:12:00 +00:00
parent e6c9cb2b52
commit 072b48065d
17 changed files with 85 additions and 44 deletions
--- a/src/GF/Devel/GrammarToGFCC.hs
+++ b/src/GF/Devel/GrammarToGFCC.hs
@@ -380,7 +380,6 @@ term2term cgr env@(labels,untyps,typs) tr = case tr of
  P  t l   -> r2r tr
  PI t l i -> EInt $ toInteger i

-  T _ [_] -> error $ "single" +++ prt tr
  T (TWild _) _ -> error $ "wild" +++ prt tr
  T (TComp  ty) cs  -> t2t $ V ty $ map snd cs ---- should be elim'ed in tc
  T (TTyped ty) cs  -> t2t $ V ty $ map snd cs ---- should be elim'ed in tc