April 2017 - ghc-tickets

[GHC] #13522: unhandled ELF relocation(RelA) type 19
by GHC 04 Apr '17

04 Apr '17

#13522: unhandled ELF relocation(RelA) type 19 -------------------------------------+------------------------------------- Reporter: fumieval | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 (Linking) | Keywords: | Operating System: Linux Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- When trying to build accelerate-llvm(http://hackage.haskell.org/package /accelerate-llvm-1.0.0.0) using GHC 8.0.2 (DYNAMIC_GHC_PROGRAMS = NO), I got the following errors: {{{ ghc: /usr/lib/llvm-4.0/lib/libLLVMAnalysis.a: unhandled ELF relocation(RelA) type 19 ghc: Could not on-demand load symbol '_ZN4llvm30initializeAAEvalLegacyPassPassERNS_12PassRegistryE' ghc: /usr/lib/llvm-4.0/lib/libLLVMAnalysis.a: unknown symbol `_ZN4llvm30initializeAAEvalLegacyPassPassERNS_12PassRegistryE' ghc: Could not on-demand load symbol 'LLVMVerifyModule' ghc: /home/alang/src/tsuru/trader/_mk/8.0.2/extsrc/install/lib/x86_64 -linux-ghc-8.0.2/llvm-hs-4.0.1.0-ENiuGLzCFNYJ02bgm8NYWg/HSllvm- hs-4.0.1.0-ENiuGLzCFNYJ02bgm8NYWg.o: unknown symbol `LLVMVerifyModule' ghc: unable to load package `llvm-hs-4.0.1.0' }}} Ubuntu 16.04.2 LTS (GNU/Linux 4.4.0-51-generic x86_64), gcc version 5.4.0 20160609, ld 2.26.1 This seems to happen in an other environment (ubuntu 14.04. ghc 8.0.2, gcc 4.8.4, ld 2.24). GitHub issue: https://github.com/AccelerateHS/accelerate/issues/369 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13522> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #12650: Too many warnigns about consistentCafInfo
by GHC 04 Apr '17

04 Apr '17

#12650: Too many warnigns about consistentCafInfo -------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: task | 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 GHC with debug on yiedls in many (97!) warnings of the form {{{ WARNING: file compiler/stgSyn/CoreToStg.hs, line 252 $fFunctorIOEnv True False }}} The code in question is {{{ -- Assertion helper: this checks that the CafInfo on the Id matches -- what CoreToStg has figured out about the binding's SRT. The -- CafInfo will be exact in all cases except when CorePrep has -- floated out a binding, in which case it will be approximate. consistentCafInfo :: Id -> GenStgBinding Var Id -> Bool consistentCafInfo id bind = WARN( not (exact || is_sat_thing) , ppr id <+> ppr id_marked_caffy <+> ppr binding_is_caffy ) safe where safe = id_marked_caffy || not binding_is_caffy exact = id_marked_caffy == binding_is_caffy id_marked_caffy = mayHaveCafRefs (idCafInfo id) binding_is_caffy = topStgBindHasCafRefs bind is_sat_thing = occNameFS (nameOccName (idName id)) == fsLit "sat" }}} It would be nice to have less warnings, to make them more useful. I don’t know if the warning is not right, or if there is something that can be fixed about the thing it is warning about. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12650> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #2507: quotation characters in error messages
by GHC 04 Apr '17

04 Apr '17

#2507: quotation characters in error messages -------------------------------------+------------------------------------- Reporter: Isaac Dupree | Owner: (none) Type: feature request | Status: closed Priority: lowest | Milestone: 7.8.1 Component: Compiler | Version: 6.8.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #2811,#3398 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by pacak): Benefits: Looks pretty. Disadvantages: If LANG is not set any attempts of reading ghc output by a haskell program you get this instead: `hGetContents: invalid argument (invalid byte sequence)` I think I've wasted much more time debugging this problem (in my scenario things are still broken) than actually looking at those pretty quotes. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2507#comment:37> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #12461: Document -O3
by GHC 04 Apr '17

04 Apr '17

#12461: Document -O3 -------------------------------------+------------------------------------- Reporter: crockeea | Owner: Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Documentation Unknown/Multiple | bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- GHC accepts the flag -O3, but I can't find any documentation on it. What does it do? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12461> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #13508: Clarify Some Restrictions on Compact Regions
by GHC 04 Apr '17

