| Commit message (Expand) | Author | Age | Files | Lines |
* | [feat] make ($) representation polymorphic | mangoiv | 2023-04-01 | 10 | -17/+18 |
* | Fix tests | Bodigrim | 2023-03-30 | 12 | -0/+12 |
* | Handle records in the renamer | sheaf | 2023-03-29 | 10 | -19/+51 |
* | Add structured error messages for GHC.Tc.TyCl.PatSyn | Torsten Schmits | 2023-03-23 | 7 | -0/+33 |
* | Add structured error messages for GHC.Tc.Utils.TcMType | Torsten Schmits | 2023-03-22 | 9 | -10/+11 |
* | Rename () into Unit, (,,...,,) into Tuple<n> (#21294) | Andrei Borzenkov | 2023-03-21 | 1 | -2/+2 |
* | Fixes #19627. | Apoorv Ingle | 2023-03-09 | 3 | -0/+154 |
* | Constraint simplification loop now depends on `ExpansionFuel` | Apoorv Ingle | 2023-03-06 | 3 | -0/+38 |
* | Don't suppress *all* Wanteds | Richard Eisenberg | 2023-03-02 | 3 | -0/+39 |
* | Account for TYPE vs CONSTRAINT in mkSelCo | Simon Peyton Jones | 2023-02-28 | 2 | -0/+10 |
* | Fix ParallelListComp out of scope suggestion | Aaron Allen | 2023-02-24 | 3 | -1/+8 |
* | Explicit migration timeline for loopy SC solving | sheaf | 2023-02-23 | 7 | -8/+8 |
* | Expand synonyms in RoughMap | sheaf | 2023-02-16 | 3 | -1/+14 |
* | Narrow the dont-decompose-newtype test | Simon Peyton Jones | 2023-02-16 | 7 | -0/+54 |
* | Introduce warning for loopy superclass solve | sheaf | 2023-02-14 | 12 | -45/+131 |
* | CI: JavaScript backend runs testsuite | doyougnu | 2023-02-02 | 2 | -3/+2 |
* | Improve treatment of type applications in patternswip/T19847 | Simon Peyton Jones | 2023-02-01 | 4 | -0/+134 |
* | Support "unusable UNPACK pragma" warning with -O0 | Krzysztof Gogolewski | 2023-01-31 | 2 | -2/+2 |
* | Convert diagnostics in GHC.Rename.Bind to proper TcRnMessage (#20115) | Andrei Borzenkov | 2023-01-28 | 1 | -1/+1 |
* | Report family instance orphans correctly | Simon Peyton Jones | 2023-01-27 | 1 | -2/+2 |
* | Do newtype unwrapping in the canonicaliser and rewriter | Richard Eisenberg | 2023-01-26 | 2 | -0/+22 |
* | Enable -Wstar-is-type by default (#22759) | Vladislav Zavialov | 2023-01-18 | 5 | -29/+19 |
* | testsuite: req_smp --> req_target_smp, req_ghc_smp | Sylvain Henry | 2023-01-18 | 1 | -1/+1 |
* | Refactor the treatment of loopy superclass dictswip/T20666 | Richard Eisenberg | 2023-01-11 | 18 | -67/+136 |
* | Introduce the TypeAbstractions language flag | Vladislav Zavialov | 2023-01-11 | 2 | -2/+2 |
* | Drop support for kind constraints.wip/p547 | Richard Eisenberg | 2022-12-24 | 9 | -79/+17 |
* | Fix unifier bug: failing to decompose over-saturated type family | Simon Peyton Jones | 2022-12-22 | 2 | -0/+22 |
* | Fix an assertion check in addToEqualCtList | Simon Peyton Jones | 2022-12-21 | 3 | -0/+25 |
* | checkValidInst: Don't expand synonyms when splitting sigma types | Ryan Scott | 2022-12-15 | 3 | -0/+26 |
* | Typeable: Fix module locations of some definitions in GHC.Types | Matthew Pickering | 2022-12-08 | 3 | -0/+53 |
* | Fix tests | Bodigrim | 2022-12-08 | 2 | -5/+2 |
* | Restore show (typeRep @[]) == "[]" | Krzysztof Gogolewski | 2022-12-08 | 2 | -0/+2 |
* | Be more careful in GHC.Tc.Solver.Interact.solveOneFromTheOther | Simon Peyton Jones | 2022-11-30 | 2 | -0/+92 |
* | Add Javascript backend | Sylvain Henry | 2022-11-29 | 5 | -9/+13 |
* | Change printing of sized literals to match the proposal | Krzysztof Gogolewski | 2022-11-29 | 2 | -6/+6 |
* | Killing cc_fundeps, streamlining kind equality orientation, and type equality... | Apoorv Ingle | 2022-11-29 | 11 | -11/+58 |
* | Fix decomposition of TyConAppswip/T22331 | Simon Peyton Jones | 2022-11-25 | 2 | -0/+16 |
* | Print unticked promoted data constructors (#20531) | Vladislav Zavialov | 2022-11-25 | 26 | -72/+72 |
* | Convert diagnostics in GHC.Rename.Expr to proper TcRnMessage (#20115) | Andrei Borzenkov | 2022-11-24 | 1 | -1/+1 |
* | Type vs Constraint: finally nailed | Simon Peyton Jones | 2022-11-11 | 31 | -101/+117 |
* | Use TcRnDiagnostic in GHC.Tc.TyCl.Instance (#20117) | Giles Anderson | 2022-11-09 | 12 | -21/+21 |
* | Testsuite: more precise test options | Sylvain Henry | 2022-10-26 | 2 | -10/+3 |
* | TyEq:N assertion: only for saturated applications | sheaf | 2022-10-19 | 2 | -0/+24 |
* | Clearer error msg for newtype GADTs with defaulted kind | Finley McIlwaine | 2022-10-13 | 8 | -17/+33 |
* | Tidy implicit binds | Matthew Pickering | 2022-10-11 | 1 | -1/+0 |
* | Export symbolSing, SSymbol, and friends (CLC#85)wip/clc-85 | Ryan Scott | 2022-10-06 | 2 | -2/+2 |
* | Rename Solo[constructor] to MkSolo | Torsten Schmits | 2022-09-21 | 4 | -5/+5 |
* | Scrub partiality about `NewOrData`. | M Farkas-Dyck | 2022-09-19 | 1 | -1/+1 |
* | Diagnostic codes: acccept test changes | sheaf | 2022-09-13 | 605 | -1180/+1191 |
* | Add regression test for #21550 | Zubin Duggal | 2022-09-01 | 2 | -0/+40 |