Norwegian

This commit is contained in:
aarne
2006-01-26 13:57:22 +00:00
parent ad65c86860
commit 443f86ba4d

View File

@@ -124,12 +124,16 @@ computeTermOpt rec gr = comp where
S t@(T _ cc) v -> do
v' <- comp g v
case matchPattern cc v' of
Ok (c,g') -> comp (g' ++ g) c
_ | isCan v' -> prtBad ("missing case" +++ prt v' +++ "in") t
_ -> do
t' <- comp g t
return $ S t' v' -- if v' is not canonical
case v' of
FV vs -> do
ts' <- mapM (comp g . S t) vs
return $ variants ts'
_ -> case matchPattern cc v' of
Ok (c,g') -> comp (g' ++ g) c
_ | isCan v' -> prtBad ("missing case" +++ prt v' +++ "in") t
_ -> do
t' <- comp g t
return $ S t' v' -- if v' is not canonical
S t v -> do
t' <- comp g t