04 Apr '17

#13508: Clarify Some Restrictions on Compact Regions -------------------------------------+------------------------------------- Reporter: andrewthad | Owner: ezyang Type: bug | Status: new Priority: lowest | Milestone: Component: | Version: 8.1 libraries/compact | 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: -------------------------------------+------------------------------------- I've been reading over the docs for using compact regions here: [https ://phabricator-files.haskell.org/file/data/uqmgx4accjldseyd34xj/PHID-FILE- 3sihhhdhl4gaeszvphzb/Compact.hs]. I'm pretty excited about this feature, but there's one thing that the docs don't make totally clear. Can MutableByteArray# be placed in a compact region? Near the top, the docs specifically say that "object[s] with mutable pointer fields" cannot be compacted, but that doesn't rule out `MutableByteArray#`. Later down, in the docs for `compact`, this restriction is broadened to any mutable data. I would like to see the docs clarify this better. The existence of `resizeMutableByteArray#` makes me think that it should not possible, but I'd like to be sure. Thanks. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13508> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #13516: broken pipe when printing infinite list (maybe interrupt handler error?)
by GHC 04 Apr '17

04 Apr '17

#13516: broken pipe when printing infinite list (maybe interrupt handler error?) --------------------------------------+------------------------------- Reporter: Forec | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 8.0.2 Keywords: broken pipe | Operating System: Windows Architecture: x86_64 (amd64) | Type of failure: GHCi crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------------+------------------------------- {{{#!hs shell> ghc -e "mapM print [1..]" 1 2 3 ... 44435 Ctrl^Z <interactive>: user interrupt ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-unknown-mingw32): <stdout>: hFlush: resource vanished (Broken pipe) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13516> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #9596: Create monoidal category framework for arrow desugarer
by GHC 04 Apr '17

04 Apr '17

#9596: Create monoidal category framework for arrow desugarer -------------------------------------+------------------------------------- Reporter: spacekitteh | Owner: Type: task | spacekitteh Priority: normal | Status: new Component: GHC API | Milestone: 7.10.1 Keywords: | Version: Architecture: Unknown/Multiple | Operating System: Difficulty: Project (more | Unknown/Multiple than a week) | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- I'm going to put it into a GHC namespace (GHC.Arrows.Experimental, perhaps) and put instances for Arrow and such in there as well. In a later ticket I'll work on the desugarer, converting erverything into SMC combinators rather than Arrow combinators. The basic design is [blog.spacekitteh.moe/posts/new-monoidal-cats.html here] -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9596> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

Re: [GHC] #5793: make nofib awesome
by GHC 03 Apr '17

03 Apr '17

#5793: make nofib awesome -------------------------------------+------------------------------------- Reporter: dterei | Owner: michalt Type: task | Status: new Priority: normal | Milestone: ⊥ Component: NoFib benchmark | Version: suite | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: 9571 | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by mpickering): * owner: dterei => michalt Comment: This is Michal's domain currently. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5793#comment:33> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4374: Remove in-tree gmp
by GHC 03 Apr '17

03 Apr '17

#4374: Remove in-tree gmp -------------------------------------+------------------------------------- Reporter: igloo | Owner: (none) Type: task | Status: new Priority: normal | Milestone: Component: Build System | Version: 7.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #8156, #7655 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by mpickering): * related: #8156 => #8156, #7655 Comment: Also see #7655 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4374#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13332: Report unrecognized pragmas earlier
by GHC 03 Apr '17

03 Apr '17

#13332: Report unrecognized pragmas earlier -------------------------------------+------------------------------------- Reporter: crockeea | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Poor/confusing Unknown/Multiple | error message Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In the following example, I have a typo in the `UndecidableInstances` pragma (`LANGUAGE` is misspelled), however, GHC ''only'' reports that `UndecidableInstances` is required. This is very confusing, since it appears that I have enabled that pragma. {{{ {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE FlexibleInstances #-} {-# LANUGAGE UndecidableInstances #-} instance (Num [a]) => Num a }}} Only when I comment out the instance does GHC report that there is an unrecognized pragma, at which point it became obvious that there was a typo. It would be very helpful if GHC reported the warning about the unrecognized pragma before or at the same time as the error about needing `UndecidableInstances`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13332> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7