May 2018 - ghc-tickets

[GHC] #13091: Build broken on amd64 solaris 11
by GHC 02 May '18

02 May '18

#13091: Build broken on amd64 solaris 11 -------------------------------------+------------------------------------- Reporter: kgardas | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 8.0.2 Keywords: | Operating System: Solaris Architecture: x86_64 | Type of failure: Building GHC (amd64) | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{ ===--- building phase 1 gmake --no-print-directory -f ghc.mk phase=1 phase_1_builds libraries/hpc/ghc.mk:3: libraries/hpc/dist-boot/build/.depend-v.haskell: No such file or directory compiler/ghc.mk:584: compiler/stage1/build/.depend-v.haskell: No such file or directory "/opt/ghc-7.10.2-amd64/bin/ghc" -hisuf hi -osuf o -hcsuf hc -static -H32m -O -Wall -package-db libraries/bootstrapping.conf -hide-all- packages -i -iutils/hsc2hs/. -iutils/hsc2hs/dist/build -iutils/hsc2hs/dist/build/autogen -Iutils/hsc2hs/dist/build -Iutils/hsc2hs/dist/build/autogen -optP-include -optPutils/hsc2hs/dist/build/autogen/cabal_macros.h -package-id base-4.8.1.0-bcc57434d4c4ded429bd4c7561dc7931 -package-id containers-0.5.6.2-3bd9811190df2d727713a53a0942b5c9 -package-id directory-1.2.2.0-17006ecadb146c26f40f44f8704a6547 -package-id filepath-1.4.0.0-8fee9c13b5e42926cc01f6aa7c403c4b -package-id process-1.2.3.0-47082ea082854427d5ceb7c692692d3c -XHaskell2010 -no-user- package-db -rtsopts -odir utils/hsc2hs/dist/build -hidir utils/hsc2hs/dist/build -stubdir utils/hsc2hs/dist/build -c utils/hsc2hs/./Main.hs -o utils/hsc2hs/dist/build/Main.o "/opt/ghc-7.10.2-amd64/bin/ghc" -o utils/hsc2hs/dist/build/tmp/hsc2hs -hisuf hi -osuf o -hcsuf hc -static -H32m -O -Wall -package-db libraries/bootstrapping.conf -hide-all-packages -i -iutils/hsc2hs/. -iutils/hsc2hs/dist/build -iutils/hsc2hs/dist/build/autogen -Iutils/hsc2hs/dist/build -Iutils/hsc2hs/dist/build/autogen -optP- include -optPutils/hsc2hs/dist/build/autogen/cabal_macros.h -package-id base-4.8.1.0-bcc57434d4c4ded429bd4c7561dc7931 -package-id containers-0.5.6.2-3bd9811190df2d727713a53a0942b5c9 -package-id directory-1.2.2.0-17006ecadb146c26f40f44f8704a6547 -package-id filepath-1.4.0.0-8fee9c13b5e42926cc01f6aa7c403c4b -package-id process-1.2.3.0-47082ea082854427d5ceb7c692692d3c -XHaskell2010 -no-user- package-db -rtsopts -odir utils/hsc2hs/dist/build -hidir utils/hsc2hs/dist/build -stubdir utils/hsc2hs/dist/build -optl-optl- Wl,-m64 -static -H32m -O -Wall -package-db libraries/bootstrapping.conf -hide-all-packages -i -iutils/hsc2hs/. -iutils/hsc2hs/dist/build -iutils/hsc2hs/dist/build/autogen -Iutils/hsc2hs/dist/build -Iutils/hsc2hs/dist/build/autogen -optP-include -optPutils/hsc2hs/dist/build/autogen/cabal_macros.h -package-id base-4.8.1.0-bcc57434d4c4ded429bd4c7561dc7931 -package-id containers-0.5.6.2-3bd9811190df2d727713a53a0942b5c9 -package-id directory-1.2.2.0-17006ecadb146c26f40f44f8704a6547 -package-id filepath-1.4.0.0-8fee9c13b5e42926cc01f6aa7c403c4b -package-id process-1.2.3.0-47082ea082854427d5ceb7c692692d3c -XHaskell2010 -no-user- package-db -rtsopts utils/hsc2hs/dist/build/Main.o utils/hsc2hs/dist/build/C.o utils/hsc2hs/dist/build/Common.o utils/hsc2hs/dist/build/CrossCodegen.o utils/hsc2hs/dist/build/DirectCodegen.o utils/hsc2hs/dist/build/Flags.o utils/hsc2hs/dist/build/HSCParser.o utils/hsc2hs/dist/build/UtilsCodegen.o utils/hsc2hs/dist/build/Paths_hsc2hs.o ld: fatal: option '-optl-Wl,-m64' and option '-outils/hsc2hs/dist/build/tmp/hsc2hs' are multiple definitions collect2: error: ld returned 1 exit status gmake[1]: *** [utils/hsc2hs/dist/build/tmp/hsc2hs] Error 1 gmake: *** [all] Error 2 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13091> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

