- ghc-tickets - Haskell.org

[GHC] #16001: hadrian doesn't support setting intree gmp configuration explicitly
by GHC 05 Mar '19

05 Mar '19

#16001: hadrian doesn't support setting intree gmp configuration explicitly -------------------------------------+------------------------------------- Reporter: carter | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: Build System | Version: 8.6.2 (Hadrian) | 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: -------------------------------------+------------------------------------- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16001> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #16214: Hadrian prof flavour doesn't build a compiler which you can profile
by GHC 05 Mar '19

05 Mar '19

#16214: Hadrian prof flavour doesn't build a compiler which you can profile -------------------------------------+------------------------------------- Reporter: mpickering | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 8.6.3 (Hadrian) | Keywords: newcomer | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- After building a compiler with the `prof` flavour. I tried to use it with the `-xc` option. {{{ ./hadrian/build.sh --flavour=prof _build/stage1/bin/ghc A.hs +RTS -xc }}} But apparently {{{ ghc: the flag -xc requires the program to be built with -prof }}} So it seems that the `prof` flavour is broken. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16214> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #16202: Hadrian install script doesn't update location of haddockHTMLs and haddockInterfaces
by GHC 05 Mar '19

05 Mar '19

#16202: Hadrian install script doesn't update location of haddockHTMLs and haddockInterfaces -------------------------------------+------------------------------------- Reporter: harpocrates | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 8.6.3 (Hadrian) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Installing GHC Unknown/Multiple | failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- This is to track part two of the plan here: https://gitlab.haskell.org/ghc/ghc/merge_requests/50#note_1808. When installing a bindist, the make system runs `ghc-cabal` to reconfigure packages and regenerate the package DB. Hadrian, on the other hand, seems to just be copying the package DB as is to its install location. This is mostly OK since most paths only need to be relative to package root. However, it breaks down for the `haddock-interfaces` and `haddock-html` fields, (esp. since documentation can be installed in a completely different location). The following interaction demonstrates the problem. Note how `ghc-pkg` is pointing us to a directory that doesn't even exist! {{{ $ ./hadrian/build.sh -c -j binary-dist $ mv _build/bindist/ghc-8.7.20190117-x86_64-apple-darwin.tar.xz /Users/alec/scratch $ cd /Users/alec/scratch $ tar xpvf ghc-8.7.20190117-x86_64-apple-darwin.tar.xz $ ./configure --prefix=/Users/alec/scratch && make install $ ./bin/ghc-pkg field base haddock-html haddock-html: /Users/alec/scratch/lib/../../docs/html/libraries/base $ ls /Users/alec/scratch/lib/../../docs/html/libraries/base ls: /Users/alec/scratch/lib/../../docs/html/libraries/base: No such file or directory }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16202> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #16218: T16180 is broken on Darwin
by GHC 05 Mar '19

05 Mar '19

#16218: T16180 is broken on Darwin ----------------------------------------+--------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: highest | Milestone: 8.8.1 Component: Compiler | Version: 8.6.3 Keywords: | Operating System: MacOS X Architecture: Unknown/Multiple | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------------+--------------------------------- Unfortunately the test `T16180` snuck in to the tree in with commit f035504b, just before I had a chance to merge !137, making Darwin a mandatory-green platform. Consequently we didn't catch that this test is broken on Darwin. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16218> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #15593: QuantifiedConstraints: trouble with type family
by GHC 04 Mar '19

04 Mar '19

