October 2016 - ghc-tickets

[GHC] #10771: Installation of Ivory - Static flags have not been initialised
by GHC 14 Nov '16

14 Nov '16

#10771: Installation of Ivory - Static flags have not been initialised -------------------------------------+------------------------------------- Reporter: stiege | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: x86_64 | Type of failure: Runtime crash (amd64) | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Unfortunately I'm a Haskell newbie and can't provide very good detail for this report (I struggled to pass the Captcha!). However I will attach the output from a "make all" from the Ivory repository: https://github.com/GaloisInc/ivory.git Commit: '7ecea5839898b65430ca298fd1f3af4d2272e3fb'. Basically from what I can see, looks like it didn't work, output ends with: examples\Coroutine.hs:26:50: Warning: Unticked promoted constructor: `:->'. Use ':-> instead of `:->'. ghc.exe: panic! (the 'impossible' happened) (GHC version 7.10.2 for x86_64-unknown-mingw32): Static flags have not been initialised! Please call GHC.parseStaticFlags early enough. Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug ghc.exe: warning: _tzset from msvcrt is linked instead of __imp__tzset -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10771> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #12772: (type f1 ~> f2 = forall a. f1 a -> f2 a) to core libraries
by GHC 14 Nov '16

14 Nov '16

#12772: (type f1 ~> f2 = forall a. f1 a -> f2 a) to core libraries -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature | Status: new request | Priority: normal | Milestone: Component: Build System | 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: -------------------------------------+------------------------------------- Is this something that belongs to core libraries (it has other names in the wild, `:~>`, `Natural`..) {{{#!hs type f1 ~> f2 = forall a. f1 a -> f2 a }}} I use it all the time and end up redefining it (it is such a short type that maybe it's not worth it) {{{#!hs unLift :: Applicative f => Lift f a -> f a mapLift :: (f a -> g a) -> (Lift f a -> Lift g a) mapFreeT :: (Functor f, Functor m) => (forall a. m a -> m' a) -> (FreeT f m a -> FreeT f m' a) mapFreeT :: (Functor f, Functor m) => (forall a. m a -> m' a) -> (FreeT f m a -> FreeT f m' a) vmap :: (a -> a') -> (Vec a n -> Vec a' n) liftIO :: MonadIO m => IO a -> m a hoist :: Monad m => (forall a. m a -> n a) -> (t m b -> t n b) }}} becomes {{{#!hs unLift :: Applicative f => Lift f ~> f mapLift :: (f ~> g) -> (Lift f ~> Lift g) mapFreeT :: (Functor f, Functor m) => (m ~> m') -> (FreeT f m ~> FreeT f m') vmap :: (a -> a') -> (Vec a ~> Vec a') liftIO :: MonadIO m => IO ~> m hoist :: Monad m => (m ~> n) -> (t m ~> t n) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12772> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #12773: Data.Functor.Classes instances for ZipList
by GHC 14 Nov '16

14 Nov '16

#12773: Data.Functor.Classes instances for ZipList -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: feature | Status: new request | Priority: low | Milestone: Component: Core | Version: 8.0.1 Libraries | 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: -------------------------------------+------------------------------------- Since `Data.Functor.Classes` is now maintained by the CLC, how about instances from [https://hackage.haskell.org/package/prelude- extras-0.4.0.1/src/src/Prelude/Extras.hs prelude-extras], at least instances for `ZipList` {{{#!hs instance Eq1 ZipList instance Ord1 ZipList instance Show1 ZipList }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12773> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #11660: Remove Type pretty-printer in favor of IfaceType
by GHC 13 Nov '16

13 Nov '16

#11660: Remove Type pretty-printer in favor of IfaceType -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: task | Status: new 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: -------------------------------------+------------------------------------- The `Type` pretty-printer has a fair amount of code in common with the pretty-printer for `IfaceType`. Moreover, both cases handle a number of special cases. With the introduction of `-fprint-explicit-runtime-reps` (Phab:D1961), there is now an inconsistency between these two. Let's resolve this inconsistency by eliminating the `Type` pretty-printer in favor of using the `IfaceType` printer. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11660> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 20

[GHC] #12021: Type variable escapes its scope
by GHC 11 Nov '16

11 Nov '16

