diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-12-10 13:12:11 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-12-10 16:01:16 +0000 |
| commit | 149659817afc0ffe4148af483c4ec44994b03107 (patch) | |
| tree | 891f2d0d59e5690ddfd7e39e27cd4bb745e493e1 | |
| parent | 13b0b460d365828c7d41b39d2ce7d5bbe4c69f98 (diff) | |
| download | haskell-149659817afc0ffe4148af483c4ec44994b03107.tar.gz | |
Get rid of TcMType.newWantedEvVar(s)
Hardly used, not helpful. Use newEvVar instead.
| -rw-r--r-- | compiler/typecheck/Inst.hs | 2 | ||||
| -rw-r--r-- | compiler/typecheck/TcMType.hs | 9 |
2 files changed, 2 insertions, 9 deletions
diff --git a/compiler/typecheck/Inst.hs b/compiler/typecheck/Inst.hs index a059c5030c..afe466bb76 100644 --- a/compiler/typecheck/Inst.hs +++ b/compiler/typecheck/Inst.hs @@ -73,7 +73,7 @@ emitWanteds origin theta = mapM (emitWanted origin) theta emitWanted :: CtOrigin -> TcPredType -> TcM EvVar emitWanted origin pred = do { loc <- getCtLoc origin - ; ev <- newWantedEvVar pred + ; ev <- newEvVar pred ; emitFlat $ mkNonCanonical $ CtWanted { ctev_pred = pred, ctev_evar = ev, ctev_loc = loc } ; return ev } diff --git a/compiler/typecheck/TcMType.hs b/compiler/typecheck/TcMType.hs index d5a2781d88..b95e0c3ee0 100644 --- a/compiler/typecheck/TcMType.hs +++ b/compiler/typecheck/TcMType.hs @@ -29,7 +29,6 @@ module TcMType ( -------------------------------- -- Creating new evidence variables newEvVar, newEvVars, newEq, newDict, - newWantedEvVar, newWantedEvVars, newTcEvBinds, addTcEvBind, newFlatWanted, newFlatWanteds, @@ -124,12 +123,6 @@ newMetaKindVars n = mapM (\ _ -> newMetaKindVar) (nOfThem n ()) newEvVars :: TcThetaType -> TcM [EvVar] newEvVars theta = mapM newEvVar theta -newWantedEvVar :: TcPredType -> TcM EvVar -newWantedEvVar = newEvVar - -newWantedEvVars :: TcThetaType -> TcM [EvVar] -newWantedEvVars theta = mapM newWantedEvVar theta - -------------- newEvVar :: TcPredType -> TcM EvVar @@ -165,7 +158,7 @@ predTypeOccName ty = case classifyPredType ty of newFlatWanted :: CtOrigin -> PredType -> TcM Ct newFlatWanted orig pty = do loc <- getCtLoc orig - v <- newWantedEvVar pty + v <- newEvVar pty return $ mkNonCanonical $ CtWanted { ctev_evar = v , ctev_pred = pty |