summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_run
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix a couple of tests for GHCi/-O* (Trac #10052)Sergei Trofimovich2015-06-201-1/+2
* Amend tcrun037 after Trac #7854 fixSergei Trofimovich2015-06-201-1/+1
* Amend tcrun024, tcrun025 after Trac #7854 fixSergei Trofimovich2015-06-202-2/+2
* Rename tests so that they have a unique name.Iavor S. Diatchki2015-04-163-1/+1
* Fixes (hopefully!) T9858Iavor S. Diatchki2015-04-163-0/+21
* Do not allow Typeable on constraints (Trac #9858)Simon Peyton Jones2015-04-143-0/+10
View Lorry Controller Status