[GHC] #11352: Allow applying type to label
by GHC 02 May '18

02 May '18

#11352: Allow applying type to label -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 7.10.3 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: -------------------------------------+------------------------------------- {{{#!hs {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE OverloadedLabels #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE DataKinds #-} import GHC.TypeLits import GHC.OverloadedLabels instance IsLabel "answer" Int where fromLabel _ = 42 answer :: IsLabel "answer" a => a answer = #answer }}} The follow works: {{{#!hs >>> answer @Int 42 }}} but fails with a label: {{{#!hs >>> #answer @Int <interactive>:...:1: error: • Cannot not apply expression of type ‘t0’ to a visible type argument ‘Int’ • In the expression: #answer @Int In an equation for ‘it’: it = #answer @Int }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11352> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #15094: unknown symbol `___divmoddi4' error with clock on 32-bit windows
by GHC 02 May '18

02 May '18

#15094: unknown symbol `___divmoddi4' error with clock on 32-bit windows --------------------------------+--------------------------------- Reporter: simonmic | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.2 Keywords: | Operating System: Windows Architecture: x86 | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------+--------------------------------- I got this error when building with 32-bit ghc 8.4.2 on appveyor: {{{ -- While building custom Setup.hs for package hledger-lib-1.9.99 using: C:\sr\setup-exe-cache\i386-windows\Cabal- simple_Z6RU0evB_2.2.0.1_ghc-8.4.2.exe --builddir=.stack-work\dist\ba067387 build lib:hledger-lib --ghc-options " -ddump-hi -ddump-to-file" Process exited with code: ExitFailure 1 Logs have been written to: C:\pr\.stack-work\logs\hledger- lib-1.9.99.log Configuring hledger-lib-1.9.99... Preprocessing library for hledger-lib-1.9.99.. Building library for hledger-lib-1.9.99.. [ 1 of 48] Compiling Hledger.Utils.Color ( Hledger\Utils\Color.hs, .stack-work\dist\ba067387\build\Hledger\Utils\Color.o ) [ 2 of 48] Compiling Hledger.Utils.Test ( Hledger\Utils\Test.hs, .stack-work\dist\ba067387\build\Hledger\Utils\Test.o ) [ 3 of 48] Compiling Hledger.Utils.UTF8IOCompat ( Hledger\Utils\UTF8IOCompat.hs, .stack- work\dist\ba067387\build\Hledger\Utils\UTF8IOCompat.o ) [ 4 of 48] Compiling Hledger.Utils.Regex ( Hledger\Utils\Regex.hs, .stack-work\dist\ba067387\build\Hledger\Utils\Regex.o ) [ 5 of 48] Compiling Hledger.Utils.Tree ( Hledger\Utils\Tree.hs, .stack-work\dist\ba067387\build\Hledger\Utils\Tree.o ) [ 6 of 48] Compiling Hledger.Data.Types ( Hledger\Data\Types.hs, .stack-work\dist\ba067387\build\Hledger\Data\Types.o ) ghc.EXE: unable to load package `clock-0.7.2' ghc.EXE: | C:\sr\snapshots\673e3da0\lib\i386-windows- ghc-8.4.2\clock-0.7.2-Cf9UTsaN2AjEpBnoMpmgkU\HSclock-0.7.2-Cf9UTsaN2AjEpBnoMpmgkU.o: unknown symbol `___divmoddi4' Command exited with code 1 APPVEYOR_SAVE_CACHE_ON_ERROR is set to 'true' - cache will be updated }}} https://ci.appveyor.com/project/simonmichael/hledger/build/master-404 We think this is related: https://github.com/zfsonlinux/zfs/issues/6417 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15094> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #14970: GHC.Err.errorWithoutStackTrace produces stack trace when profiling enabled
by GHC 02 May '18

