May 2017 - ghc-tickets

[GHC] #13641: Compile error while performing stack upgrade
by GHC 02 May '17

02 May '17

#13641: Compile error while performing stack upgrade -------------------------------------+------------------------------------- Reporter: pisomojado | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 Keywords: | Operating System: MacOS X Architecture: x86_64 | Type of failure: Compile-time (amd64) | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Hello, I'm a very green user of this ticket system, as well as GHC, so apologies if I have not given useful details. I'm complying with the request of stack/ghc, as you can see down towards the bottom of my attempt to upgrade stack on my host. Any help would be appreciated. {{{ pisomojado@host:~$ stack upgrade Fetching package index ...remote: Counting objects: 1, done. remote: Total 1 (delta 0), reused 1 (delta 0), pack-reused 0 Unpacking objects: 100% (1/1), done. Fetched package index. aeson-1.0.2.1: configure aeson-1.0.2.1: build Cabal-1.24.2.0: configure Cabal-1.24.2.0: build ed25519-0.0.5.0: configure ed25519-0.0.5.0: build cryptohash-sha256-0.11.100.1: configure cryptohash-sha256-0.11.100.1: build cryptohash-sha256-0.11.100.1: copy/register http-client-0.5.3.3: configure http-client-0.5.3.3: build ed25519-0.0.5.0: copy/register optparse-applicative-0.13.0.0: configure optparse-applicative-0.13.0.0: build optparse-applicative-0.13.0.0: copy/register optparse-simple-0.0.3: configure optparse-simple-0.0.3: build optparse-simple-0.0.3: copy/register pid1-0.1.0.0: configure pid1-0.1.0.0: build http-client-0.5.3.3: copy/register http-client-tls-0.3.4: configure pid1-0.1.0.0: copy/register http-client-tls-0.3.4: build store-core-0.3: configure store-core-0.3: build http-client-tls-0.3.4: copy/register text-metrics-0.1.0: configure store-core-0.3: copy/register text-metrics-0.1.0: build th-orphans-0.13.1: configure th-orphans-0.13.1: build text-metrics-0.1.0: copy/register th-orphans-0.13.1: copy/register th-utilities-0.2.0.1: configure th-utilities-0.2.0.1: build th-utilities-0.2.0.1: copy/register store-0.3: configure store-0.3: build store-0.3: copy/register aeson-1.0.2.1: copy/register aeson-compat-0.3.6: configure aeson-compat-0.3.6: build binary-tagged-0.1.4.1: configure binary-tagged-0.1.4.1: build http-conduit-2.2.3: configure http-conduit-2.2.3: build aeson-compat-0.3.6: copy/register path-0.5.9: configure path-0.5.9: build http-conduit-2.2.3: copy/register persistent-2.6: configure persistent-2.6: build path-0.5.9: copy/register path-io-1.1.0: configure path-io-1.1.0: build binary-tagged-0.1.4.1: copy/register yaml-0.8.20: configure yaml-0.8.20: build path-io-1.1.0: copy/register yaml-0.8.20: copy/register hpack-0.17.0: configure hpack-0.17.0: build persistent-2.6: copy/register persistent-template-2.5.1.6: configure persistent-template-2.5.1.6: build persistent-sqlite-2.6: configure persistent-sqlite-2.6: build Cabal-1.24.2.0: copy/register hpack-0.17.0: copy/register hackage-security-0.5.2.2: configure hackage-security-0.5.2.2: build persistent-template-2.5.1.6: copy/register hackage-security-0.5.2.2: copy/register persistent-sqlite-2.6: copy/register stack-1.4.0: configure [1 of 1] Compiling Main ( /private/var/folders/vy/td7mc44s36g6b_wvdz7258rw0000gn/T/stack- upgrade4706/stack-1.4.0/Setup.hs, /private/var/folders/vy/td7mc44s36g6b_wvdz7258rw0000gn/T/stack- upgrade4706/stack-1.4.0/.stack- work/dist/x86_64-osx/Cabal-1.22.5.0/setup/Main.o ) Linking /private/var/folders/vy/td7mc44s36g6b_wvdz7258rw0000gn/T/stack- upgrade4706/stack-1.4.0/.stack- work/dist/x86_64-osx/Cabal-1.22.5.0/setup/setup ... Configuring stack-1.4.0... stack-1.4.0: build Preprocessing library stack-1.4.0... [ 1 of 124] Compiling Text.PrettyPrint.Leijen.Extended ( src/Text/PrettyPrint/Leijen/Extended.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Text/PrettyPrint/Leijen/Extended.o ) [ 2 of 124] Compiling Hackage.Security.Client.Repository.HttpLib.HttpClient ( src/Hackage/Security/Client/Repository/HttpLib/HttpClient.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Hackage/Security/Client/Repository/HttpLib/HttpClient.o ) [ 3 of 124] Compiling Stack.Options.ScriptParser ( src/Stack/Options/ScriptParser.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Stack/Options/ScriptParser.o ) [ 4 of 124] Compiling Stack.Ghci.Script ( src/Stack/Ghci/Script.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/Stack/Ghci/Script.o ) [ 5 of 124] Compiling Stack.FileWatch ( src/Stack/FileWatch.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Stack/FileWatch.o ) [ 6 of 124] Compiling System.Process.PagerEditor ( src/System/Process/PagerEditor.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/System/Process/PagerEditor.o ) [ 7 of 124] Compiling System.Process.Log ( src/System/Process/Log.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/System/Process/Log.o ) [ 8 of 124] Compiling Paths_stack ( .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/autogen/Paths_stack.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Paths_stack.o ) [ 9 of 124] Compiling Path.Find ( src/Path/Find.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Path/Find.o ) [ 10 of 124] Compiling Path.Extra ( src/Path/Extra.hs, .stack- work/dist/x86_64-osx/Cabal-1.22.5.0/build/Path/Extra.o ) [ 11 of 124] Compiling System.Process.Read ( src/System/Process/Read.hs, .stack-work/dist/x86_64-osx/Cabal-1.22.5.0/build/System/Process/Read.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.10.3 for x86_64-apple-darwin): Loading temp shared object failed: dlopen(/var/folders/vy/td7mc44s36g6b_wvdz7258rw0000gn/T/ghc7482_0/libghc_68.dylib, 5): no suitable image found. Did find: /var/folders/vy/td7mc44s36g6b_wvdz7258rw0000gn/T/ghc7482_0/libghc_68.dylib: malformed mach-o: load commands size (49672) > 32768 Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Completed 26 action(s). -- While building package stack-1.4.0 using: /private/var/folders/vy/td7mc44s36g6b_wvdz7258rw0000gn/T/stack- upgrade4706/stack-1.4.0/.stack- work/dist/x86_64-osx/Cabal-1.22.5.0/setup/setup --builddir=.stack- work/dist/x86_64-osx/Cabal-1.22.5.0 build lib:stack exe:stack --ghc- options " -ddump-hi -ddump-to-file" Process exited with code: ExitFailure 1 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13641> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #10230: multiline literals doesn't work with CPP extension.
by GHC 02 May '17

