Add new test for #8020.
authorRichard Eisenberg <eir@cis.upenn.edu>
Fri, 2 Aug 2013 11:56:18 +0000 (12:56 +0100)
committerRichard Eisenberg <eir@cis.upenn.edu>
Fri, 2 Aug 2013 11:56:18 +0000 (12:56 +0100)
commit65a5305e207a9fb1dc496da15e13206bc8ea2057
tree6231672bb5310e3b5f32fc8dcb2143fe3d7a12b6
parent5207c0ff005e579ba634d6b1aa248c825e957014
Add new test for #8020.
testsuite/tests/indexed-types/should_compile/T8020.hs [new file with mode: 0644]
testsuite/tests/indexed-types/should_compile/all.T