Commit 9ed57d66 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Remove unused unifyType_

parent 1e86cab4
...@@ -16,7 +16,7 @@ module TcUnify ( ...@@ -16,7 +16,7 @@ module TcUnify (
checkConstraints, buildImplicationFor, checkConstraints, buildImplicationFor,
-- Various unifications -- Various unifications
unifyType_, unifyType, unifyTheta, unifyKind, noThing, unifyType, unifyTheta, unifyKind, noThing,
uType, unifyExpType, uType, unifyExpType,
-------------------------------- --------------------------------
...@@ -976,12 +976,6 @@ The exported functions are all defined as versions of some ...@@ -976,12 +976,6 @@ The exported functions are all defined as versions of some
non-exported generic functions. non-exported generic functions.
-} -}
-- | Unify two types, discarding a resultant coercion. Any constraints
-- generated will still need to be solved, however.
unifyType_ :: Outputable a => Maybe a -- ^ If present, has type 'ty1'
-> TcTauType -> TcTauType -> TcM ()
unifyType_ thing ty1 ty2 = void $ unifyType thing ty1 ty2
unifyType :: Outputable a => Maybe a -- ^ If present, has type 'ty1' unifyType :: Outputable a => Maybe a -- ^ If present, has type 'ty1'
-> TcTauType -> TcTauType -> TcM TcCoercionN -> TcTauType -> TcTauType -> TcM TcCoercionN
-- Actual and expected types -- Actual and expected types
......
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