Morphological analysis and glueing.

This commit is contained in:
aarne
2003-11-10 07:55:45 +00:00
parent 4c99687f21
commit 249d506f58
13 changed files with 84 additions and 34 deletions

View File

@@ -76,11 +76,11 @@ renameIdentTerm :: Status -> Term -> Err Term
renameIdentTerm env@(act,imps) t =
errIn ("atomic term" +++ prt t +++ "given" +++ unwords (map (prt . fst) qualifs)) $
case t of
Vr (IC "Int") -> return $ Q cPredefAbs cInt -- Int and String are predefined cats
Vr (IC "String") -> return $ Q cPredefAbs cString
Vr c -> do
f <- lookupTreeMany prt opens c
return $ f c
Vr (IC "Int") -> return $ Q cPredefAbs cInt -- Int and String are predefined cats
Vr (IC "String") -> return $ Q cPredefAbs cString
Cn c -> do
f <- lookupTreeMany prt opens c
return $ f c