VTA tests work
authorRichard Eisenberg <eir@cis.upenn.edu>
Thu, 9 Jul 2015 17:57:48 +0000 (13:57 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Thu, 9 Jul 2015 17:57:48 +0000 (13:57 -0400)
commit4348c621aa863f9a5f2dc50e32d889d1d7a35ad3
tree999cff00832e98bbd640495c76b643c95c28151d
parentebac2cb34ea21c95a141fbdfc39b211033c61604
VTA tests work
compiler/typecheck/TcUnify.hs
testsuite/tests/typecheck/should_fail/VtaFail.hs
testsuite/tests/typecheck/should_fail/VtaFail.stderr [new file with mode: 0644]