02 May '18

#14970: GHC.Err.errorWithoutStackTrace produces stack trace when profiling enabled -------------------------------------+------------------------------------- Reporter: rotaerk | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 8.2.2 libraries/base | Keywords: | Operating System: Linux Architecture: | Type of failure: Incorrect result Unknown/Multiple | at runtime Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- When you run 'error', it shows the usual stack trace. When you enable profiling with the -prof flag to ghc, and you run 'error', it shows the usual stack trace plus an additional prof-specific stack trace. When you run 'errorWithoutStackTrace' with profiling enabled, it strips the usual stack trace of 'error', but still displays the prof-specific stack trace. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14970> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #15110: Exitification abstracts over shadowed variables
by GHC 02 May '18

02 May '18

#15110: Exitification abstracts over shadowed variables -------------------------------------+------------------------------------- Reporter: nomeata | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.5 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: -------------------------------------+------------------------------------- Simon did some code review of `Exitify.hs` in https://ghc.haskell.org/trac/ghc/ticket/14152#comment:36 and he was onto something; the code is wrong after all: Consider this core term {{{ joinrec j (x :: Bool) (x :: Int) = if x == 0 then foo x else jump j True (x - 1) in … }}} where the two parameters `x` and `x` are different variables, but shadow each other (i.e. have the same unique). This is legal Core! But Exitification chooses the variables to abstract over in this line: {{{ -- The possible arguments of this exit join point -- No need for `sortQuantVars`, `captured` is already in dependency order abs_vars = map zap $ filter (`elemVarSet` fvs) captured }}} where `captured = [x::Bool,x::Int]` in this case, which would yield this code {{{ join exit (x :: Bool) (x :: Int) = foo x in joinrec j (x :: Bool) (x :: Int) = if x == 0 then jump exit (x::Bool) (x::Int) else jump j True (x - 1) in … }}} which is no longer type correct (or even “scope-correct”) any more, as it passes the `Int`-typed `x` as the `Bool` argument to `exit`. The conditions where this happens, i.e. such shadowing, is rather obscure so I did not even try to produce a lint error here. It also means that this is rather low severity, but I’ll still go and fix it. An application of `reverseNub` seems to be in order – or simply switching to keeping `captured` in a `DVarSet` rather than a list (in which case `sortQuantVars` would be required…) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15110> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #15102: GHC panic when compiling gi-pango-1.0.15
by GHC 01 May '18

01 May '18

#15102: GHC panic when compiling gi-pango-1.0.15 -------------------------------------+------------------------------------- Reporter: PaulJohnson | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.2.2 Keywords: | Operating System: Linux Architecture: | Type of failure: Compile-time Unknown/Multiple | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I got the following error message: {{{ ghc: panic! (the 'impossible' happened) (GHC version 8.2.2 for x86_64-unknown-linux): tcIfaceGlobal (local): not found You are in a maze of twisty little passages, all alike. While forcing the thunk for TyThing Layout which was lazily initialized by initIfaceCheck typecheckLoop, I tried to tie the knot, but I couldn't find Layout in the current type environment. If you are developing GHC, please read Note [Tying the knot] and Note [Type-checking inside the knot]. Consider rebuilding GHC with profiling for a better stack trace. Contents of current type environment: [] Call stack: CallStack (from HasCallStack): prettyCurrentCallStack, called at compiler/utils/Outputable.hs:1133:58 in ghc:Outputable callStackDoc, called at compiler/utils/Outputable.hs:1137:37 in ghc:Outputable pprPanic, called at compiler/iface/TcIface.hs:1696:23 in ghc:TcIface }}} A self-contained Stack project that demonstrates the problem is attached. I'm using Stack Version 1.6.3 x86_64 hpack-0.20.0 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15102> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #15108: Panic: collectNBinders
by GHC 01 May '18

