diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-02-28 23:55:00 -0800 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-03-02 15:59:02 -0800 |
| commit | df919fb21c951c1892bd96d9e6306ce1bec3daa9 (patch) | |
| tree | 39dd2ffdc9d61f1de04a114481832876f68d4adf /testsuite/tests/backpack/should_fail/bkpfail47.stderr | |
| parent | fb5cd9d6d6185afe6d4ef2f3df3f895b6d0abf4c (diff) | |
| download | haskell-df919fb21c951c1892bd96d9e6306ce1bec3daa9.tar.gz | |
Fix roles merging to apply only to non-rep-injective types.
Test Plan: validate
Reviewers: simonpj
Subscribers:
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail47.stderr')
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail47.stderr | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail47.stderr b/testsuite/tests/backpack/should_fail/bkpfail47.stderr new file mode 100644 index 0000000000..b2bc08b4c2 --- /dev/null +++ b/testsuite/tests/backpack/should_fail/bkpfail47.stderr @@ -0,0 +1,21 @@ +[1 of 3] Processing p + [1 of 1] Compiling A[sig] ( p/A.hsig, nothing ) +[2 of 3] Processing q + [1 of 1] Compiling A[sig] ( q/A.hsig, nothing ) +[3 of 3] Processing r + [1 of 1] Compiling A[sig] ( r/A.hsig, nothing ) + +bkpfail47.bkp:9:9: error: + • Type constructor ‘T’ has conflicting definitions in the module + and its hsig file + Main module: type role T representational nominal + data T a b = MkT + Hsig file: type role T nominal representational + data T a b + The roles are not compatible: + Main module: [representational, nominal] + Hsig file: [nominal, representational] + • while merging the signatures from: + • p[A=<A>]:A + • q[A=<A>]:A + • ...and the local signature for A |