02 May '17

#10230: multiline literals doesn't work with CPP extension. -------------------------------------+------------------------------------- Reporter: qnikst | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- If LANGUAGE CPP is enabled then multiline literals stops working. Steps to reproduce. 1. write a program with multiline literal: cat 1.hs {{{#!hs test = "mutli\ \line" main = putStrLn test }}} 2. it should compile without CPP: ghc 1.hs [1 of 1] Compiling Main ( 1.hs, 1.o ) Linking 1 ... 3. compile it with CPP extension Expected result: program compiles {{{ ghc 1.hs [1 of 1] Compiling Main ( 1.hs, 1.o ) Linking 1 ... }}} Actual result: compilation breaks {{{ ghc -XCPP 1.hs [1 of 1] Compiling Main ( 1.hs, 1.o ) [flags changed] 1.hs:1:18: lexical error in string/character literal at character 'l' }}} At least ghc-7.8.4 and ghc-7.10 are affected. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10230> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #13635: Incorrect result at runtime with list comprehensions in that case
by GHC 02 May '17

02 May '17

#13635: Incorrect result at runtime with list comprehensions in that case -------------------------------------+------------------------------------- Reporter: vanto | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect result Unknown/Multiple | at runtime Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- 1. With GHC 8.0.2\\ {{{ Prelude> [x | x <- [_, _], False] <interactive>:1:12: error: * Found hole: _ :: t Where: `t' is a rigid type variable bound by the inferred type of it :: [t] at <interactive>:1:1 * In the expression: _ In the expression: [_, _] In a stmt of a list comprehension: x <- [_, _] * Relevant bindings include it :: [t] (bound at <interactive>:1:1) <interactive>:1:15: error: * Found hole: _ :: t Where: `t' is a rigid type variable bound by the inferred type of it :: [t] at <interactive>:1:1 * In the expression: _ In the expression: [_, _] In a stmt of a list comprehension: x <- [_, _] * Relevant bindings include it :: [t] (bound at <interactive>:1:1) Prelude>\\ }}} This result makes no sense here.\\ The result will always be the empty list [].\\ 2. With GHC 7.6.3\\ {{{ Prelude> [x | x <- [_, _], False] <interactive>:2:12: Pattern syntax in expression context: _ <interactive>:2:12: Pattern syntax in expression context: _ Prelude> }}} This result also makes no sense here.\\ Similarly this result will always be the empty list []. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13635> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #13357: Check demand signatures for catchRetry# and catchSTM#
by GHC 02 May '17

