Commit 14965981 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Get rid of TcMType.newWantedEvVar(s)

Hardly used, not helpful.  Use newEvVar instead.
parent 13b0b460
......@@ -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 }
......
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment