summaryrefslogtreecommitdiff
path: root/compiler
Commit message (Expand)AuthorAgeFilesLines
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-1437-738/+512
* desugar: Rip out unsafeGlobalDynFlags usage in decomposeRuleLhsBen Gamari2018-06-142-9/+10
* Fix deserialization of docs (#15240)Simon Jakobi2018-06-142-5/+16
* Disable `-fdefer-out-of-scope-variables` in ghci.HE, Tao2018-06-141-7/+59
* UNREG: PprC: add support for of W32 literalsSergei Trofimovich2018-06-141-0/+8
* OptCoercion: Ensure we use new UnivCo provenance to construct optimised cos.Ben Gamari2018-06-141-3/+3
* Refactor TcExpr.tcSeqSimon Peyton Jones2018-06-122-71/+55
* Remove a tc-traceSimon Peyton Jones2018-06-111-2/+1
* Small refactor, adding checkBadTelescopeSimon Peyton Jones2018-06-111-24/+32
* Remove duplicate quantified constraintsSimon Peyton Jones2018-06-112-31/+61
* Comments onlySimon Peyton Jones2018-06-111-5/+7
* Make seq# evaluatedness look through castsDavid Feuer2018-06-111-1/+2
* Fix `print-explicit-runtime-reps` (#11786).HE, Tao2018-06-081-3/+22
* typecheck: Don't warn about "redundant" TypeError constraintsBen Gamari2018-06-071-3/+8
* Allow Haddock comments before function arguments.Iavor Diatchki2018-06-071-0/+9
* Run typeCheckResultAction and renamedResultAction in TcM rather than HscMatthew Pickering2018-06-073-45/+59
* Rename dataConRepNameUnique to dataConTyRepNameUniqueMatthew Pickering2018-06-072-5/+5
* Fix #15236 by removing parentheses from funTyConNameRyan Scott2018-06-071-1/+1
* Don't expose (~#), (~R#), (~P#) from GHC.PrimRyan Scott2018-06-072-6/+18
* Fix #15243 by fixing incorrect uses of NotPromotedRyan Scott2018-06-071-3/+3
* Move 'HsBangTy' out in constructor argumentsAlec Theriault2018-06-071-2/+27
* Check if both branches of an Cmm if have the same target.klebinger.andreas@gmx.at2018-06-071-4/+9
* Fix unparseable pretty-printing of promoted data consAndreas Herrmann2018-06-071-3/+15
* WorkWrap: Rip out unsafeGlobalDynFlags usage in mkWwInlineRuleBen Gamari2018-06-072-4/+4
* Don't use unsafeGlobalDynFlags in optCoercionBen Gamari2018-06-077-44/+55
* Remove ad-hoc special case in occAnalSimon Peyton Jones2018-06-071-39/+36
* Comments onlySimon Peyton Jones2018-06-072-26/+32
* Let the simplifier know that seq# forcesDavid Feuer2018-06-062-37/+83
* Rename some mutable closure types for consistencyÖmer Sinan Ağacan2018-06-052-18/+19
* Introduce DerivingViaRyan Scott2018-06-0415-362/+815
* Serialize docstrings to ifaces, display them with new GHCi :doc commandSimon Jakobi2018-06-0410-12/+577
* Also suppress uniques in cmm dumps with `-dsuppress-uniques`.klebinger.andreas@gmx.at2018-06-042-3/+12
* Improve extendTvSubst assertionMatthew Pickering2018-06-041-1/+1
* Add Outputable instance for HsArgMatthew Pickering2018-06-041-0/+4
* Implement QuantifiedConstraintsSimon Peyton Jones2018-06-0424-534/+1178
* Fix broken test T14547.HE, Tao2018-06-041-12/+26
* Refactor SetLevels.abstractVarsSimon Peyton Jones2018-06-041-14/+6
* Expand type synonyms when Linting a forallSimon Peyton Jones2018-06-042-8/+33
* Do a late CSE passSimon Peyton Jones2018-06-041-0/+6
* Provide `getWithUserData` and `putWithUserData`Matthew Pickering2018-06-041-7/+26
* Improve exhaustiveness checking for literal values and patterns, fix #14546HE, Tao2018-06-034-72/+141
* Allow aligning of cmm procs at specific boundryklebinger.andreas@gmx.at2018-06-032-0/+14
* tcExtendTyVarEnv2 changed to tcExtendNameTyVarEnvAlanas Plascinskas2018-06-027-18/+18
* Turn "inaccessible code" error into a warningTobias Dammers2018-06-022-2/+5
* Fix a bad interaction between GADTs and COMPLETE setsRyan Scott2018-06-021-5/+62
* Remove ~# from surface syntaxDavid Feuer2018-06-024-8/+2
* Fix #15214 by listing (~) in isBuiltInOcc_maybeRyan Scott2018-06-021-0/+3
* Check for singletons when creating Bag/OrdList from a list.klebinger.andreas@gmx.at2018-06-022-0/+2
* Fix #13777 by improving the underdetermined CUSK error messageRyan Scott2018-06-021-4/+10
* Extended the plugin system to run plugins on more representationsBoldizsar Nemeth2018-06-025-47/+176