summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Fix some breakagewip/ext-aritySebastian Graf2019-11-045-32/+35
* add an extensionalityInfo field to IdInfoZach Sullivan2019-11-042-1/+39
* new eta-testsZach Sullivan2019-11-042-0/+19
* add logging to the eta-testsZach Sullivan2019-11-041-3/+3
* reorg worker wrappersZach Sullivan2019-11-0410-43/+1244
* NoInline eta wrappersZach Sullivan2019-11-041-1/+1
* start joining worker/wrapper transformationsZach Sullivan2019-11-044-28/+67
* add case for funtildetyZach Sullivan2019-11-041-0/+2
* guarentee that (~>) have fully saturated applicationsZach Sullivan2019-11-0416-25/+147
* dd in more cases for TildeFunTyZach Sullivan2019-11-042-0/+23
* add funTildeTy cases to CoreOptZach Sullivan2019-11-042-9/+28
* bug fix: do not etaArityWW join point variablesZach Sullivan2019-11-041-25/+37
* etaArityWW on let-bound functions addedZach Sullivan2019-11-041-40/+29
* Add arity rules for extensional function types to CoreLint. CoalescedZach Sullivan2019-11-0413-129/+172
* cannot etaReduce FunTildeTys, these should always appear as fully expandedZach Sullivan2019-11-043-4/+14
* the type of etaWW functions depends on the usage of arguments in the bodyZach Sullivan2019-11-042-22/+70
* eta expand higher order functionsZach Sullivan2019-11-041-28/+98
* begin adding support for higher-order functionsZach Sullivan2019-11-044-18/+109
* fix infinite loop when pretty printing extensional functionsZach Sullivan2019-11-0412-28/+128
* eta-arity: fix infinite loop bugZach Sullivan2019-10-312-35/+48
* thread unique supply through EtaWorkerWrapperZach Sullivan2019-10-317-85/+57
* Plug EtaWorkerWrapper transformation into the Core2Core pipeline. It is nowZach Sullivan2019-10-318-4/+29
* worker/wrapper transformation for CoreEtaZach Sullivan2019-10-314-4/+91
* add call-by-name function types and their respective coersionsZach Sullivan2019-10-3122-33/+281
* gitlab-ci: Fix the ARMv7 tripleBen Gamari2019-10-301-1/+1
* Whitespace forward compatibility for proposal #229Vladislav Zavialov2019-10-3016-47/+27
* rts: More aarch64 header fixesBen Gamari2019-10-305-7/+10
* Interpreter: initialize arity fields of AP_NOUPDsÖmer Sinan Ağacan2019-10-291-4/+4
* gitlab-ci: Fix binary distribution testingBen Gamari2019-10-291-20/+20
* Don't include settings file in binary distributionBen Gamari2019-10-291-1/+1
* gitlab-ci: Use pxz to compress binary distributionsBen Gamari2019-10-292-1/+2
* distrib: Fix binary distribution installationBen Gamari2019-10-293-4/+6
* Revert "Replace freebsd-gnueabihf with freebsd"Ben Gamari2019-10-293-4/+8
* Don't substitute GccVersion variableBen Gamari2019-10-292-4/+2
* base: Split up file locking implementationBen Gamari2019-10-298-284/+352
* base: Fix open-file lockingBen Gamari2019-10-292-19/+40
* hadrian: Drop -Werror=unused-but-set-variable from GHC flagsBen Gamari2019-10-291-3/+1
* hadrian: Shuffle around RTS build flagsBen Gamari2019-10-291-10/+19
* hadrian: Define NOSMP when building rts unregisterisedBen Gamari2019-10-296-15/+54
* hadrian: Define USE_LIBFFI_FOR_ADJUSTORS when necessaryBen Gamari2019-10-291-0/+2
* gitlab-ci: Factor out Linux Hadrian validation logicBen Gamari2019-10-291-3/+6
* gitlab-ci: Use Hadrian for unregisterised jobBen Gamari2019-10-291-7/+7
* MkIface: Remove redundant parameter and outdated comments from addFingerprintsÖmer Sinan Ağacan2019-10-291-8/+8
* HscMain: Move a comment closer to the relevant siteÖmer Sinan Ağacan2019-10-291-4/+4
* Remove unused DynFlags arg of lookupIfaceByModuleÖmer Sinan Ağacan2019-10-296-17/+12
* Return ModIface in compilation pipeline, remove IORef hack for generating Mod...Ömer Sinan Ağacan2019-10-294-97/+114
* Refactor HscRecomp constructors:Ömer Sinan Ağacan2019-10-293-47/+45
* testsuite: Fix quoting of $(TEST_HC) in T12674Ben Gamari2019-10-291-2/+2
* linters: Add linter to catch unquoted use of $(TEST_HC)Ben Gamari2019-10-291-4/+16
* linters: Add mode to lint given set of filesBen Gamari2019-10-292-5/+16
View Lorry Controller Status