diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-11-17 13:40:55 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-11-17 13:40:55 +0000 |
| commit | 580f7d79952836068686d73bcc70fc9df5562e13 (patch) | |
| tree | 49739acdb945344adbdb6f04e2af564187d1ab2d /src/GF/Compile/Rename.hs | |
| parent | 546e778ba8c9ea4109fbe278c6363818a43eaa0f (diff) | |
oper overloading: first implemenatation using records
Diffstat (limited to 'src/GF/Compile/Rename.hs')
| -rw-r--r-- | src/GF/Compile/Rename.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/GF/Compile/Rename.hs b/src/GF/Compile/Rename.hs index 4276fc6e8..0e408aaee 100644 --- a/src/GF/Compile/Rename.hs +++ b/src/GF/Compile/Rename.hs @@ -159,6 +159,8 @@ renameInfo status (i,info) = errIn ("renaming definition of" +++ prt i) $ AbsTrans f -> liftM AbsTrans (rent f) ResOper pty ptr -> liftM2 ResOper (ren pty) (ren ptr) + ResOverload tysts -> liftM ResOverload $ mapM (pairM rent) tysts + ResParam (Yes (pp,m)) -> do pp' <- mapM (renameParam status) pp return $ ResParam $ Yes (pp',m) |