summaryrefslogtreecommitdiff
path: root/testsuite/tests/deSugar
Commit message (Expand)AuthorAgeFilesLines
* 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
* Core pretty printer: Omit wild case bindersJoachim Breitner2016-04-061-1/+1
* Fix misattribution of `-Wunused-local-binds` warningsHerbert Valerio Riedel2016-04-051-1/+1
* Don't infer CallStacksEric Seidel2016-04-041-1/+0
* Do not print DmdType in Core outputJoachim Breitner2016-03-291-9/+9
* Make equality print better. (#11712)Richard Eisenberg2016-03-211-2/+4
* Simplify: Make generated names more usefulBen Gamari2016-03-121-12/+18
* Print which flag controls emitted desugaring warningsHerbert Valerio Riedel2016-02-2718-45/+36
* Fix and refactor strict pattern bindingsSimon Peyton Jones2016-02-264-3/+21
* Print which warning-flag controls an emitted warningMichael Walker2016-02-252-6/+7
* Testsuite: delete empty files [skip ci]Thomas Miedema2016-02-2538-0/+0
* (Alternative way to) address #8710George Karachalias2016-02-2511-50/+63
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-231-2/+2
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-239-137/+137
* Unwire Typeable representation typesBen Gamari2016-02-181-5/+5
* Fix desugaring of bang-pattern let-bindingsSimon Peyton Jones2016-02-183-0/+11
* Testsuite: delete compiler_lt/le/gt/ge setup functionsThomas Miedema2016-02-171-6/+3
* Simplify AbsBinds wrappingSimon Peyton Jones2016-02-121-1/+1
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-2/+2
* Refactoring on IdInfo and system derived namesSimon Peyton Jones2016-01-181-3/+3
* Add testcase for #11414Ben Gamari2016-01-172-0/+5
* Make demand analysis understand catchSimon Peyton Jones2016-01-071-1/+1
* Visible type applicationRichard Eisenberg2015-12-241-2/+6
* Delete incorrect *-ws-32 expected test outputErik de Castro Lopo2015-12-231-57/+0
* Add -fprint-typechecker-elaboration flag (fixes #10662)Eugene Akentyev2015-12-173-0/+11
* Narrow scope of special-case for unqualified printing of names in core librariesBen Gamari2015-12-151-16/+17
* Update expected test output for 32 bit platformsErik de Castro Lopo2015-12-151-6/+16
* Make binds in do-blocks strict when -XStrict (#11193)Adam Sandberg Eriksson2015-12-143-0/+12
* Add kind equalities to GHC.Richard Eisenberg2015-12-112-22/+32
* Major Overhaul of Pattern Match Checking (Fixes #595)George Karachalias2015-12-0314-50/+26