| Commit message (Expand) | Author | Age | Files | Lines |
* | base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead | Herbert Valerio Riedel | 2019-04-05 | 1 | -4/+2 |
* | Fix #15852 by eta expanding data family instance RHSes, too | Ryan Scott | 2018-11-22 | 1 | -1/+0 |
* | Enable -Wcompat=error in the testsuite | Vladislav Zavialov | 2018-10-15 | 3 | -2/+6 |
* | Turn on MonadFail desugaring by default | Herbert Valerio Riedel | 2018-08-07 | 1 | -0/+2 |
* | Fix broken test T14547. | HE, Tao | 2018-06-04 | 1 | -1/+1 |
* | testsuite: Really mark T14547 as broken | Ben Gamari | 2018-06-03 | 1 | -1/+0 |
* | testsuite: Mark T14547 as broken | Ben Gamari | 2018-06-03 | 1 | -0/+1 |
* | Improve exhaustiveness checking for literal values and patterns, fix #14546 | HE, Tao | 2018-06-03 | 7 | -0/+159 |
* | Fix #15039 by pretty-printing equalities more systematically | Ryan Scott | 2018-05-16 | 1 | -4/+2 |
* | Normalize the element type of ListPat, fix #14547 | HE, Tao | 2018-05-08 | 2 | -0/+16 |
* | Revert "Normalize the element type of ListPat, fix #14547" | Ben Gamari | 2018-05-08 | 2 | -16/+0 |
* | Normalize the element type of ListPat, fix #14547 | Ben Gamari | 2018-05-08 | 2 | -0/+16 |
* | Revert "Normalize the element type of ListPat, fix #14547" | Ben Gamari | 2018-05-08 | 2 | -16/+0 |
* | Normalize the element type of ListPat, fix #14547 | HE, Tao | 2018-05-05 | 2 | -0/+16 |
* | testsuite: Fix `./validate --slow` | Alp Mestanogullari | 2018-04-19 | 1 | -1/+3 |
* | Add a test for #14815: | Ömer Sinan Ağacan | 2018-04-19 | 4 | -2/+57 |
* | Improve exhaustive checking for guards in pattern bindings and MultiIf. | HE, Tao | 2018-03-02 | 5 | -0/+30 |
* | Kill off irrefutable pattern errors | David Feuer | 2018-01-15 | 2 | -2/+2 |
* | Get evaluated-ness right in the back end | Simon Peyton Jones | 2018-01-03 | 1 | -16/+16 |
* | Fix #14135 by validity checking matches | Carlos Tomé | 2017-12-14 | 3 | -0/+21 |
* | Fix missing fields warnings in empty record construction, fix #13870 | HE, Tao | 2017-09-15 | 3 | -0/+25 |
* | Typos in comments [ci skip] | Gabor Greif | 2017-04-05 | 1 | -1/+1 |
* | testsuite: Update performance numbers for 32-bit platforms | Ben Gamari | 2017-03-26 | 2 | -0/+3 |
* | Changed OverLit warnings to work with negative literals (#13257) | Rupert Horlick | 2017-03-06 | 3 | -0/+10 |
* | Produce KindReps for common kinds in GHC.Types | Ben Gamari | 2017-03-03 | 1 | -29/+14 |
* | TcTypeable: Try to reuse KindReps | Ben Gamari | 2017-03-03 | 1 | -31/+16 |
* | Prohibit RULES changing constructors | David Feuer | 2017-03-02 | 3 | -0/+12 |
* | Typeable: Rename KindRep bindings to $krep... | Ben Gamari | 2017-03-02 | 1 | -23/+23 |
* | Inline data constructor wrappers in phase 2 only | Simon Peyton Jones | 2017-02-28 | 1 | -23/+23 |
* | Type-indexed Typeable | Ben Gamari | 2017-02-18 | 1 | -17/+73 |
* | Use the correct origin in SectionL and Section R | Simon Peyton Jones | 2017-02-16 | 3 | -0/+15 |
* | Fix push_bang_into_newtype when the pattern match has no arguments | Matthew Pickering | 2017-02-07 | 5 | -0/+24 |
* | Join points | Luke Maurer | 2017-02-01 | 1 | -14/+15 |
* | Typos in note header and test | Gabor Greif | 2017-02-01 | 2 | -2/+2 |
* | Remove clean_cmd and extra_clean usage from .T files | Thomas Miedema | 2017-01-22 | 1 | -17/+4 |
* | Allow top-level string literals in Core (#8472) | Takano Akio | 2017-01-20 | 1 | -12/+32 |
* | Update levity polymorphism | Richard Eisenberg | 2017-01-19 | 1 | -1/+1 |
* | Inline partially-applied wrappers | David Feuer | 2017-01-10 | 1 | -1/+1 |
* | Ensure nested binders have Internal Names | Simon Peyton Jones | 2017-01-05 | 2 | -0/+29 |
* | Test Trac #12950 | Simon Peyton Jones | 2016-12-21 | 2 | -0/+18 |
* | Fix 'SPECIALISE instance' | Simon Peyton Jones | 2016-12-21 | 2 | -0/+37 |
* | Kill Type pretty-printer | Ben Gamari | 2016-11-13 | 1 | -1/+1 |
* | Fix desugaring of pattern bindings (again) | Simon Peyton Jones | 2016-09-30 | 3 | -0/+12 |
* | Testsuite: remove `-Wno-warn-tabs` from default flags | Thomas Miedema | 2016-06-20 | 1 | -2/+2 |
* | Testsuite: tabs -> spaces [skip ci] | Thomas Miedema | 2016-06-20 | 9 | -38/+38 |
* | Testsuite: tabs -> spaces [skip ci] | Thomas Miedema | 2016-06-20 | 21 | -139/+139 |
* | Testsuite: add a test for #5522 (-fliberate-case -fspec-constr) | Thomas Miedema | 2016-05-25 | 1 | -0/+6 |
* | StaticPointers: Allow closed vars in the static form. | Facundo Domínguez | 2016-05-02 | 1 | -5/+5 |
* | Add T11747 as a test | Ömer Sinan Ağacan | 2016-05-01 | 3 | -0/+14 |
* | Testsuite: benign test fixes | Thomas Miedema | 2016-04-28 | 1 | -1/+1 |