summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Refactor ./hadrian/ghci.sh for better error messagesMatthew Pickering2019-03-251-1/+4
| | | | | | By separating these two lines, if the first command fails then `ghci` is not loaded. Before it would still load ghci but display lots of errors about not being able to find modules.
* Check hadrian/ghci.sh script output to determine pass/failMatthew Pickering2019-03-251-2/+2
| | | | | ghci always exits with exit code 0 so you have to check the output to see if the modules loaded succesfully.
* User's Guide: extensions compatibilityHaskell-mouse2019-03-251-0/+18
| | | | | | | Adds the mention that extensions "AllowAmbiguousTypes" and "RankNTypes" are not always compatible with each other. Specifies the conditions and causes of failing in resolving of ambiguity.
* gitlab-ci: Allow linters to fail for nowBen Gamari2019-03-241-0/+1
| | | They are broken and I don't have time to fix them at the moment.
* gitlab-ci: Explicitly fetch target branchBen Gamari2019-03-231-2/+2
| | | | | `git fetch`, which we used previously, doesn't update the remote tracking branches.
* gitlab-ci: Compute merge base against remote tracking branchBen Gamari2019-03-221-1/+1
| | | | | | | Previously we would use the local branch with the name `$CI_MERGE_REQUEST_TARGET_BRANCH_NAME` to compute the merge base when linting. However, this branch isn't necessarily up-to-date. We should rather use `origin/$CI_MERGE_REQUEST_TARGET_BRANCH_NAME`.
* gitlab-ci: Fix YAML syntaxBen Gamari2019-03-221-1/+1
|
* gitlab-ci: Clean up linterBen Gamari2019-03-221-7/+1
| | | | | I'm not sure why these steps were done but they seem counterproductive and unnecessary.
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-03-22153-801/+229
| | | | | | As per https://prime.haskell.org/wiki/Libraries/Proposals/MonadFail Coauthored-by: Ben Gamari <ben@well-typed.com>
* gitlab-ci: Fix lintersBen Gamari2019-03-221-0/+1
|
* Force LF line ending for md5sum [skip-ci]Tamar Christina2019-03-222-0/+2
|
* gitlab: Deploy documentation snapshot via GitLab PagesBen Gamari2019-03-221-0/+21
|
* CI: Allow failure in packaging stepMatthew Pickering2019-03-221-0/+1
| | | | | This depends on the windows build which is still allowed to fail. If that job fails then the packaging job will also fail.
* Bump cabal submoduleBen Gamari2019-03-211-0/+0
| | | | Due to https://github.com/haskell/cabal/issues/5953.
* gitlab-ci: Pass --target explicitly to configure on WindowsBen Gamari2019-03-211-1/+5
| | | | | | | | | Otherwise configure fails in the 32-bit case with ``` This GHC (c:/GitLabRunner/builds/8fc0e283/0/ghc/ghc/toolchain/bin/ghc) does not generate code for the build platform GHC target platform : x86_64-unknown-mingw32 Desired build platform : i386-unknown-mingw32 ```
* gitlab-ci: Do full `perf` build when building Windows releasesBen Gamari2019-03-211-1/+12
|
* Run linters on merge requestsMatthew Pickering2019-03-211-10/+58
| | | | | | It seems that it has failed to execute at all since it was implemented. We now run the linters on merge requests.
* Only run check-makefiles.py linter in testsuite dirMatthew Pickering2019-03-211-1/+1
|
* Fix typo [skip ci]Alexandre Esteves2019-03-211-1/+1
|
* Fix specification of load_load_barrier [skip-ci]Peter Trommler2019-03-201-1/+1
|
* Remove unused XArrApp and XArrForm extension pointsRyan Scott2019-03-202-9/+0
| | | | | | !301 removed the `HsArrApp` and `HsArrForm` constructors, which renders the corresponding extension points `XArrApp` and `XArrForm` useless. This patch finally rips them out.
* base: Depend upon shlwapi on WindowsBen Gamari2019-03-203-1/+9
| | | | | | | As noted in #16466, `System.Environment.getExecutablePath` depends upon `PathFileExistsW` which is defined by `shlwapi`. Fixes #16466.
* Check.hs: Fix a few typosSimon Jakobi2019-03-201-5/+5
|
* Print test suite results ("unexpected failures" etc.) in sorted orderÖmer Sinan Ağacan2019-03-201-1/+1
| | | | Fixes #16425
* Reject nested predicates in impredicativity checkingRyan Scott2019-03-2020-68/+89
| | | | | | | | | | | | | | | | | | | | | | | | | When GHC attempts to unify a metavariable with a type containing foralls, it will be rejected as an occurrence of impredicativity. GHC was /not/ extending the same treatment to predicate types, such as in the following (erroneous) example from #11514: ```haskell foo :: forall a. (Show a => a -> a) -> () foo = undefined ``` This will attempt to instantiate `undefined` at `(Show a => a -> a) -> ()`, which is impredicative. This patch catches impredicativity arising from predicates in this fashion. Since GHC is pickier about impredicative instantiations, some test cases needed to be updated to be updated so as not to fall afoul of the new validity check. (There were a surprising number of impredicative uses of `undefined`!) Moreover, the `T14828` test case now has slightly less informative types shown with `:print`. This is due to a a much deeper issue with the GHCi debugger (see #14828). Fixes #11514.
* Add a bench flavour to HadrianSebastian Graf2019-03-205-38/+53
|
* ci: Add some descriptions of the stagesBen Gamari2019-03-201-6/+6
|
* ci: Move validate-x86_64-linux-deb9 to full-build stageBen Gamari2019-03-201-1/+2
| | | | | | | The `build` stage is meant to be a minimal smoke test to weed out broken commits. The `validate-x86_64-linux-deb9` build will generally catch a subset of issues caught by `validate-x86_64-linux-deb9-debug` so only the latter should be in `build`.
* Gracefully handle error condition in Mach-O relocateSectionArtem Pyanykh2019-03-201-1/+6
|
* Directly test section alignment, fix internal reloc probing lengthArtem Pyanykh2019-03-207-24/+28
|
* Add missing levels to SegmentProt enumArtem Pyanykh2019-03-202-4/+19
|
* Add a linker test re: section alignmentArtem Pyanykh2019-03-204-0/+28
|
* Address some todos and fixmesArtem Pyanykh2019-03-209-31/+32
|
* Use segments for section layoutArtem Pyanykh2019-03-206-94/+296
|
* Adjust section placement and relocation logic for Mach-OArtem Pyanykh2019-03-2010-123/+329
| | | | | | | | | | | | | | 1. Place each section on a separate page to ensure required alignment (wastes lots ot space, needs to be improved). 2. Unwire relocation logic from macho sections (the most fiddly part is adjusting internal relocations). Other todos: 0. Add a test for section alignment. 1. Investigate 32bit relocations! 2. Fix memory leak in ZEROPAGE section allocation. 3. Fix creating redundant jump islands for GOT. 4. Investigate more compact section placement.
* testsuite: Display observed exit code on failure due to bad exit codeBen Gamari2019-03-201-1/+1
|
* Try againBen Gamari2019-03-201-3/+5
|
* testsuite: Don't mark T5836 as brokenBen Gamari2019-03-201-3/+1
| | | | I believe removing __mingw_vsnwprintf from RtsSymbols fixed #16387.
* Don't mark cabal09 as brokenBen Gamari2019-03-201-2/+1
| | | | It doesn't fail reliably.
* rts/RtsSymbols: Drop __mingw_vsnwprintfBen Gamari2019-03-201-1/+0
| | | | | | As described in #16387, this is already defined by mingw and consequently defining it in the RTS as well leads to multiple definition errors from the RTS linker at runtime.
* testsuite/plugins: Increase compile timeout on WindowsBen Gamari2019-03-201-5/+11
| | | | | I think the linker is routinely eating through the timeout, leading to many spurious failures.
* testsuite: Mark T10672 as brokenBen Gamari2019-03-201-2/+4
| | | | | | | This test, which is only run on Windows, seems to be reliably timing out. See #16390.
* testsuite/plugins: Add multi_cpu_race modifier on WindowsBen Gamari2019-03-201-27/+3
| | | | | | | | | | | | | | | | | | | | | | | A few tests previously failed with various failure modes. For instance, `plugin-recomp-change` fails with: ``` Wrong exit code for plugin-recomp-change()(expected 0 , actual 2 ) Stderr ( plugin-recomp-change ): Simple Plugin Passes Queried Got options: Simple Plugin Pass Run C://GitLabRunner//builds//8fc0e283//0//ghc//ghc//inplace//mingw//bin/ld.exe: cannot find -lHSplugin-recompilation-0.1-CPeObcGoBuvHdwBnpK9jQq collect2.exe: error: ld returned 1 exit status `gcc.exe' failed in phase `Linker'. (Exit code: 1) make[2]: *** [Makefile:112: plugin-recomp-change] Error 1 *** unexpected failure for plugin-recomp-change(normal) ``` It's unclear whether the ghc-pkg concurrency issue mentioned in all.T is the culprit but the set of tests that fail overlaps strongly with the set of tests that lack the `multi_cpu_race` modifier. Let's see if adding it fixes them.
* testsuite: Mark T16190 as broken on WindowsBen Gamari2019-03-201-1/+2
| | | | | There seems to be some filepath funniness due to TH embedding going on here. See #16389.
* testsuite: Mark T15904 as broken on WindowsBen Gamari2019-03-201-1/+1
| | | | It seems to look for some sort of manifest file. See #16388.
* testsuite: Mark T5836 as broken on WindowsBen Gamari2019-03-201-1/+3
| | | | See #16387.
* testsuite: Fix expected output on Windows for various ghci testsBen Gamari2019-03-203-9/+0
| | | | | Broke as -Wimplicit-kind-vars no longer exists. Specifically ghci024, ghci057 and T9293.
* testsuite: Mark T16219 and cabal09 as broken on WindowsBen Gamari2019-03-202-2/+4
| | | | See #16386.
* Update .gitlab-ci.ymlMatthew Pickering2019-03-191-1/+1
|
* gitlab-ci: Bump docker imagesBen Gamari2019-03-191-1/+1
| | | | To install lndir and un-break the source distribution job.