summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <bgamari.foss@gmail.com>2017-02-14 09:31:08 -0500
committerBen Gamari <ben@smart-cactus.org>2017-02-14 10:53:01 -0500
commit6626242ba334d81ecf5fe6dd4ef964f74656e541 (patch)
treea8ebdc18a491c6f3da653ec58cff6b7154ba8f24
parent60c49861465015659a25542692b6d259667759e5 (diff)
downloadhaskell-6626242ba334d81ecf5fe6dd4ef964f74656e541.tar.gz
TcUnify: Assert precondition of matchExpectedTyConApp
Test Plan: Validate Reviewers: simonpj, austin Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D3128
-rw-r--r--compiler/typecheck/TcUnify.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcUnify.hs b/compiler/typecheck/TcUnify.hs
index b7c4aeeae4..db3233e26f 100644
--- a/compiler/typecheck/TcUnify.hs
+++ b/compiler/typecheck/TcUnify.hs
@@ -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
where
go ty
| Just ty' <- coreView ty