summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Support the GHCi debugger with -fexternal-interpreterSimon Marlow2018-07-165-67/+167
* Fix hash in haddock of ghc-prim.Masahiro Sakai2018-07-161-17/+17
* Do not imply NoStarIsType by TypeOperators/TypeInTypeVladislav Zavialov2018-07-165-34/+32
* driver: skip -Bsymbolic on unregisterised targets (Trac #15338)Sergei Trofimovich2018-07-161-2/+29
* Fix space leaksSimon Marlow2018-07-166-27/+34
* TTG typo: XFieldOcc should be XCFieldOccAlan Zimmerman2018-07-153-10/+10
* Replace atomicModifyMutVar#David Feuer2018-07-151-11/+23
* Don't mkNakedCastTy on something unsaturatedRichard Eisenberg2018-07-141-3/+11
* Move check for dcUserTyVarBinders invariantRichard Eisenberg2018-07-142-16/+22
* Remove ASSERTion about increasing TcLevelsRichard Eisenberg2018-07-141-1/+7
* Comments onlySimon Peyton Jones2018-07-131-0/+3
* Improve comments about CUSKsSimon Peyton Jones2018-07-132-25/+72
* Refactor floatEqualities slightlySimon Peyton Jones2018-07-131-26/+36
* Run the renamed source plugin after each HsGroupMatthew Pickering2018-07-123-35/+45
* Export findImportUsage and ImportDeclUsageMatthew Pickering2018-07-121-1/+3
* Fix handling of unbound constructor names in TH #14627Michael Sloan2018-07-121-1/+5
* Fix handling of ApplicativeDo in TH AST quotesMichael Sloan2018-07-121-1/+5
* Add flag to show docs of valid hole fitsMatthías Páll Gissurarson2018-07-123-22/+74
* 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