summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore/should_compile
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix typos in diagnostics, testsuite and commentsGabor Greif2017-09-071-1/+1
* 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
* Stop the specialiser generating loopy codeSimon Peyton Jones2017-06-072-115/+0
* 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
* 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
* TcTypeable: Try to reuse KindRepsBen Gamari2017-03-032-44/+31
* Fix up test results.David Feuer2017-03-022-6/+4
* testsuite: Mark T13340 as fixedBen Gamari2017-03-021-1/+1
* Typeable: Rename KindRep bindings to $krep...Ben Gamari2017-03-022-10/+10
* Fix expected result from T13143David Feuer2017-03-021-27/+25
* The Early Inline PatchSimon Peyton Jones2017-02-2811-169/+95
* Inline data constructor wrappers in phase 2 onlySimon Peyton Jones2017-02-281-60/+60
* When floating, don't box an expression that's okay for speculation (#13338)Reid Barton2017-02-282-0/+13
* Occurrence-analyse the result of rule firingsSimon Peyton Jones2017-02-261-7/+6
* tests: remove extra_files.py (#12223)Reid Barton2017-02-261-3/+4
* Add testcase for #13340Ben Gamari2017-02-264-0/+14
* Make exprIsConApp_maybe work better for literals stringsSimon Peyton Jones2017-02-245-2/+27
* Type-indexed TypeableBen Gamari2017-02-182-60/+110
* Simplify OutputableBndrSimon Peyton Jones2017-02-173-25/+25
* Do Worker/Wrapper for NOINLINE thingsEric Seidel2017-02-056-14/+170
* Add liftA2 to Applicative classDavid Feuer2017-02-051-12/+36
View Lorry Controller Status