summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_run
Commit message (Expand)AuthorAgeFilesLines
* testsuite: Fix location of T13594 testBen Gamari2017-05-111-1/+0
* Fix up tests for #13594Ben Gamari2017-05-112-0/+4
* Clean up coreView/tcView.Ben Gamari2017-03-315-11/+36
* Test #13435 in typecheck/should_run/T13435Richard Eisenberg2017-03-173-0/+16
* Typos in changelog and commentsGabor Greif2017-03-071-1/+1
* tests: remove extra_files.py (#12223)Reid Barton2017-02-261-2/+2
* Type-indexed TypeableBen Gamari2017-02-1810-5/+211
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-6/+2
* Add 'type family (m :: Symbol) <> (n :: Symbol)'Oleg Grenrus2017-01-205-3/+35
* Update levity polymorphismRichard Eisenberg2017-01-1912-7/+235
* Typos in comments only [ci skip]Gabor Greif2017-01-181-4/+4
* Kill Type pretty-printerBen Gamari2016-11-131-3/+3
* Make tcrun042 failSimon Peyton Jones2016-09-303-1/+15
* Be less picky about reporing inaccessible codeSimon Peyton Jones2016-09-121-0/+1
* Testsuite: tabs -> spaces [skip ci]Thomas Miedema2016-06-2021-167/+167
* Fix testsuite wibbleSimon Peyton Jones2016-06-151-11/+11
* Revert "Make the Ord Module independent of Unique order"Simon Peyton Jones2016-06-151-11/+11
* Make the Ord Module independent of Unique orderBartosz Nitka2016-06-131-11/+11
* PrelInfo: Ensure that tuple promoted datacon names are in knownKeyNamesBen Gamari2016-06-042-0/+2
* Give lifted primitive types a representationBen Gamari2016-05-191-1/+1
* testsuite: Add a TypeRep testBen Gamari2016-05-193-1/+74
* Accept tcrun045 outputSimon Peyton Jones2016-04-201-5/+17
* Don't infer CallStacksEric Seidel2016-04-043-16/+5
* Testsuite: delete empty files [skip ci]Thomas Miedema2016-02-251-0/+0
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-243-5/+6
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-239-11/+11
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-2312-1021/+1021
* Testsuite: delete compiler_lt/le/gt/ge setup functionsThomas Miedema2016-02-171-3/+3
* Add tests for #11465 and the kind invariantBen Gamari2016-01-224-1/+21
* Rework derivation of type representations for wired-in thingsBen Gamari2016-01-203-0/+12
* Add test for Data.Typeable.typeOfBen Gamari2016-01-133-0/+58
* Visible type applicationRichard Eisenberg2015-12-242-12/+1
* Allow CallStacks to be frozenEric Seidel2015-12-234-0/+21
* Fix #11230.Richard Eisenberg2015-12-173-0/+34
* Narrow scope of special-case for unqualified printing of names in core librariesBen Gamari2015-12-151-1/+1
* Rework the Implicit CallStack solver to handle local lets.Eric Seidel2015-12-128-42/+73
* Add kind equalities to GHC.Richard Eisenberg2015-12-116-16/+14
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-013-13/+9
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-246-13/+13
* Make 'error' include the CCS call stack when profiledSimon Marlow2015-11-131-8/+8
* Testsuite: by default run all tests for a single wayThomas Miedema2015-09-021-4/+1
* Fix some tests that were broken by D861Eric Seidel2015-09-022-29/+30
* Testsuite: recenter 2 performance tests on WindowsThomas Miedema2015-08-151-1/+3
* Testsuite: add regression test for missing class constraintThomas Miedema2015-07-202-2/+2
* Testsuite: add -XUndecidableInstances to T3500aThomas Miedema2015-07-201-0/+1
* Testsuite: add ImpredicativeTypes to T7861 (#7861)Thomas Miedema2015-07-202-11/+14
* Testsuite: accept new stderr for T9497{a,b,c}-run (#10224)Thomas Miedema2015-07-183-6/+6
* Testsuite: rename *.stderr-ghc to *.stderrThomas Miedema2015-07-141-1/+0
* Testsuite: delete remaining only_compiler_types(['ghc']) setupsThomas Miedema2015-07-141-25/+17
* Deferred type errors now throw TypeError (#10284)David Kraeutmann2015-07-074-0/+28
View Lorry Controller Status