| Commit message (Expand) | Author | Age | Files | Lines |
* | Embrace -XTypeInType, add -XStarIsType | Vladislav Zavialov | 2018-06-14 | 37 | -738/+512 |
* | desugar: Rip out unsafeGlobalDynFlags usage in decomposeRuleLhs | Ben Gamari | 2018-06-14 | 2 | -9/+10 |
* | Fix deserialization of docs (#15240) | Simon Jakobi | 2018-06-14 | 2 | -5/+16 |
* | Disable `-fdefer-out-of-scope-variables` in ghci. | HE, Tao | 2018-06-14 | 1 | -7/+59 |
* | UNREG: PprC: add support for of W32 literals | Sergei Trofimovich | 2018-06-14 | 1 | -0/+8 |
* | OptCoercion: Ensure we use new UnivCo provenance to construct optimised cos. | Ben Gamari | 2018-06-14 | 1 | -3/+3 |
* | Refactor TcExpr.tcSeq | Simon Peyton Jones | 2018-06-12 | 2 | -71/+55 |
* | Remove a tc-trace | Simon Peyton Jones | 2018-06-11 | 1 | -2/+1 |
* | Small refactor, adding checkBadTelescope | Simon Peyton Jones | 2018-06-11 | 1 | -24/+32 |
* | Remove duplicate quantified constraints | Simon Peyton Jones | 2018-06-11 | 2 | -31/+61 |
* | Comments only | Simon Peyton Jones | 2018-06-11 | 1 | -5/+7 |
* | Make seq# evaluatedness look through casts | David Feuer | 2018-06-11 | 1 | -1/+2 |
* | Fix `print-explicit-runtime-reps` (#11786). | HE, Tao | 2018-06-08 | 1 | -3/+22 |
* | typecheck: Don't warn about "redundant" TypeError constraints | Ben Gamari | 2018-06-07 | 1 | -3/+8 |
* | Allow Haddock comments before function arguments. | Iavor Diatchki | 2018-06-07 | 1 | -0/+9 |
* | Run typeCheckResultAction and renamedResultAction in TcM rather than Hsc | Matthew Pickering | 2018-06-07 | 3 | -45/+59 |
* | Rename dataConRepNameUnique to dataConTyRepNameUnique | Matthew Pickering | 2018-06-07 | 2 | -5/+5 |
* | Fix #15236 by removing parentheses from funTyConName | Ryan Scott | 2018-06-07 | 1 | -1/+1 |
* | Don't expose (~#), (~R#), (~P#) from GHC.Prim | Ryan Scott | 2018-06-07 | 2 | -6/+18 |
* | Fix #15243 by fixing incorrect uses of NotPromoted | Ryan Scott | 2018-06-07 | 1 | -3/+3 |
* | Move 'HsBangTy' out in constructor arguments | Alec Theriault | 2018-06-07 | 1 | -2/+27 |
* | Check if both branches of an Cmm if have the same target. | klebinger.andreas@gmx.at | 2018-06-07 | 1 | -4/+9 |
* | Fix unparseable pretty-printing of promoted data cons | Andreas Herrmann | 2018-06-07 | 1 | -3/+15 |
* | WorkWrap: Rip out unsafeGlobalDynFlags usage in mkWwInlineRule | Ben Gamari | 2018-06-07 | 2 | -4/+4 |
* | Don't use unsafeGlobalDynFlags in optCoercion | Ben Gamari | 2018-06-07 | 7 | -44/+55 |
* | Remove ad-hoc special case in occAnal | Simon Peyton Jones | 2018-06-07 | 1 | -39/+36 |
* | Comments only | Simon Peyton Jones | 2018-06-07 | 2 | -26/+32 |
* | Let the simplifier know that seq# forces | David Feuer | 2018-06-06 | 2 | -37/+83 |
* | Rename some mutable closure types for consistency | Ömer Sinan Ağacan | 2018-06-05 | 2 | -18/+19 |
* | Introduce DerivingVia | Ryan Scott | 2018-06-04 | 15 | -362/+815 |
* | Serialize docstrings to ifaces, display them with new GHCi :doc command | Simon Jakobi | 2018-06-04 | 10 | -12/+577 |
* | Also suppress uniques in cmm dumps with `-dsuppress-uniques`. | klebinger.andreas@gmx.at | 2018-06-04 | 2 | -3/+12 |
* | Improve extendTvSubst assertion | Matthew Pickering | 2018-06-04 | 1 | -1/+1 |
* | Add Outputable instance for HsArg | Matthew Pickering | 2018-06-04 | 1 | -0/+4 |
* | Implement QuantifiedConstraints | Simon Peyton Jones | 2018-06-04 | 24 | -534/+1178 |
* | Fix broken test T14547. | HE, Tao | 2018-06-04 | 1 | -12/+26 |
* | Refactor SetLevels.abstractVars | Simon Peyton Jones | 2018-06-04 | 1 | -14/+6 |
* | Expand type synonyms when Linting a forall | Simon Peyton Jones | 2018-06-04 | 2 | -8/+33 |
* | Do a late CSE pass | Simon Peyton Jones | 2018-06-04 | 1 | -0/+6 |
* | Provide `getWithUserData` and `putWithUserData` | Matthew Pickering | 2018-06-04 | 1 | -7/+26 |
* | Improve exhaustiveness checking for literal values and patterns, fix #14546 | HE, Tao | 2018-06-03 | 4 | -72/+141 |
* | Allow aligning of cmm procs at specific boundry | klebinger.andreas@gmx.at | 2018-06-03 | 2 | -0/+14 |
* | tcExtendTyVarEnv2 changed to tcExtendNameTyVarEnv | Alanas Plascinskas | 2018-06-02 | 7 | -18/+18 |
* | Turn "inaccessible code" error into a warning | Tobias Dammers | 2018-06-02 | 2 | -2/+5 |
* | Fix a bad interaction between GADTs and COMPLETE sets | Ryan Scott | 2018-06-02 | 1 | -5/+62 |
* | Remove ~# from surface syntax | David Feuer | 2018-06-02 | 4 | -8/+2 |
* | Fix #15214 by listing (~) in isBuiltInOcc_maybe | Ryan Scott | 2018-06-02 | 1 | -0/+3 |
* | Check for singletons when creating Bag/OrdList from a list. | klebinger.andreas@gmx.at | 2018-06-02 | 2 | -0/+2 |
* | Fix #13777 by improving the underdetermined CUSK error message | Ryan Scott | 2018-06-02 | 1 | -4/+10 |
* | Extended the plugin system to run plugins on more representations | Boldizsar Nemeth | 2018-06-02 | 5 | -47/+176 |