#12021: Type variable escapes its scope -------------------------------------+------------------------------------- Reporter: ttuegel | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1-rc3 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: GHC rejects (amd64) | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In the following example, I believe a type variable is incorrectly escaping its scope. The example produces the error: {{{ Bug.hs:20:20: error: • Expected kind ‘Cat k’, but ‘(:-)’ has kind ‘Constraint -> Constraint -> *’ • In the first argument of ‘Iso’, namely ‘(:-)’ In the type signature: functor :: forall a b. Iso (:-) (:-) (Ob (Dom f) a) (Ob (Dom f) b) (Ob (Cod f) (f a)) (Ob (Cod f) (f b)) In the class declaration for ‘Functor’ }}} If the definition of `Iso` is changed from {{{#!hs type Iso (c :: Cat k) (d :: Cat k) s t a b = forall p. (Cod p ~ Nat d (->)) => p a b -> p s t }}} to {{{#!hs type Iso (c :: Cat k) (d :: Cat k) s t a b = forall p. p a b -> p s t }}} then this error does not occur. (The example still will not compile because I have omitted almost the entire implementation, but it should not fail here.) I am not certain what is really happening here, but it seems to me that when the RHS of `Iso` is constrained, then the type variable `k` introduced on the LHS of `Iso` is being unified incorrectly with the type variable `k` introduced in the definition of the `Functor` class. When the constraint is removed, GHC seems to recognize (correctly!) that the type variables are distinct. (This bug actually occurs with GHC 8.0.1-rc4, but the "Version" menu doesn't give me that option.) {{{#!hs {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE NoImplicitPrelude #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeInType #-} {-# LANGUAGE TypeOperators #-} import GHC.Base ( Constraint, Type ) type Cat k = k -> k -> Type class Category (p :: Cat k) where type Ob p :: k -> Constraint class (Category (Dom f), Category (Cod f)) => Functor (f :: j -> k) where type Dom f :: Cat j type Cod f :: Cat k functor :: forall a b. Iso (:-) (:-) (Ob (Dom f) a) (Ob (Dom f) b) (Ob (Cod f) (f a)) (Ob (Cod f) (f b)) class (Functor f , Dom f ~ p, Cod f ~ q) => Fun (p :: Cat j) (q :: Cat k) (f :: j -> k) | f -> p q instance (Functor f , Dom f ~ p, Cod f ~ q) => Fun (p :: Cat j) (q :: Cat k) (f :: j -> k) data Nat (p :: Cat j) (q :: Cat k) (f :: j -> k) (g :: j -> k) type Iso (c :: Cat k) (d :: Cat k) s t a b = forall p. (Cod p ~ Nat d (->)) => p a b -> p s t data (p :: Constraint) :- (q :: Constraint) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12021> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #12788: While using Data.Aeson.TH, "Irrefutable pattern failed for pattern sel_id : _"
by GHC 11 Nov '16

11 Nov '16

#12788: While using Data.Aeson.TH, "Irrefutable pattern failed for pattern sel_id : _" -------------------------------------+------------------------------------- Reporter: jchia | 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: -------------------------------------+------------------------------------- I got the following error compiling simple source file Bad.hs. The bug is likely related to TH as the crash vanishes without the TH line. $ stack ghc -- -c Bad.hs Run from outside a project, using implicit global project config Using resolver: lts-7.5 from implicit global project's config file: /home/jchia/.stack/global-project/stack.yaml ghc: panic! (the 'impossible' happened) (GHC version 8.0.1 for x86_64-unknown-linux): compiler/typecheck/TcExpr.hs:798:15-35: Irrefutable pattern failed for pattern sel_id : _ Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12788> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #12771: GHCi incorrectly favors static libraries over import libraries
by GHC 11 Nov '16

11 Nov '16

#12771: GHCi incorrectly favors static libraries over import libraries ----------------------------------------+---------------------------- Reporter: Phyx- | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.2.1 Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Windows Architecture: Unknown/Multiple | Type of failure: Other Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------------+---------------------------- Given a static library and an import library in the same folder. e.g. {{{ libfoo.a libfoo.dll.a }}} running `ghci -lfoo` we should prefer the import library `libfoo.dll.a` over `libfoo.a` because we prefer having to just load the DLL. and not having to do any linking. This also more closely emulated the behaviour of LD, which has a search order of {{{ libxxx.dll.a xxx.dll.a libxxx.a cygxxx.dll (*) libxxx.dll xxx.dll }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12771> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #12732: GHC bug
by GHC 11 Nov '16

11 Nov '16

