Wibble to tests from improving comments about apartness.
authorRichard Eisenberg <eir@seas.upenn.edu>
Wed, 28 Aug 2013 16:05:03 +0000 (12:05 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 28 Aug 2013 17:09:02 +0000 (13:09 -0400)
commita7bc138e3393b86ef4681410f17fdc7010909fe3
tree37f520334f36ff38c105d47d0e0ac31bdfb2caf7
parente06abacd7b49ee5c675e4426535e921860c2bfbd
Wibble to tests from improving comments about apartness.
testsuite/tests/indexed-types/should_compile/Overlap14.hs
testsuite/tests/indexed-types/should_fail/Overlap15.hs [new file with mode: 0644]
testsuite/tests/indexed-types/should_fail/Overlap15.stderr [new file with mode: 0644]
testsuite/tests/indexed-types/should_fail/all.T