summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore
Commit message (Expand)AuthorAgeFilesLines
* Fix join-point decisionSimon Peyton Jones2018-01-092-0/+77
* Drop dead Given bindings in setImplicationStatusSimon Peyton Jones2018-01-041-17/+1
* Get evaluated-ness right in the back endSimon Peyton Jones2018-01-038-44/+48
* Rename HEq_sc and Coercible_sc to heq_sel and coercible_selMatthew Pickering2018-01-021-2/+2
* Windows: fix all failing tests.Tamar Christina2018-01-022-2/+3
* RTS: Disable warnings in ffi.hPeter Trommler2017-11-151-1/+3
* Remove unreliable Core Lint empty case checksDavid Feuer2017-11-092-0/+15
* Introduce -dsuppress-stg-free-vars flagBen Gamari2017-11-021-4/+4
* Fix typo in accessor nameGabor Greif2017-10-301-1/+1
* Implement a dedicated exitfication pass #14152Joachim Breitner2017-10-295-0/+377
* Do not bind coercion variables in SpecConstr rulesSimon Peyton Jones2017-10-122-0/+28
* testsuite: Add test for #14272Ben Gamari2017-09-262-0/+9
* Add a test for #14140David Feuer2017-09-123-0/+41
* Allow CSE'ing of work-wrapped bindings (#14186)Joachim Breitner2017-09-1210-88/+151
* Add testcase for #14186Joachim Breitner2017-09-123-1/+66
* Make Semigroup a superclass of Monoid (re #14191)Herbert Valerio Riedel2017-09-071-1/+5
* Fix typos in diagnostics, testsuite and commentsGabor Greif2017-09-072-3/+3
* Add testcase for #14178Ben Gamari2017-09-013-0/+36
* Don't do the RhsCtxt thing for join pointsSimon Peyton Jones2017-08-253-0/+79
* Refactor the Mighty SimplifierSimon Peyton Jones2017-08-252-4/+4
* Remove unneeded reqlibs for mtl and parsec in the GHC testsuiteRyan Scott2017-08-171-1/+1
* Test Trac #13750Simon Peyton Jones2017-06-074-0/+103
* Stop the specialiser generating loopy codeSimon Peyton Jones2017-06-079-115/+457
* Failing test case for #13734Joachim Breitner2017-05-203-0/+17
* Handle type-lets betterSimon Peyton Jones2017-05-172-0/+12
* testsuite: Add testcase for T13658Ben Gamari2017-05-152-0/+40
* Add a test for #12600David Feuer2017-05-134-0/+39
* Add a test for #11272David Feuer2017-05-134-0/+28
* Typos in comments [ci skip]Gabor Greif2017-05-051-2/+2
* Join-point refactoringSimon Peyton Jones2017-05-022-6/+6
* Re-engineer caseRules to add tagToEnum/dataToTagSimon Peyton Jones2017-04-283-96/+96
* Be a bit more eager to inline in a strict contextSimon Peyton Jones2017-04-281-1/+1
* Cure exponential behaviour in the simplifierSimon Peyton Jones2017-04-281-10/+10
* Improve demand analysis for join pointsSimon Peyton Jones2017-04-123-0/+19
* Do Note [Improving seq] alwaysSimon Peyton Jones2017-04-073-0/+22
* Add regression test for #7944Ryan Scott2017-04-042-8/+28
* Print module when dumping rulesMatthew Pickering2017-03-292-7/+7
* Allow unbound Refl binders in a RULESimon Peyton Jones2017-03-292-0/+153
* testsuite: Only run T13143 in optasm wayBen Gamari2017-03-261-1/+1
* testsuite: Add testcase for #13429Ben Gamari2017-03-242-0/+115
* No join-point from an INLINE function with wrong aritySimon Peyton Jones2017-03-172-0/+20
* Fix CaseIdentity optimisation AGAINSimon Peyton Jones2017-03-142-0/+9
* testsuite: Fix use of wc in T13340Ben Gamari2017-03-131-1/+1
* Fix TcSimplify.decideQuantification for kind variablesSimon Peyton Jones2017-03-101-1/+1
* Add rule mapFB c (λx.x) = cJoachim Breitner2017-03-062-0/+4
* Typos in comments and manualGabor Greif2017-03-061-1/+1
* Make FloatOut/SetLevels idemoptent on bottoming functionsSimon Peyton Jones2017-03-061-15/+12
* Fix CSE (again) on literal stringsSimon Peyton Jones2017-03-064-0/+17
* testsuite: Add expected output for T8848Ben Gamari2017-03-041-0/+2
* Produce KindReps for common kinds in GHC.TypesBen Gamari2017-03-032-16/+11
View Lorry Controller Status