01 May '18

#15108: Panic: collectNBinders -------------------------------------+------------------------------------- Reporter: cdisselkoen | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Profiling | Version: 8.4.2 Keywords: panic | Operating System: Linux collectNBinders | Architecture: | Type of failure: Compile-time Unknown/Multiple | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- GHC 8.4.2 panics with the error message `collectNBinders`, when compiling with profiling. This is a very similar bug to #15002, but although #15002 is fixed in 8.4.2, this panic persists. Steps to reproduce: `stack.yaml`: {{{ resolver: nightly-2018-04-30 }}} `bug.cabal`: {{{ name: bug version: 0.1.0.0 build-type: Simple cabal-version: >=1.10 library build-depends: base default-language: Haskell2010 executable bug main-is: Main.hs build-depends: base , bug default-language: Haskell2010 }}} `Main.hs`: {{{ module Main where main :: IO () main = do _ <- return $ getInt Circle return () newtype MyInt = MyInt Int data Shape = Circle | Square getInt :: Shape -> MyInt getInt sh = case sh of Circle -> let (MyInt i) = MyInt 3 in myInt i Square -> let (MyInt i) = MyInt 2 in myInt i where myInt = MyInt }}} Then run: {{{ $ stack ghc -- --version The Glorious Glasgow Haskell Compilation System, version 8.4.2 $ stack build --profile bug-0.1.0.0: build (lib + exe) Preprocessing library for bug-0.1.0.0.. Building library for bug-0.1.0.0.. Preprocessing executable 'bug' for bug-0.1.0.0.. Building executable 'bug' for bug-0.1.0.0.. [1 of 1] Compiling Main ( Main.hs, .stack-work/dist/x86_64 -linux-tinfo6-nopie/Cabal-2.2.0.1/build/bug/bug-tmp/Main.p_o ) ghc: panic! (the 'impossible' happened) (GHC version 8.4.2 for x86_64-unknown-linux): collectNBinders 1 Call stack: CallStack (from HasCallStack): callStackDoc, called at compiler/utils/Outputable.hs:1150:37 in ghc:Outputable pprPanic, called at compiler/coreSyn/CoreSyn.hs:2025:25 in ghc:CoreSyn Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug -- While building custom Setup.hs for package bug-0.1.0.0 using: /usr/local/home/<USER>/.stack/setup-exe-cache/x86_64-linux- tinfo6-nopie/Cabal-simple_mPHDZzAJ_2.2.0.1_ghc-8.4.2 --builddir=.stack- work/dist/x86_64-linux-tinfo6-nopie/Cabal-2.2.0.1 build lib:bug exe:bug --ghc-options " -ddump-hi -ddump-to-file -fdiagnostics-color=always" Process exited with code: ExitFailure 1 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15108> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12

[GHC] #11323: powerpc64: recomp015 fails with redundant linking
by GHC 01 May '18

01 May '18

#11323: powerpc64: recomp015 fails with redundant linking -------------------------------------+------------------------------------- Reporter: trommler | Owner: trommler Type: bug | Status: new Priority: normal | Milestone: 8.2.1 Component: Compiler | Version: 7.11 Keywords: | Operating System: Linux Architecture: powerpc64 | Type of failure: Compile-time Test Case: | performance bug driver/recomp15 | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{ [1 of 1] Compiling Main ( Main.hs, Main.o ) Linking Main ... Running main... +Linking Main ... Running main... }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11323> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3