resource.txt updates ; lock field and lookup book fixes

This commit is contained in:
aarne
2006-06-20 15:05:22 +00:00
parent 0333ba894b
commit a6cc18c8bd
9 changed files with 238 additions and 179 deletions

View File

@@ -204,7 +204,9 @@ renameTerm env vars = ren vars where
| elem r vs -> return trm -- var proj first
| otherwise -> case renid (Q r (label2ident l)) of -- qualif second
Ok t -> return t
_ -> liftM (flip P l) $ renid t -- const proj last
_ -> case liftM (flip P l) $ renid t of
Ok t -> return t -- const proj last
_ -> prtBad "unknown qualified constant" trm
_ -> composOp (ren vs) trm