diff options
Diffstat (limited to 'compiler/typecheck/TcUnify.hs')
-rw-r--r-- | compiler/typecheck/TcUnify.hs | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/compiler/typecheck/TcUnify.hs b/compiler/typecheck/TcUnify.hs index 4343c32bf4..be0586eeda 100644 --- a/compiler/typecheck/TcUnify.hs +++ b/compiler/typecheck/TcUnify.hs @@ -25,7 +25,6 @@ module TcUnify ( -- Holes tcInferInst, tcInferNoInst, matchExpectedListTy, - matchExpectedPArrTy, matchExpectedTyConApp, matchExpectedAppTy, matchExpectedFunTys, @@ -362,13 +361,6 @@ matchExpectedListTy exp_ty = do { (co, [elt_ty]) <- matchExpectedTyConApp listTyCon exp_ty ; return (co, elt_ty) } ----------------------- -matchExpectedPArrTy :: TcRhoType -> TcM (TcCoercionN, TcRhoType) --- Special case for parrs -matchExpectedPArrTy exp_ty - = do { (co, [elt_ty]) <- matchExpectedTyConApp parrTyCon exp_ty - ; return (co, elt_ty) } - --------------------- matchExpectedTyConApp :: TyCon -- T :: forall kv1 ... kvm. k1 -> ... -> kn -> * -> TcRhoType -- orig_ty |