#15593: QuantifiedConstraints: trouble with type family -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.5 Keywords: | Operating System: Unknown/Multiple QuantifiedConstraints, | ConstraintKinds | Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!hs {-# Language KindSignatures, TypeFamilies, QuantifiedConstraints, FlexibleInstances #-} import Data.Kind data TreeF a b = T0 | T1 a | T2 b b -- from Data.Reify class MuRef (a :: Type) where type DeRef a :: Type -> Type class (forall xx. DeRef (tree xx) ~ TreeF xx) => MuRef1 tree instance (forall xx. DeRef (tree xx) ~ TreeF xx) => MuRef1 tree }}} fails with {{{ $ ~/code/qc-ghc/inplace/bin/ghc-stage2 --interactive -ignore-dot-ghci 351.hs GHCi, version 8.5.20180128: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( 351.hs, interpreted ) 351.hs:12:10: error: • Couldn't match type ‘DeRef (tree xx)’ with ‘TreeF xx’ arising from the superclasses of an instance declaration • In the instance declaration for ‘MuRef1 tree’ | 12 | instance (forall xx. DeRef (tree xx) ~ TreeF xx) => MuRef1 tree | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Failed, no modules loaded. Prelude> }}} ---- What I want to write: {{{#!hs {-# Language KindSignatures, TypeFamilies, QuantifiedConstraints, FlexibleInstances, DataKinds, TypeInType, MultiParamTypeClasses, UndecidableInstances, AllowAmbiguousTypes #-} import Data.Kind -- from Data.Reify class MuRef (a :: Type) where type DeRef a :: Type -> Type type T = Type type TT = T -> T type TTT = T -> TT class (forall xx. (MuRef (f xx), DeRef (f xx) ~ deRef1 f xx)) => MuRef1 (f :: TT) (deRef1 :: TT -> TTT) instance (forall xx. (MuRef (f xx), DeRef (f xx) ~ deRef1 f xx)) => MuRef1 (f :: TT) (deRef1 :: TT -> TTT) }}} where I am trying to capture [https://hackage.haskell.org/package/folds-0.7.4/docs/src/Data-Fold- Internal.html MuRef1 & DeRef1] {{{#!hs class MuRef1 (f :: TT) where type DeRef1 f :: TTT muRef1 :: proxy (f a) -> Dict (MuRef (f a), DeRef (f a) ~ DeRef1 f a) }}} ---- Workarounds: I think splitting the class alias & quantification does the job (I haven't tested it but it compiles), I want to know if the first two programs are meant to compile or not {{{#!hs {-# Language KindSignatures, TypeFamilies, QuantifiedConstraints, FlexibleInstances, DataKinds, TypeInType, MultiParamTypeClasses, UndecidableInstances, AllowAmbiguousTypes, FlexibleContexts #-} -- .. class (MuRef (f xx), DeRef (f xx) ~ deRef1 f xx) => MuRef1_ f deRef1 xx instance (MuRef (f xx), DeRef (f xx) ~ deRef1 f xx) => MuRef1_ f deRef1 xx class (forall xx. cls xx) => Forall cls instance (forall xx. cls xx) => Forall cls class Forall (MuRef1_ f deRef1) => MuRef1 f deRef1 instance Forall (MuRef1_ f deRef1) => MuRef1 f deRef1 }}} or as a regular type/constraint synonym (at the loss of partial application) {{{#!hs type MuRef1 f deRef1 = (forall xx. (MuRef (f xx), DeRef (f xx) ~ deRef1 f xx)) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15593> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #16318: Explicitly passing -package-env causes "Loaded package environment from .ghc.environment" message to be printed twice
by GHC 04 Mar '19

04 Mar '19

#16318: Explicitly passing -package-env causes "Loaded package environment from .ghc.environment" message to be printed twice -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 8.6.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: -------------------------------------+------------------------------------- {{{ $ /opt/ghc/8.6.3/bin/ghc -package-env .ghc.environment.x86_64-linux-8.6.3 -e "putStrLn \"Hello\"" Loaded package environment from .ghc.environment.x86_64-linux-8.6.3 Loaded package environment from .ghc.environment.x86_64-linux-8.6.3 Hello }}} This is a regression from GHC 8.4.4: {{{ $ /opt/ghc/8.4.4/bin/ghc -package-env .ghc.environment.x86_64-linux-8.4.4 -e "putStrLn \"Hello\"" Loaded package environment from .ghc.environment.x86_64-linux-8.4.4 Hello }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16318> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #15853: Unregisterised GHC panics when building test cgrun018
by GHC 04 Mar '19

04 Mar '19

#15853: Unregisterised GHC panics when building test cgrun018 -------------------------------------+------------------------------------- Reporter: iliastsi | Owner: (none) Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 8.4.3 (CodeGen) | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash or panic Test Case: cgrun018 | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- An unregisterised ghc-8.4 on amd64 panics when building test cgrun018. {{{ Compile failed (exit code 1) errors were: [1 of 1] Compiling Main ( cgrun018.hs, cgrun018.o ) ghc-stage2: panic! (the 'impossible' happened) (GHC version 8.4.4 for x86_64-unknown-linux): pprStatics: float F32 F32 F32 F32 F32 F32 F32 F32 F32 F32 F32 Call stack: CallStack (from HasCallStack): callStackDoc, called at compiler/utils/Outputable.hs:1150:37 in ghc:Outputable pprPanic, called at compiler/cmm/PprC.hs:525:5 in ghc:PprC }}} We have seen this error while building packages for Debian on 64-bit architectures where GHC is unregisterised (e.g., mips64el, s390x): [https://buildd.debian.org/status/fetch.php?pkg=haskell- gloss&arch=mips64el&ver=1.13.0.1-1&stamp=1540810998&raw=0 gloss on mips64el], [https://buildd.debian.org/status/fetch.php?pkg=haskell- juicypixels&arch=s390x&ver=3.2.9.5-3&stamp=1540808360&raw=0 juicypixels on s390x] -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15853> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #16379: JuicyPixels build panics on s390x ghc-8.4.4
by GHC 04 Mar '19

04 Mar '19

