Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix some breakagewip/ext-arity | Sebastian Graf | 2019-11-04 | 5 | -32/+35 |
| | |||||
* | add an extensionalityInfo field to IdInfo | Zach Sullivan | 2019-11-04 | 2 | -1/+39 |
| | |||||
* | new eta-tests | Zach Sullivan | 2019-11-04 | 2 | -0/+19 |
| | |||||
* | add logging to the eta-tests | Zach Sullivan | 2019-11-04 | 1 | -3/+3 |
| | |||||
* | reorg worker wrappers | Zach Sullivan | 2019-11-04 | 10 | -43/+1244 |
| | |||||
* | NoInline eta wrappers | Zach Sullivan | 2019-11-04 | 1 | -1/+1 |
| | |||||
* | start joining worker/wrapper transformations | Zach Sullivan | 2019-11-04 | 4 | -28/+67 |
| | |||||
* | add case for funtildety | Zach Sullivan | 2019-11-04 | 1 | -0/+2 |
| | |||||
* | guarentee that (~>) have fully saturated applications | Zach Sullivan | 2019-11-04 | 16 | -25/+147 |
| | |||||
* | dd in more cases for TildeFunTy | Zach Sullivan | 2019-11-04 | 2 | -0/+23 |
| | |||||
* | add funTildeTy cases to CoreOpt | Zach Sullivan | 2019-11-04 | 2 | -9/+28 |
| | |||||
* | bug fix: do not etaArityWW join point variables | Zach Sullivan | 2019-11-04 | 1 | -25/+37 |
| | |||||
* | etaArityWW on let-bound functions added | Zach Sullivan | 2019-11-04 | 1 | -40/+29 |
| | |||||
* | Add arity rules for extensional function types to CoreLint. Coalesced | Zach Sullivan | 2019-11-04 | 13 | -129/+172 |
| | | | | transformation into a single file in simplCore. | ||||
* | cannot etaReduce FunTildeTys, these should always appear as fully expanded | Zach Sullivan | 2019-11-04 | 3 | -4/+14 |
| | |||||
* | the type of etaWW functions depends on the usage of arguments in the body | Zach Sullivan | 2019-11-04 | 2 | -22/+70 |
| | |||||
* | eta expand higher order functions | Zach Sullivan | 2019-11-04 | 1 | -28/+98 |
| | |||||
* | begin adding support for higher-order functions | Zach Sullivan | 2019-11-04 | 4 | -18/+109 |
| | |||||
* | fix infinite loop when pretty printing extensional functions | Zach Sullivan | 2019-11-04 | 12 | -28/+128 |
| | |||||
* | eta-arity: fix infinite loop bug | Zach Sullivan | 2019-10-31 | 2 | -35/+48 |
| | |||||
* | thread unique supply through EtaWorkerWrapper | Zach Sullivan | 2019-10-31 | 7 | -85/+57 |
| | |||||
* | Plug EtaWorkerWrapper transformation into the Core2Core pipeline. It is now | Zach Sullivan | 2019-10-31 | 8 | -4/+29 |
| | | | | useable with the flag "-feta-arity". | ||||
* | worker/wrapper transformation for CoreEta | Zach Sullivan | 2019-10-31 | 4 | -4/+91 |
| | |||||
* | add call-by-name function types and their respective coersions | Zach Sullivan | 2019-10-31 | 22 | -33/+281 |
| | |||||
* | gitlab-ci: Fix the ARMv7 triple | Ben Gamari | 2019-10-30 | 1 | -1/+1 |
| | | | | | | | | | | Previously we were configuring the ARMv7 builds with a host/target triple of arm-linux-gnueabihf, which caused us to target ARMv6 and consequently rely on the old CP15 memory barrier implementation. This barrier has to be emulated on ARMv8 machines which is glacially slow. Hopefully this should fix the ARMv7 builds which currently consistently time out. | ||||
* | Whitespace forward compatibility for proposal #229 | Vladislav Zavialov | 2019-10-30 | 16 | -47/+27 |
| | | | | | | | | GHC Proposal #229 changes the lexical rules of Haskell, which may require slight whitespace adjustments in certain cases. This patch changes formatting in a few places in GHC and its testsuite in a way that enables it to compile under the proposed rules. | ||||
* | rts: More aarch64 header fixes | Ben Gamari | 2019-10-30 | 5 | -7/+10 |
| | |||||
* | Interpreter: initialize arity fields of AP_NOUPDs | Ömer Sinan Ağacan | 2019-10-29 | 1 | -4/+4 |
| | | | | | | AP_NOUPD entry code doesn't use the arity field, but not initializing this field confuses printers/debuggers, and also makes testing harder as the field's value changes randomly. | ||||
* | gitlab-ci: Fix binary distribution testing | Ben Gamari | 2019-10-29 | 1 | -20/+20 |
| | |||||
* | Don't include settings file in binary distribution | Ben Gamari | 2019-10-29 | 1 | -1/+1 |
| | | | | | | | | The configuration in the installation environment (as determined by `autoconf`) may differ from the build environment and therefore we need to be sure to rebuild the settings file. Fixes #17374. | ||||
* | gitlab-ci: Use pxz to compress binary distributions | Ben Gamari | 2019-10-29 | 2 | -1/+2 |
| | |||||
* | distrib: Fix binary distribution installation | Ben Gamari | 2019-10-29 | 3 | -4/+6 |
| | | | | | This had silently regressed due to 81860281 and the variable renaming performed in b55ee979, as noted in #17374. | ||||
* | Revert "Replace freebsd-gnueabihf with freebsd" | Ben Gamari | 2019-10-29 | 3 | -4/+8 |
| | | | | | This reverts commit aa31ceaf7568802590f73a740ffbc8b800096342 as suggested in #17392. | ||||
* | Don't substitute GccVersion variable | Ben Gamari | 2019-10-29 | 2 | -4/+2 |
| | | | | | Not only is it now unused but we generally can't assume that we are compiling with GCC, so it really shouldn't be used. | ||||
* | base: Split up file locking implementation | Ben Gamari | 2019-10-29 | 8 | -284/+352 |
| | | | | This makes the CPP significantly easier to follow. | ||||
* | base: Fix open-file locking | Ben Gamari | 2019-10-29 | 2 | -19/+40 |
| | | | | | | | | | The OFD locking path introduced in 3b784d440d4b01b4c549df7c9a3ed2058edfc780 due to #13945 appears to have never actually worked but we never noticed due to an oversight in the autoconf check. Fix it. Thanks to Oleg Grenrus for noticing this. | ||||
* | hadrian: Drop -Werror=unused-but-set-variable from GHC flags | Ben Gamari | 2019-10-29 | 1 | -3/+1 |
| | | | | | | | | | | | Previously `hadrian` would pass `-optc-Werror=unused-but-set-variable` to all GHC invocations. This was a difference from the make build system and cause the unregisterised build to fail as the C that GHC produces contains many unused functions. Drop it from the GHC flags. Note, however, that the flag is still present in `Settings.Builders.Common.cWarnings` and therefore will still be applied during compilation of C sources. | ||||
* | hadrian: Shuffle around RTS build flags | Ben Gamari | 2019-10-29 | 1 | -10/+19 |
| | | | | | Some of these flags wanted to be passed to .cmm builds as well as C builds. | ||||
* | hadrian: Define NOSMP when building rts unregisterised | Ben Gamari | 2019-10-29 | 6 | -15/+54 |
| | | | | | | | | It seems that NOSMP was previously only defined when compiling the compiler, not the RTS. Fix this. In addition do some spring-cleaning and make the logic match that of the Make build system. | ||||
* | hadrian: Define USE_LIBFFI_FOR_ADJUSTORS when necessary | Ben Gamari | 2019-10-29 | 1 | -0/+2 |
| | |||||
* | gitlab-ci: Factor out Linux Hadrian validation logic | Ben Gamari | 2019-10-29 | 1 | -3/+6 |
| | |||||
* | gitlab-ci: Use Hadrian for unregisterised job | Ben Gamari | 2019-10-29 | 1 | -7/+7 |
| | |||||
* | MkIface: Remove redundant parameter and outdated comments from addFingerprints | Ömer Sinan Ağacan | 2019-10-29 | 1 | -8/+8 |
| | |||||
* | HscMain: Move a comment closer to the relevant site | Ömer Sinan Ağacan | 2019-10-29 | 1 | -4/+4 |
| | |||||
* | Remove unused DynFlags arg of lookupIfaceByModule | Ömer Sinan Ağacan | 2019-10-29 | 6 | -17/+12 |
| | |||||
* | Return ModIface in compilation pipeline, remove IORef hack for generating ↵ | Ömer Sinan Ağacan | 2019-10-29 | 4 | -97/+114 |
| | | | | | | | | | | | | | | | | | | | | | ModIfaces The compilation phases now optionally return ModIface (for phases that generate an interface, currently only HscOut when (re)compiling a file). The value is then used by compileOne' to return the generated interface with HomeModInfo (which is then used by the batch mode compiler when building rest of the tree). hscIncrementalMode also returns a DynFlags with plugin info, to be used in the rest of the pipeline. Unfortunately this introduces a (perhaps less bad) hack in place of the previous IORef: we now record the DynFlags used to generate the partial infterface in HscRecomp and use the same DynFlags when generating the full interface. I spent almost three days trying to understand what's changing in DynFlags that causes a backpack test to fail, but I couldn't figure it out. There's a FIXME added next to the field so hopefully someone who understands this better than I do will fix it leter. | ||||
* | Refactor HscRecomp constructors: | Ömer Sinan Ağacan | 2019-10-29 | 3 | -47/+45 |
| | | | | | | | | | | | Make it evident in the constructors that the final interface is only available when HscStatus is not HscRecomp. (When HscStatus == HscRecomp we need to finish the compilation to get the final interface) `Maybe ModIface` return value of hscIncrementalCompile and the partial `expectIface` function are removed. | ||||
* | testsuite: Fix quoting of $(TEST_HC) in T12674 | Ben Gamari | 2019-10-29 | 1 | -2/+2 |
| | | | | I have no idea how this went unnoticed until now. | ||||
* | linters: Add linter to catch unquoted use of $(TEST_HC) | Ben Gamari | 2019-10-29 | 1 | -4/+16 |
| | | | | This is a common bug that creeps into Makefiles (e.g. see T12674). | ||||
* | linters: Add mode to lint given set of files | Ben Gamari | 2019-10-29 | 2 | -5/+16 |
| | | | | This makes testing much easier. |