summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcFlatten.hs
Commit message (Expand)AuthorAgeFilesLines
* Use lengthIs and friends in more placesRyan Scott2017-06-021-1/+1
* Re-engineer Given flatten-skolemsSimon Peyton Jones2017-05-261-36/+42
* Fix #13333 by fixing the covar's type in ctEvCoercionRichard Eisenberg2017-05-021-9/+79
* Typechecker comments and debug tracing onlySimon Peyton Jones2017-03-271-1/+1
* Comment coercion flattening [skip ci]Richard Eisenberg2017-03-171-1/+26
* Use isFamFreeTyCon now we have itSimon Peyton Jones2016-12-051-8/+4
* Typos in commentsGabor Greif2016-12-011-1/+1
* Remove redundant kind checkSimon Peyton Jones2016-11-251-2/+3
* Another major constraint-solver refactoringSimon Peyton Jones2016-11-251-174/+133
* Typos in comments, notes and manualGabor Greif2016-11-151-1/+1
* Refactor occurrence-check logicSimon Peyton Jones2016-10-211-25/+24
* A bit of tracing about flatteningSimon Peyton Jones2016-09-301-5/+13
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-1/+1
* Re-add FunTy (big patch)Simon Peyton Jones2016-06-151-4/+4
* Make inert_model and inert_eqs deterministic setsBartosz Nitka2016-05-181-2/+2
* A little more debug tracingSimon Peyton Jones2016-04-221-1/+2
* Improve TcFlatten.flattenTyVarSimon Peyton Jones2016-04-151-48/+42
* Comments (only) in TcFlattenRichard Eisenberg2016-03-211-7/+15
* Comment a suspicious zonk in TcFlatten.Richard Eisenberg2016-03-211-0/+3
* Fix #11716.Richard Eisenberg2016-03-171-2/+2
* Define tyConRolesRepresentational and use itSimon Peyton Jones2016-02-081-1/+1
* Comment out some traceFlat callsSimon Peyton Jones2016-02-081-8/+8
* Rename "open" subst functionsBartosz Nitka2016-01-271-1/+1
* Construct in_scope set in mkTopTCvSubstBartosz Nitka2016-01-261-1/+1
* Check InScopeSet in substTy and provide substTyUncheckedBartosz Nitka2016-01-191-1/+1
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-3/+2
* Fix a number of subtle solver bugsSimon Peyton Jones2016-01-161-2/+2
* Remove some redundant definitions/constraintsHerbert Valerio Riedel2015-12-311-1/+0
* Drop pre-AMP compatibility CPP conditionalsHerbert Valerio Riedel2015-12-311-3/+0
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-90/+173
* Make Monad/Applicative instances MRP-friendlyHerbert Valerio Riedel2015-10-171-2/+2
* Run simplifier only when the env is clean.Richard Eisenberg2015-09-211-1/+3
* Comments onlySimon Peyton Jones2015-08-071-4/+5
* Fix #10642.Richard Eisenberg2015-07-151-3/+2
* Another major improvement of "improvement"Simon Peyton Jones2015-06-111-342/+105
* Comments onlySimon Peyton Jones2015-05-071-0/+5
* Make Derived NomEq rewrite only Derived NomEqSimon Peyton Jones2015-05-011-1/+11
* Improve improvement in the constraint solverSimon Peyton Jones2015-04-291-60/+27
* Don't print evidence in TcFlattenSimon Peyton Jones2015-04-291-4/+4
* Comments onlySimon Peyton Jones2015-04-221-1/+1
* Comments and white space onlySimon Peyton Jones2015-04-141-2/+2
* Do proper depth checking in the flattener to avoid looping.Richard Eisenberg2015-03-231-158/+320
* Improve comments on coreView/tcView, and combine coreExpandTyCon/tcExpandTyConSimon Peyton Jones2015-03-021-1/+1
* Comments onlySimon Peyton Jones2015-02-201-32/+2
* A little tidying up in the flattenerSimon Peyton Jones2015-01-091-138/+155
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-061-4/+2
* Comments onlySimon Peyton Jones2014-12-231-4/+9
* Expand notes in TcFlattenRichard Eisenberg2014-12-221-4/+20
* Optimize flattener by trying to reduce a TF before reducing its args.Richard Eisenberg2014-12-191-14/+33
* Performance enhancements in TcFlatten.Richard Eisenberg2014-12-171-10/+73
View Lorry Controller Status