diff options
| author | krasimir <krasimir@chalmers.se> | 2009-10-28 16:47:01 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-10-28 16:47:01 +0000 |
| commit | 980844a4ad13c0423a3223f0e89e43d6e9be1ba3 (patch) | |
| tree | 810ad7002888c5f5f3847d8a6b7b9773c9672576 /src/GF/Compile/Rename.hs | |
| parent | f2e5281602516e1c0eb4a2f69d64e6c075fb79da (diff) | |
restructure ResParam and ResValue
Diffstat (limited to 'src/GF/Compile/Rename.hs')
| -rw-r--r-- | src/GF/Compile/Rename.hs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/GF/Compile/Rename.hs b/src/GF/Compile/Rename.hs index d037aaafc..30616b4cb 100644 --- a/src/GF/Compile/Rename.hs +++ b/src/GF/Compile/Rename.hs @@ -107,7 +107,7 @@ info2status :: Maybe Ident -> (Ident,Info) -> StatusInfo info2status mq (c,i) = case i of AbsFun _ _ Nothing -> maybe Con QC mq ResValue _ -> maybe Con QC mq - ResParam _ -> maybe Con QC mq + ResParam _ _ -> maybe Con QC mq AnyInd True m -> maybe Con (const (QC m)) mq AnyInd False m -> maybe Cn (const (Q m)) mq _ -> maybe Cn Q mq @@ -148,12 +148,12 @@ renameInfo mo status i info = checkIn ResOverload os tysts -> liftM (ResOverload os) (mapM (pairM rent) tysts) - ResParam (Just (pp,m)) -> do + ResParam (Just pp) m -> do pp' <- mapM (renameParam status) pp - return $ ResParam $ Just (pp',m) - ResValue (Just (t,m)) -> do - t' <- rent t - return $ ResValue $ Just (t',m) + return (ResParam (Just pp') m) + ResValue t -> do + t <- rent t + return (ResValue t) CncCat pty ptr ppr -> liftM3 CncCat (ren pty) (ren ptr) (ren ppr) CncFun mt ptr ppr -> liftM2 (CncFun mt) (ren ptr) (ren ppr) _ -> return info |