02 May '17

#13357: Check demand signatures for catchRetry# and catchSTM# -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: task | Status: new Priority: normal | Milestone: 8.2.1 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: -------------------------------------+------------------------------------- #13330 was fixed by giving `catch#` a different (simpler and more honest) demand signature. Are the signatures for `catchRetry#` and `catchSTM#` similarly problematic? We need to check. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13357> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #2893: Implement "Quantified contexts" proposal
by GHC 02 May '17

02 May '17

#2893: Implement "Quantified contexts" proposal -------------------------------------+------------------------------------- Reporter: porges | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 6.10.1 Resolution: | Keywords: proposal Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by baramoglo): * cc: baramoglo (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2893#comment:25> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #12913: Port SplitSections to Windows
by GHC 02 May '17

02 May '17

#12913: Port SplitSections to Windows -------------------------------------+------------------------------------- Reporter: olsner | Owner: (none) Type: task | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Linking) | Resolution: | Keywords: Operating System: Windows | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #8405 | Differential Rev(s): Phab:D3382 Wiki Page: | Phab:D3383 Phab:D3523 -------------------------------------+------------------------------------- Changes (by Phyx-): * owner: Phyx- => (none) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12913#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #12913: Port SplitSections to Windows
by GHC 02 May '17

02 May '17

#12913: Port SplitSections to Windows -------------------------------------+------------------------------------- Reporter: olsner | Owner: Phyx- Type: task | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Linking) | Resolution: | Keywords: Operating System: Windows | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #8405 | Differential Rev(s): Phab:D3382 Wiki Page: | Phab:D3383 Phab:D3523 -------------------------------------+------------------------------------- Changes (by Phyx-): * owner: (none) => Phyx- * differential: Phab:D3382 Phab:D3383 => Phab:D3382 Phab:D3383 Phab:D3523 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12913#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13515: Unexpected failure of T11223_simple_duplicate_lib on 32-bit Windows
by GHC 01 May '17

01 May '17

