summaryrefslogtreecommitdiff
path: root/testsuite/tests/deSugar
Commit message (Expand)AuthorAgeFilesLines
* Implement cast worker/wrapper properlySimon Peyton Jones2020-06-101-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-1/+1
* HsToCore: Eta expand left sectionsBen Gamari2020-06-011-1/+1
* testsuite: Add test for desugaring of PostfixOperatorsBen Gamari2020-06-013-0/+8
* testsuite: Add test for #18151Ben Gamari2020-06-013-0/+12
* Flatten nested casts in the simple optimizerAlexis King2020-05-032-0/+15
* Mark DataCon wrappers CONLIKEAlexis King2020-04-221-1/+4
* Treat coercions as arguments for floating and inliningAlexis King2020-02-261-4/+1
* Separate CPR analysis from the Demand analyserwip/sep-cprSebastian Graf2020-02-121-2/+2
* Do CafInfo/SRT analysis in CmmÖmer Sinan Ağacan2020-01-311-13/+13
* PmCheck: Formulate as translation between Clause TreesSebastian Graf2020-01-255-6/+42
* Print Core type applications with no whitespace after @ (#17643)Ryan Scott2020-01-083-10/+10
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-042-2/+2
* Fix typos, using Wikipedia list of common typosBrian Wignall2019-11-281-1/+1
* Whitespace forward compatibility for proposal #229Vladislav Zavialov2019-10-301-1/+1
* Make small INLINE functions behave properlyÖmer Sinan Ağacan2019-10-011-1/+4
* PmCheck: Look at precendence to give type signatures to some wildcardsSebastian Graf2019-09-271-1/+1
* Encode shape information in `PmOracle`Sebastian Graf2019-09-164-0/+22
* Make add_info attach unfoldings (#16615)Tobias Dammers2019-08-153-10/+21
* Add test cases for #16615Tobias Dammers2019-08-154-0/+43
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-03-221-4/+2
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-158-8/+8
* Improve the very simple optimiser slightlySimon Peyton Jones2019-02-204-0/+11
* Make constructor wrappers inline only during the final phaseArnaud Spiwack2019-02-191-4/+1
* Remove ExnStr and ThrowsExn businessSebastian Graf2019-02-011-1/+1
* testsuite: Use makefile_testBen Gamari2019-01-301-4/+3
* Revert "Batch merge"Ben Gamari2019-01-301-3/+4
* Batch mergeBen Gamari2019-01-301-4/+3
* Fix #15852 by eta expanding data family instance RHSes, tooRyan Scott2018-11-221-1/+0
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-153-2/+6
* Turn on MonadFail desugaring by defaultHerbert Valerio Riedel2018-08-071-0/+2
* Fix broken test T14547.HE, Tao2018-06-041-1/+1
* testsuite: Really mark T14547 as brokenBen Gamari2018-06-031-1/+0
* testsuite: Mark T14547 as brokenBen Gamari2018-06-031-0/+1
* Improve exhaustiveness checking for literal values and patterns, fix #14546HE, Tao2018-06-037-0/+159
* Fix #15039 by pretty-printing equalities more systematicallyRyan Scott2018-05-161-4/+2
* Normalize the element type of ListPat, fix #14547HE, Tao2018-05-082-0/+16
* Revert "Normalize the element type of ListPat, fix #14547"Ben Gamari2018-05-082-16/+0
* Normalize the element type of ListPat, fix #14547Ben Gamari2018-05-082-0/+16
* Revert "Normalize the element type of ListPat, fix #14547"Ben Gamari2018-05-082-16/+0
* Normalize the element type of ListPat, fix #14547HE, Tao2018-05-052-0/+16
* testsuite: Fix `./validate --slow`Alp Mestanogullari2018-04-191-1/+3
* Add a test for #14815:Ömer Sinan Ağacan2018-04-194-2/+57
* Improve exhaustive checking for guards in pattern bindings and MultiIf.HE, Tao2018-03-025-0/+30
* Kill off irrefutable pattern errorsDavid Feuer2018-01-152-2/+2
* Get evaluated-ness right in the back endSimon Peyton Jones2018-01-031-16/+16
* Fix #14135 by validity checking matchesCarlos Tomé2017-12-143-0/+21
* Fix missing fields warnings in empty record construction, fix #13870HE, Tao2017-09-153-0/+25
* Typos in comments [ci skip]Gabor Greif2017-04-051-1/+1
* testsuite: Update performance numbers for 32-bit platformsBen Gamari2017-03-262-0/+3