summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail
Commit message (Expand)AuthorAgeFilesLines
* Eliminate so-called "silent superclass parameters"Simon Peyton Jones2014-12-2313-106/+144
* Fix wrong-kind-of-family error message (Trac #9896)Simon Peyton Jones2014-12-181-5/+5
* Rewrite `Coercible` solverRichard Eisenberg2014-12-123-39/+43
* Testsuite wibbles from constraint-solver improvementsSimon Peyton Jones2014-12-102-56/+56
* Reorganise the work list, so that flattening goals are treated in the right o...Simon Peyton Jones2014-12-102-70/+73
* fix misleading error message regarding function arityYuras Shumovich2014-12-093-0/+19
* Implement -XStaticValuesFacundo Domínguez2014-12-097-0/+64
* Revise the inert-set invariants againSimon Peyton Jones2014-12-083-4/+4
* Test Trac #4921Simon Peyton Jones2014-12-023-0/+32
* Fix the handling of instance signatures (Trac #9582, #9833)Simon Peyton Jones2014-12-014-8/+9
* Filter instance visibility based on set of visible orphans, fixes #2182.ghc-instvisEdward Z. Yang2014-11-291-0/+7
* Trac #6022 is actually fine nowSimon Peyton Jones2014-11-272-7/+7
* Test #8044 in typecheck/should_fail/T8044Richard Eisenberg2014-11-243-0/+26
* Add -fdefer-typed-holes flag which defers hole errors to runtime.Merijn Verstraaten2014-11-213-0/+9
* Wibbles (usually improvements) to error messagesSimon Peyton Jones2014-11-2125-146/+149
* Delete duplicated testsSimon Peyton Jones2014-11-215-41/+0
* Hide `Data.OldList` moduleHerbert Valerio Riedel2014-11-202-4/+4
* Test #9109 in typecheck/should_fail/T9109Richard Eisenberg2014-11-203-0/+24
* Test #9201 in typecheck/should_fail/T9201Richard Eisenberg2014-11-203-0/+13
* Test #9318 in typecheck/should_fail/T9318Richard Eisenberg2014-11-203-0/+20
* ghc generates more user-friendly error messagesMike Izbicki2014-11-191-1/+3
* When outputting list of available instances, sort it.Edward Z. Yang2014-11-186-12/+12
* Fix #9404 by removing tcInfExpr.Richard Eisenberg2014-11-123-58/+0
* Testsuite wibble due to #9404Richard Eisenberg2014-11-123-6/+6
* Testsuite wibbles due to #9204Richard Eisenberg2014-11-122-0/+3
* Implement new integer-gmp2 from scratch (re #9281)Herbert Valerio Riedel2014-11-122-2/+4
* Move expansion of 'assert' from renamer to typecheckerSimon Peyton Jones2014-11-063-0/+14
* Testsuite error message changesSimon Peyton Jones2014-11-0430-236/+318
* Fix the superclass-cycle detection code (Trac #9739)Simon Peyton Jones2014-11-042-8/+11
* Test Trac #9739Simon Peyton Jones2014-11-043-0/+17
* Implementation of hsig (module signatures), per #9252Edward Z. Yang2014-10-249-0/+43
* Use correct precedence when printing contexts with class operatorsSimon Peyton Jones2014-10-075-58/+58
* Extend `Foldable` class with `length` and `null` methodsHerbert Valerio Riedel2014-09-282-4/+4
* Complain about illegal type literals in renamer, not parserSimon Peyton Jones2014-09-264-1/+8
* Improve error messages from functional dependenciesSimon Peyton Jones2014-09-267-25/+79
* Wibble to implicit-parameter error messageSimon Peyton Jones2014-09-262-10/+12
* Do not discard insoluble Derived constraintsSimon Peyton Jones2014-09-2614-86/+102
* Clean up Coercible handling, and interaction of data families with newtypesSimon Peyton Jones2014-09-191-1/+2
* Increase -fcontext-stack=N default to 100Simon Peyton Jones2014-09-191-7/+13
* Move `Maybe`-typedef into GHC.BaseHerbert Valerio Riedel2014-09-164-5/+6
* Bump `base` version to 4.8.0.0 for realHerbert Valerio Riedel2014-09-091-1/+1
* Re-export Word from Prelude (re #9531)Herbert Valerio Riedel2014-08-311-1/+1
* Testsuite wibblesSimon Peyton Jones2014-08-281-1/+0
* Wibbles to "...plus N others" error message about instances in scopeSimon Peyton Jones2014-08-283-7/+6
* Do not zero out version number when processing wired-in packages.Edward Z. Yang2014-08-222-2/+4
* Test #9415 (typecheck/should_fail/T9415)Richard Eisenberg2014-08-123-0/+14
* Implement the final change to INCOHERENT from Trac #9242Simon Peyton Jones2014-08-084-23/+23
* Complete work on new OVERLAPPABLE/OVERLAPPING pragmas (Trac #9242)Simon Peyton Jones2014-07-3110-16/+15
* Test Trac #9323Simon Peyton Jones2014-07-173-0/+13
* Entirely re-jig the handling of default type-family instances (fixes Trac #9063)Simon Peyton Jones2014-07-155-27/+28
View Lorry Controller Status