Commit 6626242b authored by Ben Gamari's avatar Ben Gamari Committed by Ben Gamari
Browse files

TcUnify: Assert precondition of matchExpectedTyConApp

Test Plan: Validate

Reviewers: simonpj, austin

Subscribers: thomie

Differential Revision:
parent 60c49861
......@@ -367,7 +367,7 @@ matchExpectedTyConApp :: TyCon -- T :: forall kv1 ... kvm. k1 ->
-- Postcondition: (T k1 k2 k3 a b c) is well-kinded
matchExpectedTyConApp tc orig_ty
= go orig_ty
= ASSERT(tc /= funTyCon) go orig_ty
go ty
| Just ty' <- coreView ty
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