diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2017-02-14 09:31:08 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-02-14 10:53:01 -0500 |
| commit | 6626242ba334d81ecf5fe6dd4ef964f74656e541 (patch) | |
| tree | a8ebdc18a491c6f3da653ec58cff6b7154ba8f24 | |
| parent | 60c49861465015659a25542692b6d259667759e5 (diff) | |
| download | haskell-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.hs | 2 |
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 |