bug fix in Compute

This commit is contained in:
aarne
2007-06-09 14:08:23 +00:00
parent 31cbed2d60
commit 84aafe7914
2 changed files with 5 additions and 5 deletions

View File

@@ -73,8 +73,8 @@ present:
$(GFCP) common/ConstructX.gf
mv */*.gfc */*.gfr ../present
touch api/Constructors.gf
$(GFCCP) api/Constructors???.gf
mv api/Constructors*.gfc api/Constructors*.gfr ../alltenses
$(GFCCP) -path=api:present:prelude api/Constructors???.gf
mv api/Constructors*.gfc api/Constructors*.gfr ../present
mathematical:
$(GFCC) mathematical/MathematicalEng.gf

View File

@@ -134,7 +134,7 @@ computeTermOpt rec gr = comp where
ts' <- mapM (comp g . S t) vs
return $ variants ts'
_ -> case ti of
{-
TComp _ -> do
case term2patt v' of
Ok p' -> case lookup p' cc of
@@ -145,7 +145,7 @@ computeTermOpt rec gr = comp where
_ -> do
t' <- comp g t
return $ S t' v'
-}
_ -> case matchPattern cc v' of
Ok (c,g') -> comp (g' ++ g) c
_ | isCan v' -> prtBad ("missing case" +++ prt v' +++ "in") t
@@ -158,7 +158,7 @@ computeTermOpt rec gr = comp where
t' <- case t of
-- T _ _ -> return t
V _ _ -> return t
-- V _ _ -> return t
_ -> comp g t
v' <- comp g v