summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds
Commit message (Expand)AuthorAgeFilesLines
* Test Trac #7601Simon Peyton Jones2013-01-302-0/+13
* Test Trac #7524Simon Peyton Jones2013-01-283-0/+12
* Error message wibblesSimon Peyton Jones2013-01-251-6/+4
* Adjust test; Int is not promotableSimon Peyton Jones2013-01-251-1/+1
* Fix debugging glitch in test outputSimon Peyton Jones2013-01-241-3/+0
* Test Trac #7594Simon Peyton Jones2013-01-183-0/+47
* Fix test by adding an extra fundep to make the (HasSingleton (Maybe a) mp) in...Simon Peyton Jones2013-01-152-2/+5
* Wibbles to error messages and tests, following ambiguity-check changesSimon Peyton Jones2013-01-083-12/+20
* Add test for Trac #7488Simon Peyton Jones2012-12-212-0/+9
* Test Trac #7502Simon Peyton Jones2012-12-192-0/+5
* Now that existential data constructors can be promoted T7347 passesSimon Peyton Jones2012-12-055-27/+3
* Test Trac #7404Simon Peyton Jones2012-11-263-0/+9
* Merge branch 'master' of http://darcs.haskell.org/testsuiteSimon Peyton Jones2012-11-268-1/+67
|\
| * Make T7438 insensitive to the directory from which it is runIan Lynagh2012-11-233-3/+2
| * Test Trac #7438Simon Peyton Jones2012-11-235-1/+41
| * Add regression test for #7433Jose Pedro Magalhaes2012-11-213-0/+9
| * Test Trac #7422Simon Peyton Jones2012-11-212-0/+18
* | Accept error message improvementSimon Peyton Jones2012-11-261-5/+4
|/
* Wibble to outputSimon Peyton Jones2012-11-061-1/+1
* Add error output (accidently omitted before)Simon Peyton Jones2012-10-311-1/+6
* Test Trac #7341Simon Peyton Jones2012-10-263-0/+14
* Test Trac #7347Simon Peyton Jones2012-10-263-0/+19
* Test Trac #7328 and #7332Simon Peyton Jones2012-10-264-0/+58
* Kind error wibbleSimon Peyton Jones2012-10-191-6/+8
* Check that existential data constructors can't be promotedSimon Peyton Jones2012-10-193-0/+18
* Adapt to being a bit more picky about inference with GADTsSimon Peyton Jones2012-10-191-1/+7
* Improvements to kind error messages, mainlySimon Peyton Jones2012-10-192-8/+9
* Merge branch 'master' of http://darcs.haskell.org//testsuiteSimon Peyton Jones2012-10-039-2/+122
|\
| * Test Trac #7278Simon Peyton Jones2012-10-023-0/+15
| * Tons of error message wibblesSimon Peyton Jones2012-09-281-2/+0
| * A ton of error message wibblesSimon Peyton Jones2012-09-212-1/+5
| * Test Trac #7238Simon Peyton Jones2012-09-182-0/+15
| * Test Trac #7224 and #7230Simon Peyton Jones2012-09-185-1/+89
* | Test Trac #7272Simon Peyton Jones2012-10-034-2/+21
|/
* Test Trac #7090Simon Peyton Jones2012-08-232-0/+28
* Trac #7176 is broken in HEAD at the momentSimon Peyton Jones2012-08-231-1/+1
* Test Trac #7176Simon Peyton Jones2012-08-222-0/+16
* Fix T7151 testPaolo Capriotti2012-08-201-1/+4
* Test Trac #7095Simon Peyton Jones2012-08-152-0/+26
* Add DataKinds flag to testSimon Peyton Jones2012-08-151-1/+1
* Test Trac #7151Simon Peyton Jones2012-08-153-0/+5
* Test Trac #7128Simon Peyton Jones2012-08-142-0/+9
* Update T7022 to test more as per the ticketSimon Peyton Jones2012-08-133-4/+14
* Merge with HEADSimon Peyton Jones2012-07-162-0/+10
|\
| * test trac #7073Simon Peyton Jones2012-07-142-0/+9
* | Test Trac #7022Simon Peyton Jones2012-07-124-0/+28
* | Test Trac #7020Simon Peyton Jones2012-07-122-0/+18
* | Tests for Trac #7053Simon Peyton Jones2012-07-124-0/+23
|/
* Accept error wibblesSimon Peyton Jones2012-07-104-25/+26
* Test Trac #6049, #6093, #6129, #6137Simon Peyton Jones2012-06-076-0/+69