- ghc-tickets - Haskell.org

[GHC] #15949: Hadrian needs more convenient build target names
by GHC 11 Dec '18

11 Dec '18

#15949: Hadrian needs more convenient build target names -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: 8.8.1 Component: Compiler | Version: 8.6.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- With the `make` build system one can easily build a particular library or executable by `cd`ing into the relevant directory and typing `make`. With `hadrian` there appears to be no convenient way to replicate this. Instead, you need to know the name of the final target which the build will produce which may contain version numbers, platform triples, and all sorts of other ugliness. I suggest we introduce a set of convenience targets to make this easier. For instance one could run: {{{ $ hadrian stage1:lib:ghc }}} to build the stage1 `ghc` library or {{{ $ hadrian stage2:exe:hp2ps }}} to build `hp2ps`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15949> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #15946: configure script makes use of argument flag that is not supported in OpenBSD
by GHC 11 Dec '18

11 Dec '18

#15946: configure script makes use of argument flag that is not supported in OpenBSD -------------------------------------+------------------------------------- Reporter: klomeli | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.3 Component: Compiler | Version: 8.6.2 Keywords: configure | Operating System: OpenBSD Architecture: | Type of failure: Building GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- After some head-scratching, I found that the configure script makes use of the **-v** verbose flag. This flag does not exist in OpenBSD. It was causing the build process to fail due to some files not existing during the compilation process. I'm getting around this by removing all **-v** occurrences as a pre- compilation step: {{{ find . -type f | xargs sed -i -e 's|^ln -f -v |ln -f |' }}} To make the process a little smoother for other folks, perhaps creating an alias that is conditional based OS type at the header of the script along the lines of would be best: {{{ case "$build_os" in openbsd*) alias mksymlnk="ln -f" ;; *) alias mksymlnk="ln -f -v" ;; esac ... mksymlnk utils/fs/fs.* utils/lndir/ ... }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15946> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #15904: hp2ps fail with parse error when the command args contains double quotes
by GHC 11 Dec '18

11 Dec '18

#15904: hp2ps fail with parse error when the command args contains double quotes -------------------------------------+------------------------------------- Reporter: watashi | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: Profiling | Version: 8.7 Keywords: hp2ps | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{ watashi % cat test.hs main = pure () watashi % ghc -prof -rtsopts test.hs watashi % ./test '{"e": 2.72, "pi": 3.14}' +RTS -h watashi % hp2ps test.hp hp2ps: test.hp, line 1: integer must follow identifier }}} Manually open `test.hp` and remove the `"`s in `JOB` will mitigate the problem. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15904> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #15270: TH doesn't verify name types during conversion
by GHC 11 Dec '18

11 Dec '18

#15270: TH doesn't verify name types during conversion -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Template | Version: 8.4.3 Haskell | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Angerman reported that a use of the [[http://hackage.haskell.org/package /deriving-compat-0.4.2/docs/src/Data.Eq.Deriving.Internal.html#deriveEq1 `deriveEq`]] splice is causing GHC to abort with an assertion failure: {{{#!hs zonkExpr env (HsVar x (L l id)) = ASSERT2( isNothing (isDataConId_maybe id), ppr id ) return (HsVar x (L l (zonkIdOcc env id))) }}} I suspect the `deriveEq1` is calling `varE` with a DataCon name. We should catch this case and throw a better error message. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15270> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

Re: [GHC] #1: Implicit parameters cause strange behavi
by GHC 11 Dec '18

11 Dec '18

#1: Implicit parameters cause strange behavi --------------------------------+-------------------- Reporter: nobody | Owner: nobody Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 5.0 Resolution: Fixed | Keywords: Type of failure: None/Unknown | --------------------------------+-------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"c98e25a4de88f12c6ded0a97fcf3ed8f4996b9ea/ghc" c98e25a4/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="c98e25a4de88f12c6ded0a97fcf3ed8f4996b9ea" Explicitly pass -fno-PIC to C compiler on linux Recent gcc on some linux ditributions may have -fPIC on by default ``` $ uname -a Linux watashi-arch32 4.18.5-arch1-1.0-ARCH #1 SMP PREEMPT Tue Aug 28 20:45:30 CEST 2018 i686 GNU/Linux $ gcc --version gcc (GCC) 7.3.1 20180312 $ touch dummy.c $ gcc -Q -v dummy.c 2>&1 | grep PIC options enabled: -fPIC -fPIE -faggressive-loop-optimizations ``` This results in following error for i686: ``` $ TEST=T13366 make test ... c-iserv.bin: /home/watashi/github/ghc/libraries/ghc-prim/dist-install/build/HSghc-pri m-0.5.3.o: unknown symbol `_GLOBAL_OFFSET_TABLE_' ghc-stage2: unable to load package `ghc-prim-0.5.3' ... ``` As our runtime linker doesn't support R_386_GOTPC relocations at all (#15847). Also while we don't have such problem on x86_64, it's not desired to build PIC objects either. Test Plan: `TEST=T13366 make test` passed on {rGHC82a716431cc680392e332bc2b1a1fd0d7faa4cd8} Reviewers: simonmar, bgamari, austin Reviewed By: simonmar Subscribers: rwbarton, carter GHC Trac Issues: #15848 Differential Revision: https://phabricator.haskell.org/D5288 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #15847: GHCi cannot load .o built from c with -fPIC on i386 linux
by GHC 11 Dec '18

11 Dec '18

