summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Linear types (#15981)Krzysztof Gogolewski2020-06-173-5/+5
* Implement cast worker/wrapper properlySimon Peyton Jones2020-06-109-4/+234
* Cross-module LambdaFormInfo passingÖmer Sinan Ağacan2020-06-102-2/+3
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-054-9/+8
* FloatOut: Only eta-expand dead-end RHS if arity will increase (#18231)Sebastian Graf2020-05-283-0/+52
* CprAnal: Don't attach CPR sigs to expandable bindings (#18154)Sebastian Graf2020-05-1311-41/+7
* Fix specialisation for DFunsSimon Peyton Jones2020-05-082-0/+35
* Remove SpecConstrAnnotation (#13681)Sylvain Henry2020-05-052-9/+2
* Mark rule args as non-tail-calledSimon Peyton Jones2020-04-302-0/+79
* Unit: split and rename modulesSylvain Henry2020-04-305-10/+10
* PPC NCG: Add DWARF constants and debug labelsPeter Trommler2020-04-221-15/+5
* Mark DataCon wrappers CONLIKEAlexis King2020-04-222-3/+3
* GHC.Core.Opt renamingSylvain Henry2020-04-184-5/+5
* Add an INLINE pragma to Control.Category.>>>Alexis King2020-04-124-0/+287
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1/+1
* simplifier: Kill off ufKeenessFactorBen Gamari2020-04-074-3/+4
* Major improvements to the specialiserSimon Peyton Jones2020-04-0310-0/+178
* Re-engineer the binder-swap transformationSimon Peyton Jones2020-04-023-35/+19
* Demand analysis: simplify the demand for a RHSSimon Peyton Jones2020-03-291-1/+1
* Modules: Core operations (#13009)Sylvain Henry2020-03-184-5/+5
* Improve CSE.combineAltsSimon Peyton Jones2020-03-144-0/+45
* Fix LintSimon Peyton Jones2020-03-142-0/+40
* Typos in comments [skip ci]Krzysztof Gogolewski2020-03-101-1/+1
* Simplify IfaceIdInfo typeÖmer Sinan Ağacan2020-02-291-3/+3
* PmCheck: Implement Long-distance information with Covered setsSebastian Graf2020-02-271-1/+1
* Treat coercions as arguments for floating and inliningAlexis King2020-02-263-0/+11
* Modules: Driver (#13009)Sylvain Henry2020-02-211-1/+1
* Fix #17724 by having occAnal preserve used bindings.Andreas Klebinger2020-02-204-0/+121
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-201-0/+1
* testsuite: Mark T7702 as fragile on WindowsBen Gamari2020-02-141-1/+1
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-123-3/+3
* Separate CPR analysis from the Demand analyserwip/sep-cprSebastian Graf2020-02-1212-59/+74
* testsuite: Fix -Wcompat-unqualified-imports issuesBen Gamari2020-02-081-1/+1
* Do CafInfo/SRT analysis in CmmÖmer Sinan Ağacan2020-01-3111-91/+30
* Print Core type applications with no whitespace after @ (#17643)Ryan Scott2020-01-0817-66/+66
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-041-1/+1
* Take care to not eta-reduce jumps in CorePrepMatheus Magalhães de Alcantara2019-11-232-0/+24
* testsuite: Drop T7995Ben Gamari2019-11-093-12/+0
* SetLevels: Don't set context level when floating casesBen Gamari2019-11-083-1/+20
* Make CSE delay inlining lessSimon Peyton Jones2019-11-014-1/+20
* Add new flag for unarised STG dumpsÖmer Sinan Ağacan2019-10-231-34/+1
* testsuite: Ensure that makefile tests get runBen Gamari2019-10-171-1/+1
* Add a test to make sure we don't regress on #17140 in the futureAlp Mestanogullari2019-09-135-0/+29
* testsuite: Add testsuite for #16978Ben Gamari2019-08-042-0/+30
* Apply a missing substitution in mkEtaWW (#16979)Simon Peyton Jones2019-07-303-0/+266
* Expunge #ifdef and #ifndef from the codebaseJohn Ericson2019-07-141-2/+2
* Fix erroneous float in CoreOptSimon Peyton Jones2019-07-093-0/+34
* testsuite: Mark T7702 as broken on WindowsBen Gamari2019-06-211-0/+1
* testsuite: Really fix #16741Ben Gamari2019-06-162-4/+4
* testsuite: Suppress ticks in T4918 outputBen Gamari2019-06-091-1/+3
View Lorry Controller Status