diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-01-05 01:09:29 -0800 |
|---|---|---|
| committer | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-01-11 06:53:58 -0800 |
| commit | e41c61fa7792d12ac7ffbacda7a5b3ba6ef2a267 (patch) | |
| tree | 8ba7dec03f3b34ef08e77e7bd3ed6fa012136a8d /testsuite/tests/backpack/should_fail/bkpfail38.bkp | |
| parent | 0bbcf76a349ed2c1d03907f2f74e5436859d59b0 (diff) | |
| download | haskell-e41c61fa7792d12ac7ffbacda7a5b3ba6ef2a267.tar.gz | |
Improve Backpack support for fixities.
Summary:
Two major bug-fixes:
- Check that fixities match between hsig and implementation
- Merge and preserve fixities when merging signatures
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Test Plan: validate
Reviewers: bgamari, simonpj, austin
Subscribers: thomie
Differential Revision: https://phabricator.haskell.org/D2919
GHC Trac Issues: #13066
Diffstat (limited to 'testsuite/tests/backpack/should_fail/bkpfail38.bkp')
| -rw-r--r-- | testsuite/tests/backpack/should_fail/bkpfail38.bkp | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/backpack/should_fail/bkpfail38.bkp b/testsuite/tests/backpack/should_fail/bkpfail38.bkp new file mode 100644 index 0000000000..0b16b19f95 --- /dev/null +++ b/testsuite/tests/backpack/should_fail/bkpfail38.bkp @@ -0,0 +1,11 @@ +unit p where + signature A where + infixr 6 `op` + op :: Int -> Int -> Int +unit q where + signature A where + infixr 4 `op` + op :: Int -> Int -> Int +unit r where + dependency p[A=<A>] + dependency q[A=<A>] |