Solve equalities in a pattern signature
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 16 Oct 2018 13:47:12 +0000 (14:47 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Wed, 24 Oct 2018 15:38:55 +0000 (16:38 +0100)
commit7ea714cd8d64dd0a7646d71d45e18c9f6a3527cb
tree9e64c8c5bf78f4c606181fb2803ccc6aff290823
parent0faf7fd3e6c652575af9993787f07cad86f452f6
Solve equalities in a pattern signature

Trac #15694 showed that we were forgetting to solve
the equalities of a pattern signature until too late.

Result: WARNINGs and a panic:
  "Type-correct unfilled coercion hole"
compiler/typecheck/TcSigs.hs
testsuite/tests/patsyn/should_fail/T15694.hs [new file with mode: 0644]
testsuite/tests/patsyn/should_fail/T15694.stderr [new file with mode: 0644]
testsuite/tests/patsyn/should_fail/all.T