summaryrefslogtreecommitdiff
path: root/testsuite/tests/deSugar
Commit message (Expand)AuthorAgeFilesLines
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-04-051-4/+2
* 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
* Changed OverLit warnings to work with negative literals (#13257)Rupert Horlick2017-03-063-0/+10
* Produce KindReps for common kinds in GHC.TypesBen Gamari2017-03-031-29/+14
* TcTypeable: Try to reuse KindRepsBen Gamari2017-03-031-31/+16
* Prohibit RULES changing constructorsDavid Feuer2017-03-023-0/+12
* Typeable: Rename KindRep bindings to $krep...Ben Gamari2017-03-021-23/+23
* Inline data constructor wrappers in phase 2 onlySimon Peyton Jones2017-02-281-23/+23
* Type-indexed TypeableBen Gamari2017-02-181-17/+73
* Use the correct origin in SectionL and Section RSimon Peyton Jones2017-02-163-0/+15
* Fix push_bang_into_newtype when the pattern match has no argumentsMatthew Pickering2017-02-075-0/+24
* Join pointsLuke Maurer2017-02-011-14/+15
* Typos in note header and testGabor Greif2017-02-012-2/+2
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-17/+4
* Allow top-level string literals in Core (#8472)Takano Akio2017-01-201-12/+32
* Update levity polymorphismRichard Eisenberg2017-01-191-1/+1
* Inline partially-applied wrappersDavid Feuer2017-01-101-1/+1
* Ensure nested binders have Internal NamesSimon Peyton Jones2017-01-052-0/+29
* Test Trac #12950Simon Peyton Jones2016-12-212-0/+18
* Fix 'SPECIALISE instance'Simon Peyton Jones2016-12-212-0/+37
* Kill Type pretty-printerBen Gamari2016-11-131-1/+1
* Fix desugaring of pattern bindings (again)Simon Peyton Jones2016-09-303-0/+12
* Testsuite: remove `-Wno-warn-tabs` from default flagsThomas Miedema2016-06-201-2/+2
* Testsuite: tabs -> spaces [skip ci]Thomas Miedema2016-06-209-38/+38
* Testsuite: tabs -> spaces [skip ci]Thomas Miedema2016-06-2021-139/+139
* Testsuite: add a test for #5522 (-fliberate-case -fspec-constr)Thomas Miedema2016-05-251-0/+6
* StaticPointers: Allow closed vars in the static form.Facundo Domínguez2016-05-021-5/+5
* Add T11747 as a testÖmer Sinan Ağacan2016-05-013-0/+14
* Testsuite: benign test fixesThomas Miedema2016-04-281-1/+1