#13515: Unexpected failure of T11223_simple_duplicate_lib on 32-bit Windows --------------------------------+--------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.2.1 Component: Compiler | Version: 8.1 Keywords: | Operating System: Windows Architecture: x86 | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------+--------------------------------- The `T11223_simple_duplicate_lib` test seems to fail on 32-bit Windows with, {{{#!patch diff --git a/testsuite/tests/rts/T11223/T11223_simple_duplicate_lib .stderr-mingw32 b/testsuite/tests/rts/T11223/T11223_simple_duplicate_lib .stderr-mingw32 index 4d4656f..5fdd70f 100644 --- a/testsuite/tests/rts/T11223/T11223_simple_duplicate_lib.stderr- mingw32 +++ b/testsuite/tests/rts/T11223/T11223_simple_duplicate_lib.stderr- mingw32 @@ -1,15 +1,15 @@ GHC runtime linker: fatal error: I found a duplicate definition for symbol - a + _a whilst processing object file - E:\ghc- dev\msys64\home\Tamar\ghc\testsuite\tests\rts\T11223\T11223_simple_duplicate_lib.run\libfoo_dup_lib.a + C:\msys64\home\ben\ghc\testsuite\tests\rts\T11223\T11223_simple_duplicate_lib.run\libfoo_dup_lib.a The symbol was previously defined in - E:\ghc- dev\msys64\home\Tamar\ghc\testsuite\tests\rts\T11223\T11223_simple_duplicate_lib.run\bar_dup_lib.o + C:\msys64\home\ben\ghc\testsuite\tests\rts\T11223\T11223_simple_duplicate_lib.run\bar_dup_lib.o This could be caused by: * Loading two different object files which export the same symbol * Specifying the same object file twice on the GHCi command line * An incorrect `package.conf' entry, causing some object to be loaded twice. -ghc-stage2.exe: ^^ Could not load 'c', dependency unresolved. See top entry above. +ghc-stage2.exe: ^^ Could not load '_c', dependency unresolved. See top entry above. ByteCodeLink: can't find label }}} While this difference looks innocuous enough, I can't recall anything in recent history that would cause such a change so I want to make sure we have a record of it. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13515> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #2893: Implement "Quantified contexts" proposal
by GHC 01 May '17

01 May '17

#2893: Implement "Quantified contexts" proposal -------------------------------------+------------------------------------- Reporter: porges | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: ⊥ Component: Compiler | Version: 6.10.1 Resolution: | Keywords: proposal Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by dfeuer): Replying to [comment:12 heisenbug]: > Copying a use-case from #9196: > > My point is that I'd like to have polymorphic (multiparameter) constraints, where the param universally abstracted over is a non-`*` kind, that is an ADT. > > See: > {{{ > class Foo a where ... > data Bar (b :: Bool) x = ... > instance Foo (Bar True x) where ... > instance Foo (Bar False x) where ... > > test :: (forall b. Foo (Bar b x)) =>... > }}} > Here the `forall` condition is satisfiable, as all `Bool` alternatives are covered with `instance` declarations. Actually, the `forall` condition is ''not'' satisfiable. The smaller problem is that stuck type families like `Any` can inhabit `Bool` without being `'True` or `'False`. The bigger problem is that Haskell's "logic" is inherently constructive. The claim that for any type `b :: Bool` there exists some instance `Foo b x` does not translate to a way to actually get the dictionary representing that instance. So I think your beautiful dream is, sadly, almost certainly unrealizable. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2893#comment:24> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8443: cannot find normal object file when compiling TH code
by GHC 01 May '17

01 May '17

#8443: cannot find normal object file when compiling TH code ----------------------------+---------------------------------------------- Reporter: snoyberg | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: GHC rejects valid program (amd64) | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | ----------------------------+---------------------------------------------- Unfortunately, I haven't been able to whittle this down to a smaller test case. In order to reproduce, just run `cabal install yesod-core-1.2.4.5 --enable-tests`. The result is: {{{ test/YesodCoreTest/NoOverloadedStrings.hs:16:26: cannot find normal object file ‛dist/build/tests/tests- tmp/YesodCoreTest/NoOverloadedStringsSub.dyn_o’ while linking an interpreted expression }}} Tested using: The Glorious Glasgow Haskell Compilation System, version 7.7.20131012 cabal-install version 1.18.0.2 using version 1.18.0 of the Cabal library I'm on Ubuntu 12.04 64-bit. Compiling with GHC 7.6.3 and 7.4.2 works correctly. Let me know if there's any other information I can provide. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8443> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5