March 2017 - ghc-tickets

[GHC] Trac email verification for user: ralf
by GHC 13 Mar '17

13 Mar '17

Please visit the following URL to confirm your email address. Verification URL: <http://ghc.haskell.org/trac/ghc/verify_email?verify=1&token=H6OSjo6d> Username: ralf Verification Token: H6OSjo6d -- GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13416: Unsolved Constraints (initTc)
by GHC 13 Mar '17

13 Mar '17

#13416: Unsolved Constraints (initTc) -------------------------------------+------------------------------------- Reporter: sgschlesinger | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Keywords: constraint | Operating System: Linux Architecture: x86_64 | Type of failure: Compile-time (amd64) | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Another bug here: ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-unknown-linux): initTc: unsolved constraints WC {wc_insol = [W] nub_a1U2 :: t_a1U1[tau:1] (CHoleCan: nub)} I've attached the relevant code. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13416> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: that is so great!
by matthew 13 Mar '17

13 Mar '17

Spam detection software, running on the system "mail.haskell.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: Greetings, Look what I've just found on the web! It's so amazing, check it out http://truth.sindyslade.com/9796 Warm regards, matthew [...] Content analysis details: (6.6 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 3.3 RCVD_IN_PBL RBL: Received via a relay in Spamhaus PBL [113.194.133.139 listed in zen.spamhaus.org] 0.4 RCVD_IN_XBL RBL: Received via a relay in Spamhaus XBL 1.2 URIBL_JP_SURBL Contains an URL listed in the JP SURBL blocklist [URIs: sindyslade.com] 0.0 SPF_FAIL SPF: sender does not match SPF record (fail) [SPF failed: Please see http://www.openspf.net/Why?s=mfrom;id=matthew%40wellquite.org;ip=113.194.13…] 0.0 HTML_MESSAGE BODY: HTML included in message 0.8 BAYES_50 BODY: Bayes spam probability is 40 to 60% [score: 0.4656] 0.8 RDNS_NONE Delivered to internal network by a host with no rDNS The original message was not completely plain text, and may be unsafe to open with some email clients; in particular, it may contain a virus, or confirm that your address can receive spam. If you wish to view it, it may be safer to save it to a file and open it with an editor.

1 0

[GHC] #13342: Core Lint warnings are emitted on stdout rather than stderr
by GHC 12 Mar '17

12 Mar '17

#13342: Core Lint warnings are emitted on stdout rather than stderr -------------------------------------+------------------------------------- Reporter: mpickering | Owner: (none) Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 8.0.1 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: -------------------------------------+------------------------------------- It seems that they should be outputted on stderr like other warnings. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13342> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #13412: Centralize the definition for GHC's libdir on Windows
by GHC 12 Mar '17

12 Mar '17

#13412: Centralize the definition for GHC's libdir on Windows ----------------------------------------+---------------------------- Reporter: Elieux | Owner: (none) Type: task | Status: new Priority: low | Milestone: Component: None | Version: 8.0.2 Keywords: | Operating System: Windows Architecture: Unknown/Multiple | Type of failure: Other Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------------+---------------------------- The location of GHC libraries on Windows is currently something like `$bindir/../lib` (because the whole distribution can be put anywhere on the filesystem, there are no absolute paths), but this information is hard-coded in multiple places instead of being defined in one place. To be clear, I mean only the relative path (`../lib`); the base still needs to be determined at runtime. I assume that tools that can rely on `ghc --info` (or equivalent) already do that. If there are any that don't, they should be fixed regardless. The build system, ghc, ghc-cabal, ghc-pkg, hsc2hs, haddock... should all be able to get the relative path from `configure`'s output. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13412> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #13265: perf-llvm build fails with "Too many sections: 123418 (>= 65280)"
by GHC 11 Mar '17

11 Mar '17