#16379: JuicyPixels build panics on s390x ghc-8.4.4 -------------------------------------+------------------------------------- Reporter: juhpetersen | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.4.4 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: -------------------------------------+------------------------------------- When I try to build JuicyPixels on Fedora s390x Linux with ghc-8.4.4 I get a compiler panic: {{{ [ 9 of 30] Compiling Codec.Picture.ColorQuant ( src/Codec/Picture/ColorQuant.hs, dist/build/Codec/Picture/ColorQuant.o ) BUILDSTDERR: src/Codec/Picture/ColorQuant.hs:123:26: warning: [-Woverflowed-literals] BUILDSTDERR: Literal 256 is out of the GHC.Word.Word8 range 0..255 BUILDSTDERR: | BUILDSTDERR: 123 | (PixelRGB8 (r .&. (256 - dr)) (g .&. (256 - dg)) (b .&. (256 - db))) BUILDSTDERR: | ^^^ BUILDSTDERR: src/Codec/Picture/ColorQuant.hs:123:45: warning: [-Woverflowed-literals] BUILDSTDERR: Literal 256 is out of the GHC.Word.Word8 range 0..255 BUILDSTDERR: | BUILDSTDERR: 123 | (PixelRGB8 (r .&. (256 - dr)) (g .&. (256 - dg)) (b .&. (256 - db))) BUILDSTDERR: | ^^^ BUILDSTDERR: src/Codec/Picture/ColorQuant.hs:123:64: warning: [-Woverflowed-literals] BUILDSTDERR: Literal 256 is out of the GHC.Word.Word8 range 0..255 BUILDSTDERR: | BUILDSTDERR: 123 | (PixelRGB8 (r .&. (256 - dr)) (g .&. (256 - dg)) (b .&. (256 - db))) BUILDSTDERR: | ^^^ BUILDSTDERR: ghc: panic! (the 'impossible' happened) BUILDSTDERR: (GHC version 8.4.4 for s390x-ibm-linux): BUILDSTDERR: pprStatics: float BUILDSTDERR: F32 BUILDSTDERR: F32 BUILDSTDERR: I32 BUILDSTDERR: Call stack: BUILDSTDERR: CallStack (from HasCallStack): BUILDSTDERR: callStackDoc, called at compiler/utils/Outputable.hs:1150:37 in ghc:Outputable BUILDSTDERR: pprPanic, called at compiler/cmm/PprC.hs:525:5 in ghc:PprC BUILDSTDERR: Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} I would test on ghc-8.6.3 too, but I haven't been able to build ghc-8.6 yet on s390x (unregisterized on unregisterized): see issue 15913. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16379> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #16383: ghc: internal error: getMBlock: mmap: Invalid argument (gi-gtk on armv7)
by GHC 04 Mar '19

04 Mar '19

#16383: ghc: internal error: getMBlock: mmap: Invalid argument (gi-gtk on armv7) -------------------------------------+------------------------------------- Reporter: juhpetersen | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.4.4 Keywords: | Operating System: Linux Architecture: arm | Type of failure: Compile-time | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- When trying to build gi-gtk-3.0.26 with ghc-8.4.4 on Fedora 30 armv7hl, ghc crashes like this: {{{ [484 of 498] Compiling GI.Gtk.Functions ( GI/Gtk/Functions.hs, dist/build/GI/Gtk/Functions.o ) BUILDSTDERR: ghc: internal error: getMBlock: mmap: Invalid argument BUILDSTDERR: (GHC version 8.4.4 for arm_unknown_linux) BUILDSTDERR: Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug BUILDSTDERR: /var/tmp/rpm-tmp.McmHQu: line 52: 5271 Aborted (core dumped) ./Setup build }}} https://koji.fedoraproject.org/koji/taskinfo?taskID=33138502 gi-gtk built fine before on ghc-8.2.2 armv7. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16383> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #15960: Using -g causes differences in generated core.
by GHC 04 Mar '19

04 Mar '19

#15960: Using -g causes differences in generated core. -------------------------------------+------------------------------------- Reporter: AndreasK | 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: -------------------------------------+------------------------------------- For nofib/shootout/fannkuch-redux: Normal results {{{ > /e/ghc-8.6.1/bin/ghc.exe Main.hs -O2 -XBangPatterns -fforce-recomp -ddump-simpl -dsuppress-all -dsuppress-uniques | less ... Result size of Tidy Core = {terms: 2,747, types: 2,736, coercions: 100, joins: 50/73} ... }}} {{{ > /e/ghc-8.6.1/bin/ghc.exe Main.hs -O2 -XBangPatterns -fforce-recomp -ddump-simpl -dsuppress-all -dsuppress-uniques -g | less ... Result size of Tidy Core = {terms: 2,654, types: 2,557, coercions: 100, joins: 38/71} ... }}} There are also structural differences in the generated code. I've hit the issue with a tree based on head as well so likely happening there as well. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15960> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8