#12732: GHC bug -------------------------------------+------------------------------------- Reporter: Iceland_jack | 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: -------------------------------------+------------------------------------- A frog told me about this {{{#!hs (a ... b) xs | a == x , (l, _:r) <- break (== x) xs = l ++ [x] }}} {{{ baldur@Loki:~$ ghci -fobject-code -fdefer-typed-holes -ignore-dot-ghci /tmp/tnVL.hs GHCi, version 8.0.1: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( /tmp/tnVL.hs, /tmp/tnVL.o ) /tmp/tnVL.hs:2:10: warning: [-Wtyped-holes] Variable not in scope: x /tmp/tnVL.hs:3:27: warning: [-Wtyped-holes] Variable not in scope: x /tmp/tnVL.hs:4:11: warning: [-Wtyped-holes] Variable not in scope: x ghc: panic! (the 'impossible' happened) (GHC version 8.0.1 for x86_64-unknown-linux): StgCmmEnv: variable not found $dEq_a26w local binds for: $trModule $trModule1_r29y $trModule2_r2a9 x_r2aa x1_r2ab x2_r2ac a2_s2ah b_s2ai xs_s2aj fail_s2ak Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug > }}} I managed to find a more minimal example {{{#!hs u a | a == x = undefined }}} doesn't trigger error in GHCi. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12732> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #12774: bkpcabal02 test fails on OS X
by GHC 11 Nov '16

11 Nov '16

#12774: bkpcabal02 test fails on OS X -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: task | Status: new Priority: normal | Milestone: 8.2.1 Component: Test Suite | 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: -------------------------------------+------------------------------------- While testing on Darwin today I noticed that the `bkpcabal02` test seems to fail. {{{ =====> bkpcabal02(normal) 1 of 1 [0, 0, 0] cd "./backpack/cabal/bkpcabal02/bkpcabal02.run" && $MAKE -s --no-print- directory bkpcabal02 CLEANUP=1 Wrong exit code (expected 0 , actual 2 ) Stdout: Preprocessing library 'bkpcabal01-0.1.0.0-DwERz0Bcrkn4WeBnYMX11h-p' for bkpcabal01-0.1.0.0... Preprocessing library 'bkpcabal01-0.1.0.0-DwERz0Bcrkn4WeBnYMX11h-q' for bkpcabal01-0.1.0.0... Stderr: make[2]: *** [bkpcabal02] Error 1 *** unexpected failure for bkpcabal02(normal) }}} Or more verbosely, {{{ $ make bkpcabal02 rm -f -r tmp.d inst dist Setup /Applications/Xcode-7.2/Xcode.app/Contents/Developer/usr/bin/make -s --no- print-directory clean '/Users/bgamari/ghc/inplace/test spaces/ghc-pkg' init tmp.d '/Users/bgamari/ghc/inplace/test spaces/ghc-stage2' -v0 --make Setup cp p/H.hsig.in1 p/H.hsig # typecheck everything ./Setup -v0 configure --enable-library-vanilla --disable-shared --with- ghc='/Users/bgamari/ghc/inplace/test spaces/ghc-stage2' --ghc-options ='-dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed- specialisations -fshow-warning-groups -dno-debug-output' --package- db=tmp.d --prefix='/Users/bgamari/ghc/testsuite/tests/backpack/cabal/bkpcabal02/inst' ./Setup -v0 build ./Setup -v0 -v1 build Preprocessing library 'bkpcabal01-0.1.0.0-DwERz0Bcrkn4WeBnYMX11h-p' for bkpcabal01-0.1.0.0... Preprocessing library 'bkpcabal01-0.1.0.0-DwERz0Bcrkn4WeBnYMX11h-q' for bkpcabal01-0.1.0.0... cp p/H.hsig.in2 p/H.hsig ! ./Setup -v0 build make: *** [bkpcabal02] Error 1 }}} It looks like the `./Setup build` command is finishing successfully where it is expected to fail. I generally don't mind debugging this sort of issue but in this case it's quite unclear why this is expected to fail. Edward, can you add some comments to the `all.T` for this testcase (and perhaps the other Backpack tests too if neceessary) explaining what this test is supposed to be testing for and why `Setup build` should fail? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12774> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #12764: Be able to pin a thread to a numa node without fixing a capabiity
by GHC 11 Nov '16

11 Nov '16

#12764: Be able to pin a thread to a numa node without fixing a capabiity -------------------------------------+------------------------------------- Reporter: darshan | Owner: darshan Type: feature | Status: new request | Priority: normal | Milestone: Component: Runtime | Version: 8.0.1 System | 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: -------------------------------------+------------------------------------- There is a rts call `rts_setInCallCapability(int)` which pins the current thread to the given capability. If numa is on, it also pins it to the appropriate numa node. We want to be able to pin a thread to a numa node but without fixing a capability. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12764> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3