summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Adding missing 'no'jhb5632018-07-121-1/+1
* Minor refactoring in CmmUtils.mkLivenessÖmer Sinan Ağacan2018-07-122-12/+9
* Use IfaceAppArgs to store an IfaceAppTy's argumentsRyan Scott2018-07-118-161/+249
* Better Note [The well-kinded type invariant]Simon Peyton Jones2018-07-111-20/+20
* Remove bad debugging output.Richard Eisenberg2018-07-101-1/+0
* Note [Ordering of implicit variables]Richard Eisenberg2018-07-105-1/+46
* Expand and implement Note [The tcType invariant]Richard Eisenberg2018-07-101-29/+48
* Kind-check CUSK associated types separatelyRichard Eisenberg2018-07-102-32/+51
* Unwrap casts before checking vars in eager unifierRichard Eisenberg2018-07-101-8/+11
* Add nakedSubstTy and use it in TcHsType.tcInferAppsSimon Peyton Jones2018-07-102-34/+94
* More tc-tracingSimon Peyton Jones2018-07-103-9/+17
* Fix decompsePiCos and visible type applicationSimon Peyton Jones2018-07-105-49/+84
* More refactoring in TcValiditySimon Peyton Jones2018-07-107-129/+169
* Refactor coercion ruleningning2018-07-0923-375/+635
* Define an Outputable MCoercion instanceRyan Scott2018-07-081-0/+4
* Simplify lintIdUnfoldingMatthew Pickering2018-07-061-10/+3
* Mark AutoDeriveTypeable as deprecatedKrzysztof Gogolewski2018-07-061-1/+4
* Make a variant of mkCastErr for kind coercionsRyan Scott2018-07-061-7/+25
* Comment out a pprTraceRyan Scott2018-07-051-1/+1
* Make ppr_tc_args aware of -fprint-explicit-kindsRyan Scott2018-07-051-2/+6
* Fix #15331 with careful blasts of parenthesizeHsTypeRyan Scott2018-07-054-5/+9
* Parenthesize rank-n contexts in ConvertRyan Scott2018-07-051-1/+3
* Fix newtype instance GADTsRyan Scott2018-07-051-9/+43
* Instantiate GND bindings with an explicit type signatureRyan Scott2018-07-053-24/+128
* Fix #15308 by suppressing invisble args more rigorouslyRyan Scott2018-07-051-1/+6
* Fix #15307 by making nlHsFunTy parenthesize moreRyan Scott2018-07-051-1/+7
* Refactor validity checking for constraintsSimon Peyton Jones2018-07-056-658/+789
* Fix commentSimon Peyton Jones2018-07-041-1/+1
* Add comments on Typeable (n :: Nat)Simon Peyton Jones2018-07-042-3/+25
* Fix errors caused by invalid candidates leaking from hole fitsMatthías Páll Gissurarson2018-07-041-5/+16
* Fix nptr field alignment in RtClosureInspectÖmer Sinan Ağacan2018-07-041-4/+7
* RtClosureInspect: add some docs, remove unused stuffÖmer Sinan Ağacan2018-07-041-71/+58
* Fix mkGadtDecl does not set con_forall correctlyAlan Zimmerman2018-06-291-1/+1
* A few typofixes in commentsGabor Greif2018-06-295-5/+5
* Clarify role of coercion in flattening functionRichard Eisenberg2018-06-281-1/+2
* Add commnent about binder orderSimon Peyton Jones2018-06-261-4/+15
* Typofixes in comments and whitespace only [ci skip]Gabor Greif2018-06-264-10/+10
* Remove dead codeSimon Peyton Jones2018-06-261-12/+0
* A bit more tc-tracking in TcUnify.uUnfilledVarSimon Peyton Jones2018-06-261-4/+10
* Fix TcLevel manipulation in TcDerivInfer.simplifyDerivSimon Peyton Jones2018-06-263-64/+101
* API Annotations when parsing typappAlan Zimmerman2018-06-261-2/+2
* Record some notes about "innocuous" transformationsSimon Peyton Jones2018-06-252-1/+75
* Remove unused BottomFound from TickSimon Peyton Jones2018-06-251-3/+0
* More misc commentsSimon Peyton Jones2018-06-253-10/+15
* Coments and debug tracing onlySimon Peyton Jones2018-06-251-0/+4
* Refactor the kind-checking of tyvar bindersSimon Peyton Jones2018-06-253-126/+178
* Improve tc-tracing a bitSimon Peyton Jones2018-06-252-1/+5
* Fix error recovery for pattern synonymsSimon Peyton Jones2018-06-253-28/+81
* Tweak API Annotations for ConDeclGADTAlan Zimmerman2018-06-242-7/+7
* Remove -Wamp flagroland2018-06-221-3/+0
View Lorry Controller Status