Commit 47561c91 authored by Krzysztof Gogolewski's avatar Krzysztof Gogolewski

Remove dead code in TcUnify

Summary: RelaxedPolyRec is not used anymore

Test Plan: validate

Reviewers: bgamari, alpmestan

Reviewed By: alpmestan

Subscribers: rwbarton, thomie, carter

Differential Revision: https://phabricator.haskell.org/D4983
parent 44a7b9ba
......@@ -17,7 +17,7 @@ module TcUnify (
buildImplicationFor,
-- Various unifications
unifyType, unifyTheta, unifyKind,
unifyType, unifyKind,
uType, promoteTcType,
swapOverTyVars, canSolveByUnification,
......@@ -1235,18 +1235,6 @@ unifyKind thing ty1 ty2 = traceTc "ukind" (ppr ty1 $$ ppr ty2 $$ ppr thing) >>
, uo_visible = True } -- also always from a visible context
---------------
unifyPred :: PredType -> PredType -> TcM TcCoercionN
-- Actual and expected types
unifyPred = unifyType Nothing
---------------
unifyTheta :: TcThetaType -> TcThetaType -> TcM [TcCoercionN]
-- Actual and expected types
unifyTheta theta1 theta2
= do { checkTc (equalLength theta1 theta2)
(vcat [text "Contexts differ in length",
nest 2 $ parens $ text "Use RelaxedPolyRec to allow this"])
; zipWithM unifyPred theta1 theta2 }
{-
%************************************************************************
......
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