#13265: perf-llvm build fails with "Too many sections: 123418 (>= 65280)" -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 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: -------------------------------------+------------------------------------- Building current git head in the "BuildFlavour = perf-llvm", the build fails with: {{{ "inplace/bin/ghc-stage1" -o iserv/stage2_p/build/tmp/ghc-iserv-prof -hisuf \ p_hi -osuf p_o -hcsuf p_hc -static -prof -eventlog -O -H64m -fllvm -Wall \ -Werror -hide-all-packages -i -iiserv/src -iiserv/stage2_p/build \ -Iiserv/stage2_p/build -iiserv/stage2_p/build/iserv/autogen \ -Iiserv/stage2_p/build/iserv/autogen \ -optP-include -optPiserv/stage2_p/build/iserv/autogen/cabal_macros.h \ -package-id array-0.5.1.2 -package-id base-4.10.0.0 \ -package-id binary-0.8.4.1 -package-id bytestring-0.10.8.2 \ -package-id containers-0.5.7.1 -package-id deepseq-1.4.3.0 \ -package-id ghci-8.1 -package-id unix-2.7.2.1 -XHaskell2010 \ -threaded -optl-Wl,--export-dynamic -no-hs-main -no-user-package-db \ -rtsopts -Wnoncanonical-monad-instances -odir iserv/stage2_p/build \ -hidir iserv/stage2_p/build -stubdir iserv/stage2_p/build \ -static -prof -eventlog -O -H64m -fllvm -Wall -Werror -hide-all- packages \ -i -iiserv/src -iiserv/stage2_p/build \ -Iiserv/stage2_p/build -iiserv/stage2_p/build/iserv/autogen \ -Iiserv/stage2_p/build/iserv/autogen -optP-include \ -optPiserv/stage2_p/build/iserv/autogen/cabal_macros.h -package-id \ array-0.5.1.2 -package-id base-4.10.0.0 -package-id binary-0.8.4.1 \ -package-id bytestring-0.10.8.2 -package-id containers-0.5.7.1 \ -package-id deepseq-1.4.3.0 -package-id ghci-8.1 -package-id unix-2.7.2.1 \ -XHaskell2010 -threaded -optl-Wl,--export-dynamic -no-hs-main \ -no-user-package-db -rtsopts -Wnoncanonical-monad-instances \ iserv/stage2_p/build/Main.p_o iserv/stage2_p/build/GHCi/Utils.p_o \ iserv/stage2_p/build/cbits/iservmain.p_o Warning: -rtsopts and -with-rtsopts have no effect with -no-hs-main. Call hs_init_ghc() from your main() function to set these options. /usr/bin/ld: iserv/stage2_p/build/tmp/ghc-iserv-prof: Too many sections: 123418 (>= 65280) /usr/bin/ld: final link failed: Nonrepresentable section on output collect2: error: ld returned 1 exit status `gcc' failed in phase `Linker'. (Exit code: 1) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13265> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #12910: Mirror mingw signature files
by GHC 11 Mar '17

11 Mar '17

#12910: Mirror mingw signature files ----------------------------------------+--------------------------------- Reporter: bgamari | Owner: bgamari Type: task | Status: new Priority: high | Milestone: 8.2.1 Component: None | Version: 8.0.1 Keywords: | Operating System: POSIX Architecture: Unknown/Multiple | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------------+--------------------------------- We should really provide signatures alongside the mingw binaries and sources on `ghc.haskell.org`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12910> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #13068: GHC should not allow modules to define instances of abstract type classes
by GHC 11 Mar '17

11 Mar '17

#13068: GHC should not allow modules to define instances of abstract type classes -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 8.1 (Type checker) | Keywords: backpack | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC accepts Unknown/Multiple | invalid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- hs-boot files permit a type class to be given "abstractly", in which case any implementation of the type class is permissible. But it does not reject instances defined for such a class. {{{ -- A.hs-boot module A where class C a -- B.hs module B where import {-# SOURCE #-} A instance C Int where -- A.hs module A where import B class C a where f :: a -- Main.hs import A main = print (f :: Int) }}} I get this when I build with `--make`: {{{ ezyang@sabre:~$ ghc-head --make C.hs -fforce-recomp [1 of 4] Compiling A[boot] ( A.hs-boot, A.o-boot ) [2 of 4] Compiling B ( B.hs, B.o ) [3 of 4] Compiling A ( A.hs, A.o ) [4 of 4] Compiling Main ( C.hs, C.o ) Linking C ... ./B.o:(.data+0x0): undefined reference to `A_CZCC_con_info' collect2: error: ld returned 1 exit status }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13068> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #13393: GHC panic: No skolem info
by GHC 11 Mar '17

11 Mar '17

#13393: GHC panic: No skolem info -------------------------------------+------------------------------------- Reporter: sheyll | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: Compile-time (amd64) | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I got this GHC output: {{{ /home/sven/DEV_LBM/lbm-talk-flow/mediabus-fdk- aac/src/Data/MediaBus/Audio/FdkAac/Encoder.hs:124:8: error:ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-unknown-linux): No skolem info: k_ataY[sk] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} It happens when I omit a type signature. We do not have the resources right now to create a minimal test case, but I didn't want to ignore the request to file a bug report. This happens in a small project available on github, I commited the specific code and tagged the commit 'ghc-panic' and added a comment in the code. I doubt that is makes sense to paste the code here, so if anyone looks into this, please grab the code from github at: [https://github.com/lindenbaum/mediabus-fdk-aac/blob/ghc- panic/src/Data/MediaBus/Audio/FdkAac/Encoder.hs] Sorry if this bug report is not helpful. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13393> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

Re: [GHC] #1600: Optimisation: CPR the results of IO
by GHC 11 Mar '17

11 Mar '17

#1600: Optimisation: CPR the results of IO -------------------------------------+------------------------------------- Reporter: simonmar | Owner: (none) Type: task | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 6.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: #8598 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): Akio, I've fixed that wrapper issue. What's next on this ticket? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1600#comment:68> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0