| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Make small INLINE functions behave properly | Ömer Sinan Ağacan | 2019-10-01 | 1 | -1/+4 |
| * | PmCheck: Look at precendence to give type signatures to some wildcards | Sebastian Graf | 2019-09-27 | 1 | -1/+1 |
| * | Encode shape information in `PmOracle` | Sebastian Graf | 2019-09-16 | 4 | -0/+22 |
| * | Make add_info attach unfoldings (#16615) | Tobias Dammers | 2019-08-15 | 3 | -10/+21 |
| * | Add test cases for #16615 | Tobias Dammers | 2019-08-15 | 4 | -0/+43 |
| * | base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` instead | Herbert Valerio Riedel | 2019-03-22 | 1 | -4/+2 |
| * | Update Trac ticket URLs to point to GitLab | Ryan Scott | 2019-03-15 | 8 | -8/+8 |
| * | Improve the very simple optimiser slightly | Simon Peyton Jones | 2019-02-20 | 4 | -0/+11 |
| * | Make constructor wrappers inline only during the final phase | Arnaud Spiwack | 2019-02-19 | 1 | -4/+1 |
| * | Remove ExnStr and ThrowsExn business | Sebastian Graf | 2019-02-01 | 1 | -1/+1 |
| * | testsuite: Use makefile_test | Ben Gamari | 2019-01-30 | 1 | -4/+3 |
| * | Revert "Batch merge" | Ben Gamari | 2019-01-30 | 1 | -3/+4 |
| * | Batch merge | Ben Gamari | 2019-01-30 | 1 | -4/+3 |
| * | 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 |
