summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcSimplify.hs
Commit message (Expand)AuthorAgeFilesLines
* Keep the bindings local during defaultCallStacksSimon Peyton Jones2016-08-171-3/+6
* Typos in user manual and code: recurisve -> recursiveÖmer Sinan Ağacan2016-06-271-1/+1
* Fix #10963 and #11975 by adding new cmds to GHCi.Richard Eisenberg2016-06-231-31/+62
* Fix #11974 by adding a more smarts to TcDefaults.Richard Eisenberg2016-06-231-1/+1
* Expand given superclasses more eagerlySimon Peyton Jones2016-06-221-6/+6
* Delete commented-out codeSimon Peyton Jones2016-06-211-30/+0
* Improve typechecking of let-bindingsSimon Peyton Jones2016-06-131-17/+49
* Kill varSetElemsBartosz Nitka2016-06-071-1/+3
* Document some benign nondeterminismBartosz Nitka2016-05-241-1/+4
* Use partial-sig constraints as givensSimon Peyton Jones2016-05-101-61/+69
* Tidy up partial-sig quantificationSimon Peyton Jones2016-05-101-58/+57
* Fix typo: Superclases -> SuperclassesBartosz Nitka2016-04-291-2/+2
* Kill varSetElems try_tyvar_defaultingBartosz Nitka2016-04-261-3/+2
* Kill varSetElemsWellScoped in quantifyTyVarsBartosz Nitka2016-04-261-5/+34
* Fix typos: alpah -> alphaBartosz Nitka2016-04-221-1/+1
* Do not use defaulting in ambiguity checkSimon Peyton Jones2016-04-221-1/+13
* Fix two buglets in 17eb241 noticed by RichardSimon Peyton Jones2016-04-201-14/+15
* Refactor computing dependent type varsSimon Peyton Jones2016-04-191-18/+15
* Kill some unnecessary varSetElemsBartosz Nitka2016-04-151-2/+3
* Don't infer CallStacksEric Seidel2016-04-041-3/+3
* Comments onlySimon Peyton Jones2016-03-311-1/+1
* Add `PatSynSigSkol` and modify `PatSynCtxt`Rik Steenkamp2016-03-241-2/+2
* Zonk before calling splitDepVarsOfType.Richard Eisenberg2016-03-211-2/+4
* Fix #11711.Richard Eisenberg2016-03-171-1/+3
* Print which warning-flag controls an emitted warningMichael Walker2016-02-251-1/+2
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-11/+11
* Comments onlySimon Peyton Jones2016-02-151-2/+6
* Wrap solveEqualities in checkNoErrsSimon Peyton Jones2016-02-101-4/+20
* A small, local refactoring of TcSimplify.usefulToFloatSimon Peyton Jones2016-02-081-5/+5
* Use runTcSDeriveds for simplifyDefaultSimon Peyton Jones2016-02-081-4/+5
* Improve error messages for recursive superclassesSimon Peyton Jones2016-02-081-8/+18
* Special-case implicit params in superclass expansionSimon Peyton Jones2016-01-251-3/+9
* Default non-canonical CallStack constraintsEric Seidel2016-01-221-3/+4
* Comments onlySimon Peyton Jones2016-01-211-2/+2
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-21/+20
* Improve debug printing/warningsSimon Peyton Jones2016-01-181-1/+2
* Simplify API to tcMatchTysSimon Peyton Jones2016-01-181-2/+1
* Refactor simpl_topSimon Peyton Jones2016-01-071-65/+62
* Inline solveTopConstraintsSimon Peyton Jones2016-01-071-9/+1
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-4/+0
* tcCheckSatisfiability: less aggressive superclass expansionSimon Peyton Jones2015-12-181-16/+38
* Add `-W(no-)xxx` aliases for `-f(no-)warn-xxx` flagsDavid Luposchainsky2015-12-161-2/+2
* Expose enabled language extensions to THBen Gamari2015-12-151-3/+3
* Allow recursive (undecidable) superclassesSimon Peyton Jones2015-12-151-37/+76
* Some more typos in commentsGabor Greif2015-12-141-2/+2
* Rework the Implicit CallStack solver to handle local lets.Eric Seidel2015-12-121-2/+36
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-309/+290
* Add derived constraints for wildcard signaturesSimon Peyton Jones2015-12-041-35/+55
* Major Overhaul of Pattern Match Checking (Fixes #595)George Karachalias2015-12-031-0/+14
* Refactor treatment of wildcardsSimon Peyton Jones2015-12-011-24/+43
View Lorry Controller Status