| Commit message (Expand) | Author | Age | Files | Lines |
* | Add structured error messages for GHC.Rename.Utils | Torsten Schmits | 2023-05-05 | 18 | -21/+21 |
* | testsuite: wasm32-specific fixes | Cheng Shao | 2023-04-27 | 1 | -0/+2 |
* | testsuite: add missing annotations for some tests | Cheng Shao | 2023-04-27 | 1 | -2/+2 |
* | Refactor GenStgRhs to include the Type in both constructors (#23280, #22576, ... | Josh Meredith | 2023-04-26 | 2 | -2/+2 |
* | JS: Fix h$base_access implementation (issue 22576) | Josh Meredith | 2023-04-25 | 1 | -1/+1 |
* | More informative errors for bad imports (#21826) | Soham Chowdhury | 2023-04-25 | 2 | -5/+4 |
* | Don't panic in ltPatersonSize | sheaf | 2023-04-18 | 2 | -0/+44 |
* | Convert interface file loading errors into proper diagnostics | Matthew Pickering | 2023-04-18 | 1 | -6/+6 |
* | Add regression test for #23199 | Simon Peyton Jones | 2023-04-17 | 2 | -0/+11 |
* | Handle ConcreteTvs in inferResultToTypewip/T23153 | sheaf | 2023-04-15 | 1 | -1/+1 |
* | Major refactor in the handling of equality constraints | Simon Peyton Jones | 2023-04-14 | 6 | -14/+77 |
* | Add testcase for #23192 | sheaf | 2023-04-04 | 2 | -0/+17 |
* | Convert diagnostics in GHC.Rename.HsType to proper TcRnMessage | Haskell-mouse | 2023-04-03 | 8 | -12/+14 |
* | Add structured error messages for GHC.Tc.TyCl | Torsten Schmits | 2023-04-01 | 42 | -53/+108 |
* | [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 |