#15847: GHCi cannot load .o built from c with -fPIC on i386 linux -------------------------------------+------------------------------------- Reporter: watashi | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Runtime | Version: 8.7 System (Linker) | Keywords: | Operating System: Linux Architecture: x86 | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- GHCi cannot load .o built from c with -fPIC on i386 linux. On i386 linux, the PIC object code looks like: {{{ 000001ac <hs_remWord64>: 1ac: 53 push %ebx 1ad: 83 ec 08 sub $0x8,%esp 1b0: e8 fc ff ff ff call 1b1 <hs_remWord64+0x5> 1b1: R_386_PC32 __x86.get_pc_thunk.bx 1b5: 81 c3 02 00 00 00 add $0x2,%ebx 1b7: R_386_GOTPC _GLOBAL_OFFSET_TABLE_ 1bb: ff 74 24 1c pushl 0x1c(%esp) 1bf: ff 74 24 1c pushl 0x1c(%esp) 1c3: ff 74 24 1c pushl 0x1c(%esp) 1c7: ff 74 24 1c pushl 0x1c(%esp) 1cb: e8 fc ff ff ff call 1cc <hs_remWord64+0x20> 1cc: R_386_PLT32 __umoddi3 1d0: 83 c4 18 add $0x18,%esp 1d3: 5b pop %ebx 1d4: c3 ret }}} 1. the GOT symbol `_GLOBAL_OFFSET_TABLE_` may be undefined 2. the runtime linker doesn't support PIC-related i386 relocations like `R_386_GOTPC` or `R_386_PLT32` As a result, we will see errors like `unknown symbol '_GLOBAL_OFFSET_TABLE_'` or `unhandled ELF relocation`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15847> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #703: all binaries built by ghc have executable stacks
by GHC 11 Dec '18

11 Dec '18

#703: all binaries built by ghc have executable stacks -------------------------------------+------------------------------------- Reporter: duncan | Owner: ezyang Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Compiler (NCG) | Version: 7.6.3 Resolution: fixed | Keywords: Operating System: Linux | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: T703 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"4faab14bcf8a892414306a61bcde02d82cf735be/ghc" 4faab14b/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="4faab14bcf8a892414306a61bcde02d82cf735be" testsuite: Skip T703 on non-Linux platforms While the test is in principle applicable to many platforms, the current implementation requires readelf, which we can only assume is present on ELF-based platforms (e.g. Linux). See Trac #703. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/703#comment:43> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #16035: keep-cafs fails on FreeBSD 11
by GHC 11 Dec '18

11 Dec '18

#16035: keep-cafs fails on FreeBSD 11 -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Runtime | Version: 8.7 System (Linker) | Keywords: | Operating System: FreeBSD Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- It's a bit unclear why: {{{#!patch =====> keep-cafs(normal) 9 of 10 [0, 4, 2] cd "rts/keep-cafs.run" && $MAKE -s --no-print-directory KeepCafs Actual stdout output differs from expected: diff -uw "rts/keep-cafs.run/keep-cafs.stdout.normalised" "rts/keep- cafs.run/keep-cafs.run.stdout.normalised" --- rts/keep-cafs.run/keep-cafs.stdout.normalised 2018-12-11 22:41:53.650952000 +0000 +++ rts/keep-cafs.run/keep-cafs.run.stdout.normalised 2018-12-11 22:41:53.651227000 +0000 @@ -1,2 +1,4 @@ -1000 -1001 +KeepCafsMain: KeepCafs1.o: unknown symbol `base_GHCziBase_zdfMonadIO_closure' +KeepCafsMain: KeepCafs2.o: unknown symbol `base_GHCziNum_zdfNumInt_closure' +34410180672 +34410180672 }}} Perhaps a GHCi linker issue? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16035> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #15920: Implement a flag which disables safe Haskell
by GHC 11 Dec '18

11 Dec '18

#15920: Implement a flag which disables safe Haskell -------------------------------------+------------------------------------- Reporter: mpickering | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.3 Component: Compiler | Version: 8.6.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- When adding a plugin to a module, it marks the module as unsafe. If I automatically run a plugin on every module I build then all the modules are therefore marked unsafe. This means that libraries start failing to compile as the safety properties change. However, I don't care about safe haskell and want to turn off this error but there appears to be no way to do so. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15920> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #15860: Hadrian build fails on FreeBSD
by GHC 11 Dec '18

11 Dec '18

#15860: Hadrian build fails on FreeBSD -------------------------------------+------------------------------------- Reporter: raichoo | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 8.7 (Hadrian) | Keywords: | Operating System: FreeBSD Architecture: x86_64 | Type of failure: Compile-time (amd64) | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Hi, I've tried a `hadrian/build.sh -j` on my FreeBSD machine and got greeted by a rather nasty looking error. {{{ Up to date shakeArgsWith 0.000s 0% Function shake 0.275s 80% ========================= Database read 0.000s 0% With database 0.000s 0% Running rules 0.065s 19% ===== Total 0.340s 100% Error when running Shake build system: * OracleQ (KeyValue ("hadrian/cfg/system.config","host-os")) * hadrian/cfg/system.config * hadrian/cfg/system.config settings mk/config.h compiler/ghc.cabal rts/rts.cabal Configuration file hadrian/cfg/system.config is missing. Run the configure script manually or let Hadrian run it automatically by passing the flag --configure. CallStack (from HasCallStack): error, called at src/Rules/Configure.hs:25:13 in main:Rules.Configure }}} I've tried this with commit `1a3b9bd0b674ad16a41b942c738b8f34564bcd8d` and my current system is `FreeBSD lain 12.0-BETA3 FreeBSD 12.0-BETA3 r340097 GENERIC amd64`. Building GHC with the old build system worked perfectly fine though. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15860> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 13