summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcErrors.hs
Commit message (Expand)AuthorAgeFilesLines
* Implement warnings for Semigroups as parent of MonoidDavid Luposchainsky2015-11-291-0/+9
* Rearrange error msgs and add section markers (Trac #11014).Evan Laforge2015-11-241-55/+111
* Create a deterministic version of tyVarsOfTypeBartosz Nitka2015-11-211-2/+2
* More import related hintsJoachim Breitner2015-11-181-1/+2
* MonadFail proposal, phase 1David Luposchainsky2015-11-171-6/+17
* Implement support for user-defined type errors.Iavor S. Diatchki2015-11-161-2/+16
* Remove old trace statementRichard Eisenberg2015-10-211-3/+1
* Rename package key to unit ID, and installed package ID to component ID.Edward Z. Yang2015-10-141-3/+3
* Improve error messages for ambiguous type variablesDavid Kraeutmann2015-10-071-21/+74
* Slightly better `Coercible` errors.Richard Eisenberg2015-09-211-2/+6
* Improve the error messages for class instance errorsSimon Peyton Jones2015-09-021-18/+88
* Tidy up and refactor wildcard handlingSimon Peyton Jones2015-08-051-1/+1
* Comments onlySimon Peyton Jones2015-07-211-2/+3
* Implement -fprint-expanded-synonymsÖmer Sinan Ağacan2015-07-171-12/+169
* Better type wildcard errorsSimon Peyton Jones2015-07-101-20/+24
* Allow deferred type error warnings to be suppressedDavid Kraeutmann2015-07-071-21/+34
* Improve error message for Typeable k (T k)Simon Peyton Jones2015-06-261-16/+16
* Treat out-of-scope variables as holesSimon Peyton Jones2015-06-261-89/+106
* Remove some horrible munging of origins for CoercibleSimon Peyton Jones2015-06-181-105/+123
* Rename getCtLoc, setCtLocSimon Peyton Jones2015-06-181-2/+2
* Refactor handling of decomposition.Richard Eisenberg2015-06-161-1/+1
* Fix #10495.Richard Eisenberg2015-06-161-3/+10
* Refactor tuple constraintsSimon Peyton Jones2015-05-181-2/+0
* Revert multiple commitsAustin Seipp2015-05-141-0/+2
* Refactor tuple constraintsSimon Peyton Jones2015-05-131-2/+0
* New handling of overlapping inst in Safe HaskellDavid Terei2015-05-111-23/+38
* Improve improvement in the constraint solverSimon Peyton Jones2015-04-291-78/+85
* Improve error reporting for impredicative typesSimon Peyton Jones2015-04-221-1/+1
* Do proper depth checking in the flattener to avoid looping.Richard Eisenberg2015-03-231-14/+16
* Don't report instance constraints with fundeps as redundantSimon Peyton Jones2015-02-201-3/+27
* Improve error message on typed holes, and user manual (Tradc #10040)Simon Peyton Jones2015-01-281-3/+9
* Make TcRnMonad.reportWarning call makeIntoWarningSimon Peyton Jones2015-01-091-4/+4
* Make comments less beautiful in order to pacify HaddockSimon Peyton Jones2015-01-061-1/+1
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-061-96/+148
* Print singleton consraints without parensSimon Peyton Jones2015-01-061-4/+4
* Modify a couple of error messages slightlySimon Peyton Jones2015-01-061-1/+1
* Make the location in TcLclEnv and CtLoc into a RealSrcSpanSimon Peyton Jones2015-01-061-2/+2
* A bit of refactoring to TcErrorsSimon Peyton Jones2014-12-231-56/+70
* Flat constraint --> Simple constraintRichard Eisenberg2014-12-121-15/+15
* Rewrite `Coercible` solverRichard Eisenberg2014-12-121-85/+124
* catch some recent typosGabor Greif2014-12-081-1/+1
* compiler: de-lhs typecheck/Austin Seipp2014-12-031-0/+1563
View Lorry Controller Status