Improve Backpack support for fixities.
authorEdward Z. Yang <ezyang@cs.stanford.edu>
Thu, 5 Jan 2017 09:09:29 +0000 (01:09 -0800)
committerEdward Z. Yang <ezyang@cs.stanford.edu>
Wed, 11 Jan 2017 14:53:58 +0000 (06:53 -0800)
commite41c61fa7792d12ac7ffbacda7a5b3ba6ef2a267
tree8ba7dec03f3b34ef08e77e7bd3ed6fa012136a8d
parent0bbcf76a349ed2c1d03907f2f74e5436859d59b0
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
compiler/typecheck/TcBackpack.hs
testsuite/tests/backpack/should_compile/all.T
testsuite/tests/backpack/should_compile/bkp39.bkp
testsuite/tests/backpack/should_compile/bkp45.bkp [new file with mode: 0644]
testsuite/tests/backpack/should_compile/bkp45.stderr [new file with mode: 0644]
testsuite/tests/backpack/should_fail/all.T
testsuite/tests/backpack/should_fail/bkpfail37.bkp [new file with mode: 0644]
testsuite/tests/backpack/should_fail/bkpfail37.stderr [new file with mode: 0644]
testsuite/tests/backpack/should_fail/bkpfail38.bkp [new file with mode: 0644]
testsuite/tests/backpack/should_fail/bkpfail38.stderr [new file with mode: 0644]