overload extension: syntax overload OldModule* {def*}

This commit is contained in:
aarne
2008-06-03 09:21:24 +00:00
parent 9dbf9c5660
commit 8d98fec81e
6 changed files with 15 additions and 10 deletions

View File

@@ -171,7 +171,7 @@ renameInfo mo status (i,info) = errIn
ResOper pty ptr -> liftM2 ResOper (ren pty) (ren ptr)
ResOverload os tysts ->
liftM2 ResOverload (mapM rent os) (mapM (pairM rent) tysts)
liftM (ResOverload os) (mapM (pairM rent) tysts)
ResParam (Yes (pp,m)) -> do
pp' <- mapM (renameParam status) pp