diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2016-12-08 19:32:37 -0800 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2016-12-12 23:09:55 -0800 |
| commit | 24f6bec94411aa6c39a2c94ce5154ffe96ae330f (patch) | |
| tree | 594b5f74d9889751abc5e959109e78c2fd789eb3 /testsuite/tests/backpack/should_fail | |
| parent | 8f6d241a74efa6f6280689a9b14c36c6a9f4c231 (diff) | |
| download | haskell-24f6bec94411aa6c39a2c94ce5154ffe96ae330f.tar.gz | |
Sanity check if we pick up an hsig file without -instantiated-with.
Summary:
Previously we would just let compilation proceed along until
we tried to pull up the Module for the hsig file, and get
main:A instead of <A>, and get a mysterious error. Check
for this earlier!
Fixes #12955.
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Test Plan: validate
Reviewers: simonpj, austin, bgamari
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2815
GHC Trac Issues: #12955
Diffstat (limited to 'testsuite/tests/backpack/should_fail')
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail14.stderr | 2 | ||||
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail15.stderr | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail14.stderr b/testsuite/tests/backpack/should_fail/bkpfail14.stderr index ddfddeeb91..d89e6cab28 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail14.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail14.stderr @@ -15,4 +15,4 @@ bkpfail14.bkp:9:9: error: Main module: f :: GHC.Types.Bool Hsig file: f :: GHC.Types.Int The two types are different - • while checking that QMe implements signature Q in p[Q=QMe, Q2=Q2] + • while checking that QMe implements signature Q in p[Q=QMe,Q2=Q2] diff --git a/testsuite/tests/backpack/should_fail/bkpfail15.stderr b/testsuite/tests/backpack/should_fail/bkpfail15.stderr index e761cb102e..f32cd6dcf7 100644 --- a/testsuite/tests/backpack/should_fail/bkpfail15.stderr +++ b/testsuite/tests/backpack/should_fail/bkpfail15.stderr @@ -14,4 +14,4 @@ bkpfail15.bkp:8:9: error: Main module: f :: GHC.Types.Bool Hsig file: f :: GHC.Types.Int The two types are different - • while checking that q:Q implements signature Q in p[A=<A>, Q=q:Q] + • while checking that q:Q implements signature Q in p[A=<A>,Q=q:Q] |