summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
...
* Fix histograms for ticky codeMateusz Lenik2016-05-182-27/+12
* Make inert_model and inert_eqs deterministic setsBartosz Nitka2016-05-185-36/+78
* Document determinism in shortOutIndirectionsBartosz Nitka2016-05-171-1/+5
* Kill varSetElems in tcInferPatSynDeclBartosz Nitka2016-05-161-16/+26
* Move Extension type to ghc-boot-thBen Gamari2016-05-161-2/+2
* PPC NCG: Fix pretty printing of st[wd]ux instr.Peter Trommler2016-05-161-1/+2
* Fix a performance issue with -fprint-expanded-synonymsÖmer Sinan Ağacan2016-05-151-79/+117
* Refactor some ppr functions to use pprUFMBartosz Nitka2016-05-1212-20/+27
* Kill varEnvElts in specImportsBartosz Nitka2016-05-123-12/+73
* Document zonkTyCoVarsAndFV determinismBartosz Nitka2016-05-121-1/+6
* Allow putting Haddocks on derived instancesRyan Scott2016-05-121-5/+8
* Make Generic1 poly-kindedRyanGlScott2016-05-122-67/+137
* Fix deriveTyData's kind unification when two kind variables are unifiedRyanGlScott2016-05-123-7/+67
* Add TH support for pattern synonyms (fixes #8761)Dominik Bollmann2016-05-126-125/+370
* Make absentError not depend on uniquesBartosz Nitka2016-05-121-1/+8
* Don't prematurely force TyThing thunks with -ddump-if-trace.Edward Z. Yang2016-05-111-1/+4
* Remove stale comment.Edward Z. Yang2016-05-111-4/+0
* Document SCC determinismBartosz Nitka2016-05-1112-15/+102
* Remove some varSetElems in dsCmdStmtBartosz Nitka2016-05-111-3/+5
* Document why closeOverKind is OK for determinismBartosz Nitka2016-05-111-1/+3
* Kill foldUFM in classifyTyConBartosz Nitka2016-05-101-1/+1
* Fix typosBartosz Nitka2016-05-101-2/+2
* Get rid of Traversable UniqFM and Foldable UniqFMBartosz Nitka2016-05-102-12/+16
* Use partial-sig constraints as givensSimon Peyton Jones2016-05-103-80/+97
* Add Outputable ShowHowMuchSimon Peyton Jones2016-05-101-0/+5
* Comments onlySimon Peyton Jones2016-05-101-0/+2
* Comments about static formsSimon Peyton Jones2016-05-104-33/+66
* Make simplifyInstanceContexts deterministicBartosz Nitka2016-05-104-14/+62
* Kill unnecessary cmpType in lhs_cmp_typeBartosz Nitka2016-05-101-6/+6
* RdrHsSyn: Only suggest `type` qualification when appropriateBen Gamari2016-05-101-3/+4
* Forbid variables to be parents in import lists.Matthew Pickering2016-05-103-28/+17
* Re-do the invariant for TcDepVarsSimon Peyton Jones2016-05-102-36/+53
* Tidy up partial-sig quantificationSimon Peyton Jones2016-05-101-58/+57
* Fix partial sigs and pattern bindings interactionSimon Peyton Jones2016-05-101-13/+83
* Comments onlySimon Peyton Jones2016-05-101-0/+2
* Emit wild-card constraints in the right placeSimon Peyton Jones2016-05-104-27/+34
* White space onlySimon Peyton Jones2016-05-101-9/+9
* Documentation for simplifyDeriv.Edward Z. Yang2016-05-093-16/+35
* Fix pretty printing of IEThingWithMatthew Pickering2016-05-061-2/+2
* Use tcExtendGlobalValEnv for default methodsSimon Peyton Jones2016-05-061-2/+3
* Explain linter optimization for StaticPtr checks.Facundo Domínguez2016-05-051-0/+8
* Comments only explaining export list parsing.Matthew Pickering2016-05-051-3/+10
* Kill non-deterministic foldUFM in TrieMap and TcAppMapBartosz Nitka2016-05-044-45/+147
* Be more aggressive when checking constraints for custom type errors.Iavor S. Diatchki2016-05-041-10/+45
* StaticPointers: Allow closed vars in the static form.Facundo Domínguez2016-05-0221-246/+361
* Make validDerivPred ignore non-visible arguments to a class type constructorRyanGlScott2016-05-021-6/+16
* added docstring for '-fhistory-size' flagSergei Trofimovich2016-05-021-1/+1
* Make sure record pattern synonym selectors are in scope in GHCi.Matthew Pickering2016-05-021-7/+9
* Remove unused equivClassesByUniqBartosz Nitka2016-05-021-16/+1
* Remove unused getScopedTyVarBindsBartosz Nitka2016-05-011-6/+1