summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore/should_run
Commit message (Expand)AuthorAgeFilesLines
* Fix unification with oversaturated type familiesKrzysztof Gogolewski2023-04-043-1/+39
* Add test for T23184Matthew Pickering2023-03-313-0/+20
* Fix testsBodigrim2023-03-301-0/+1
* Take more care with unlifted bindings in the specialiserSimon Peyton Jones2023-02-283-0/+13
* Don't specialise incoherent instance applicationsGergő Érdi2023-02-273-0/+33
* Revert "Use fix-sized bit-fiddling primops for fixed size boxed types"Ben Gamari2023-02-042-37/+83
* Change printing of sized literals to match the proposalKrzysztof Gogolewski2022-11-292-22/+25
* Make withDict opaque to the specialisersheaf2022-07-214-0/+98
* CorePrep: Don't speculatively evaluate recursive calls (#20836)Sebastian Graf2022-06-202-0/+24
* A bunch of changes related to eta reductionSimon Peyton Jones2022-05-303-3/+10
* Use a class to check validity of withDictwip/withdictKrzysztof Gogolewski2022-05-271-3/+3
* Fix bad interaction between withDict and the SpecialiserSimon Peyton Jones2022-05-173-0/+109
* Give the two T19569 tests different namesMatthew Craven2022-05-053-1/+1
* Add test for T21229Matthew Pickering2022-04-303-0/+26
* Add regression test for #19569Andreas Klebinger2022-04-093-0/+53
* Drop the app invariantghc-9.5-startJoachim Breitner2022-04-093-2/+28
* Change GHC.Prim to GHC.Exts in docs and testsKrzysztof Gogolewski2022-04-012-2/+2
* testsuite: Remove reqlib modifierMatthew Pickering2021-12-222-60/+1
* Test case from #19313Joachim Breitner2021-12-143-1/+20
* Revert "Data.List specialization to []"Matthew Pickering2021-12-031-1/+1
* Make Word64 use Word64# on every architectureSylvain Henry2021-11-061-5/+22
* undefined: Neater CallStack in error messageJoachim Breitner2021-10-242-3/+1
* Fix #20203 improve constant fold for `and`/`or`CarrieMY2021-09-134-0/+356
* Data.List specialization to []Oleg Grenrus2021-04-011-1/+1
* Use GHC2021 as default languageJoachim Breitner2021-03-102-3/+5
* testsuite: Add test for #19413Ben Gamari2021-03-043-0/+20
* Remove -XMonadFailDesugaring referencesHécate2021-01-271-1/+1
* Test constant folding for sized typesJohn Ericson2021-01-227-0/+393
* Refactor numeric constant folding rulesSylvain Henry2020-10-313-0/+112
* Do absence analysis on stable unfoldingsSimon Peyton Jones2020-09-173-0/+56
* testsuite: Add regression test for #17744Ben Gamari2020-07-154-0/+107
* Update testsuiteSylvain Henry2020-06-172-6/+5
* PPC NCG: Add DWARF constants and debug labelsPeter Trommler2020-04-221-4/+2
* Mark DataCon wrappers CONLIKEAlexis King2020-04-223-0/+43
* GHC.Core.Opt renamingSylvain Henry2020-04-182-2/+2
* Fix an tricky specialiser loopSimon Peyton Jones2020-04-064-0/+226
* Modules: Types (#13009)Sylvain Henry2020-03-291-1/+1
* Modules: Core operations (#13009)Sylvain Henry2020-03-182-2/+2
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-202-1/+5
* Give seq a more precise type and remove magicBen Gamari2019-11-191-1/+1
* Whitespace forward compatibility for proposal #229Vladislav Zavialov2019-10-301-3/+3
* testsuite: Add testcase for #17206Ben Gamari2019-09-193-0/+19
* Add test for #16893Ömer Sinan Ağacan2019-08-103-0/+93
* testsuite: Add assertions that way lists are in fact listsBen Gamari2019-06-151-1/+1
* Fix arity type of coerced types in CoreArityÖmer Sinan Ağacan2019-05-313-0/+31
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-156-6/+6
* Always do the worker/wrapper split for NOINLINEsSebastian Graf2019-03-071-1/+1
* Fix map/coerce rule for newtypes with wrappersKrzysztof Gogolewski2019-03-053-0/+19
* Make constructor wrappers inline only during the final phaseArnaud Spiwack2019-02-195-0/+40
* testsuite: Fix a variety of issues when building with integer-simpleBen Gamari2018-12-241-1/+2
View Lorry Controller Status