summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail
Commit message (Expand)AuthorAgeFilesLines
* A collection of type-inference refactorings.Simon Peyton Jones2016-10-214-11/+29
* More tests for Trac #12522Simon Peyton Jones2016-10-103-0/+40
* Testsuite: run all indexed-types ways on ./validate --slowThomas Miedema2016-06-281-2/+0
* Testsuite: tabs -> spaces [skip ci]Thomas Miedema2016-06-202-3/+3
* Testsuite: remove Windows CR [skip ci]Thomas Miedema2016-06-2012-300/+300
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-14/+14
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-1313-289/+304
* Improve pretty-printing of equalitiesSimon Peyton Jones2016-05-193-0/+20
* Kill varSetElems in tidyFreeTyCoVarsBartosz Nitka2016-05-181-2/+2
* Make inert_model and inert_eqs deterministic setsBartosz Nitka2016-05-184-9/+10
* Kill varSetElems in TcErrorsBartosz Nitka2016-04-261-4/+4
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-262-8/+8
* SCC analysis for instances as well as types/classesSimon Peyton Jones2016-04-201-10/+11
* Tighten checking for associated type instancesSimon Peyton Jones2016-04-197-6/+41
* Prevent eager unification with type families.Richard Eisenberg2016-03-2111-40/+87
* Make equality print better. (#11712)Richard Eisenberg2016-03-212-3/+3
* Clean up some pretty-printing in errors.Richard Eisenberg2016-03-1510-16/+17
* Testsuite wibbles from previous commits.Richard Eisenberg2016-03-141-0/+3
* Allow eager unification with type families.Richard Eisenberg2016-03-1411-87/+37
* Remove some more Windows line endings [skip ci]Thomas Miedema2016-02-291-4/+4
* Print which warning-flag controls an emitted warningMichael Walker2016-02-251-6/+6
* Testsuite: delete empty files [skip ci]Thomas Miedema2016-02-253-0/+0
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-245-39/+39
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-233-15/+15
* Testsuite: accept output without Windows line endings (#11631)Thomas Miedema2016-02-2310-92/+95
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-234-93/+93
* Fix SimpleFail12 error outputSimon Peyton Jones2016-02-081-3/+3
* Allow foralls in instance declsSimon Peyton Jones2016-02-083-11/+12
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-274-29/+25
* Refactor validity checking for type/data instancesSimon Peyton Jones2016-01-251-5/+6
* Remove the check_lifted check in TcValiditySimon Peyton Jones2016-01-212-7/+8
* Visible type applicationRichard Eisenberg2015-12-2421-165/+210
* Allow recursive (undecidable) superclassesSimon Peyton Jones2015-12-155-139/+36
* Refactor type families in Template HaskellJohn Leo2015-12-122-2/+3
* Add kind equalities to GHC.Richard Eisenberg2015-12-1121-155/+171
* Re-export data family when exporting a data instance without an export listDavid Kraeutmann2015-12-071-10/+10
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-0121-363/+368
* Check arity on default decl for assoc typesSimon Peyton Jones2015-11-273-0/+13
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-2433-111/+111
* Improve constraint-used-as-type error msgSimon Peyton Jones2015-11-231-2/+2
* Fix inconsistent pretty-printing of type familiesMichał Sośnicki2015-11-1812-34/+34
* Improve error messages for ambiguous type variablesDavid Kraeutmann2015-10-071-3/+4
* Perform a validity check on assoc type defaults.Richard Eisenberg2015-09-215-0/+33
* Fix #10815 by kind-checking type patterns against known kinds.Richard Eisenberg2015-09-191-3/+4
* Injective type familiesJan Stolarek2015-09-031-2/+1
* Improve the error messages for class instance errorsSimon Peyton Jones2015-09-021-3/+3
* Testsuite: delete *.stderr-ghc-7.0 *.stdout-ghc-7.0Thomas Miedema2015-07-141-7/+0
* Testsuite: delete remaining only_compiler_types(['ghc']) setupsThomas Miedema2015-07-141-1/+0
* Error message wibbles from out-of-scope changesSimon Peyton Jones2015-06-261-1/+25
* Remove some horrible munging of origins for CoercibleSimon Peyton Jones2015-06-182-12/+13
View Lorry Controller Status