March 2014 - ghc-tickets

[GHC] #8872: hsc cast size warnings on 32-bit Linux
by GHC 24 Mar '15

24 Mar '15

#8872: hsc cast size warnings on 32-bit Linux ------------------------------------+------------------------------------- Reporter: Fuuzetsu | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: hsc2hs | Version: 7.9 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- When compiling the gtk package with GHC 7.9.20140308 I get a bunch of warnings as outlined below. I'm on 32-bit system. Apparently this is something that should be reported. {{{ In file included from dist/dist-sandbox- c4fc5f8b/build/Graphics/UI/Gtk/General/Structs_hsc_make.c:1:0: Structs.hsc: In function ‘main’: /home/shana/ghc-20140308/lib/ghc-7.9.20140308/template-hsc.h:36:29: warning: cast from pointer to integer of different size [-Wpointer-to-int- cast] hsc_printf ("%lld", (long long)(x)); \ ^ Structs.hsc:1020:5: note: in expansion of macro ‘hsc_const’ /home/shana/ghc-20140308/lib/ghc-7.9.20140308/template-hsc.h:38:29: warning: cast from pointer to integer of different size [-Wpointer-to-int- cast] hsc_printf ("%llu", (unsigned long long)(x)); ^ Structs.hsc:1020:5: note: in expansion of macro ‘hsc_const’ /home/shana/ghc-20140308/lib/ghc-7.9.20140308/template-hsc.h:36:29: warning: cast from pointer to integer of different size [-Wpointer-to-int- cast] hsc_printf ("%lld", (long long)(x)); \ ^ Structs.hsc:1025:5: note: in expansion of macro ‘hsc_const’ /home/shana/ghc-20140308/lib/ghc-7.9.20140308/template-hsc.h:38:29: warning: cast from pointer to integer of different size [-Wpointer-to-int- cast] hsc_printf ("%llu", (unsigned long long)(x)); ^ Structs.hsc:1025:5: note: in expansion of macro ‘hsc_const’ /home/shana/ghc-20140308/lib/ghc-7.9.20140308/template-hsc.h:36:29: warning: cast from pointer to integer of different size [-Wpointer-to-int- cast] hsc_printf ("%lld", (long long)(x)); \ ^ Structs.hsc:1029:5: note: in expansion of macro ‘hsc_const’ /home/shana/ghc-20140308/lib/ghc-7.9.20140308/template-hsc.h:38:29: warning: cast from pointer to integer of different size [-Wpointer-to-int- cast] hsc_printf ("%llu", (unsigned long long)(x)); ^ Structs.hsc:1029:5: note: in expansion of macro ‘hsc_const’ /home/shana/ghc-20140308/lib/ghc-7.9.20140308/template-hsc.h:36:29: warning: cast from pointer to integer of different size [-Wpointer-to-int- cast] hsc_printf ("%lld", (long long)(x)); \ ^ Structs.hsc:1033:5: note: in expansion of macro ‘hsc_const’ /home/shana/ghc-20140308/lib/ghc-7.9.20140308/template-hsc.h:38:29: warning: cast from pointer to integer of different size [-Wpointer-to-int- cast] hsc_printf ("%llu", (unsigned long long)(x)); ^ Structs.hsc:1033:5: note: in expansion of macro ‘hsc_const’ /home/shana/ghc-20140308/lib/ghc-7.9.20140308/template-hsc.h:36:29: warning: cast from pointer to integer of different size [-Wpointer-to-int- cast] hsc_printf ("%lld", (long long)(x)); \ ^ Structs.hsc:1037:5: note: in expansion of macro ‘hsc_const’ /home/shana/ghc-20140308/lib/ghc-7.9.20140308/template-hsc.h:38:29: warning: cast from pointer to integer of different size [-Wpointer-to-int- cast] hsc_printf ("%llu", (unsigned long long)(x)); ^ Structs.hsc:1037:5: note: in expansion of macro ‘hsc_const’ /home/shana/ghc-20140308/lib/ghc-7.9.20140308/template-hsc.h:36:29: warning: cast from pointer to integer of different size [-Wpointer-to-int- cast] hsc_printf ("%lld", (long long)(x)); \ ^ Structs.hsc:1042:5: note: in expansion of macro ‘hsc_const’ /home/shana/ghc-20140308/lib/ghc-7.9.20140308/template-hsc.h:38:29: warning: cast from pointer to integer of different size [-Wpointer-to-int- cast] hsc_printf ("%llu", (unsigned long long)(x)); ^ Structs.hsc:1042:5: note: in expansion of macro ‘hsc_const’ /home/shana/ghc-20140308/lib/ghc-7.9.20140308/template-hsc.h:36:29: warning: cast from pointer to integer of different size [-Wpointer-to-int- cast] hsc_printf ("%lld", (long long)(x)); \ ^ Structs.hsc:1046:5: note: in expansion of macro ‘hsc_const’ /home/shana/ghc-20140308/lib/ghc-7.9.20140308/template-hsc.h:38:29: warning: cast from pointer to integer of different size [-Wpointer-to-int- cast] hsc_printf ("%llu", (unsigned long long)(x)); ^ Structs.hsc:1046:5: note: in expansion of macro ‘hsc_const’ /home/shana/ghc-20140308/lib/ghc-7.9.20140308/template-hsc.h:36:29: warning: cast from pointer to integer of different size [-Wpointer-to-int- cast] hsc_printf ("%lld", (long long)(x)); \ ^ Structs.hsc:1051:5: note: in expansion of macro ‘hsc_const’ /home/shana/ghc-20140308/lib/ghc-7.9.20140308/template-hsc.h:38:29: warning: cast from pointer to integer of different size [-Wpointer-to-int- cast] hsc_printf ("%llu", (unsigned long long)(x)); }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8872> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #8550: GHC builds recursive coerctions when using recursive type families
by GHC 23 Mar '15

23 Mar '15

#8550: GHC builds recursive coerctions when using recursive type families -------------------------------------------+------------------------------- Reporter: nomeata | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- Consider {{{ {-# LANGUAGE TypeFamilies, GADTs, UndecidableInstances #-} type family F a type instance F () = F () data A where A :: F () ~ () => A x :: A x = A }}} On GHC 7.6.3 it yields a context reduction stack overflow (despite F () ~ () being put into the “solved funeqs” list). In HEAD, a recursive dictionary is built, but then detected: {{{ [1 of 1] Compiling Foo ( Foo.hs, Foo.o ) ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.7.20131108 for x86_64-unknown-linux): Cycle in coercion bindings [[cobox_ayX{v} [lid] = CO main:Foo.TFCo:R:F(){tc rob}[0] ; cobox_ayZ{v} [lid], cobox_ayZ{v} [lid] = CO cobox_ayX{v} [lid] ; cobox_az0{v} [lid]]] Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} Either this panic needs to be turned into an error, or we need to prevent recursive dictionaries for when solving funeqs (similar to how we do it for `Coercible`). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8550> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #8556: Invalid constructor names are accepted in data declarations
by GHC 23 Mar '15

23 Mar '15

#8556: Invalid constructor names are accepted in data declarations ------------------------------------+------------------------------------- Reporter: dolio | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Earlier today, someone was asking on #haskell why the constructor name {{{(^)}}} wouldn't work in GADT definitions. My response was that {{{(^)}}} isn't a constructor name, but much to my surprise, GHC accepts such names in a regular data declaration: {{{ data Foo = F | (^^^^) Int Int }}} This creates a {{{Foo}}} type and value constructor {{{F}}}, but no value constructor {{{(^^^^)}}}. However, in 7.6.3, if DataKinds are enabled, both constructors appear at the type level. In HEAD, the same definition is accepted, with only {{{F}}} existing at the value level, as before. But at the type level, both {{{F}}} and {{{(^^^^)}}} just generate errors that {{{Foo}}} is not a promotable type. At that point, I think there's no question that the declaration should just be ruled out. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8556> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8727: HLearn test on ubuntu Precise x64 within vagrant Box
by GHC 23 Mar '15

23 Mar '15

#8727: HLearn test on ubuntu Precise x64 within vagrant Box ----------------------------------+-------------------------- Reporter: teuffy | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: Other Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+-------------------------- ghc: panic! (the 'impossible' happened) (GHC version 7.6.3 for x86_64-unknown-linux): loadArchive "/home/vagrant/.cabal/lib/x86_64-linux- ghc-7.6.3/HLearn-2.0.0.0/libHSHLearn-2.0.0.0.a": failed {{{ import HLearn.Algebra import Control.DeepSeq import HLearn.Models.Distributions import Statistics.Distribution.Normal dataset = [1,2,3,4,5,6] --dist = train dataset :: Normal Double data Marble = Red | Green | Blue | White deriving (Read,Show,Eq,Ord) simonBag :: [Marble] simonBag = [Red, Red, Red, Green, Blue, Green, Red, Blue, Green, Green, Red, Red, Blue, Red, Red, Red, White] simonDist = train simonBag :: Categorical Double Marble }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8727> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 18

[GHC] #8078: Core lint failure for profiled code
by GHC 23 Mar '15

23 Mar '15

#8078: Core lint failure for profiled code -----------------------------------+--------------------------------------- Reporter: ezyang | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time crash Unknown/Multiple | Test Case: T4492 Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -----------------------------------+--------------------------------------- Probably related to the cardinality changes. Here is the dump: =====> T4492(profasm) 3361 of 3686 [2, 51, 0] cd ./indexed-types/should_compile && '/srv/code/ghc-build- sandbox/inplace/bin/ghc-stage2' -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-ghci-history -c T4492.hs -O -prof -static -auto-all >T4492.comp.stderr 2>&1 Compile failed (status 256) errors were: *** Core Lint errors : in result of CorePrep *** {-# LINE 12 "T4492.hs #-}: Warning: [RHS of T4492.$fCMaybe_$cgo :: forall a_aex. T4492.C a_aex => forall b_ae0. (forall a1_ae1. Data.Maybe.Maybe a1_ae1 -> b_ae0 -> a1_ae1) -> Data.Maybe.Maybe a_aex -> T4492.F (Data.Maybe.Maybe a_aex) b_ae0] Demand type has 4 arguments, rhs has 3 arguments, T4492.$fCMaybe_$cgo Binder's strictness signature: DmdType <C(C(S)),1*C1(C1(U))><L,U><L,U><L,U> *** Offending Program *** T4492.go [InlPrag=INLINE] :: forall a_adZ. T4492.C a_adZ => forall b_ae0. (forall a_ae1. Data.Maybe.Maybe a_ae1 -> b_ae0 -> a_ae1) -> a_adZ -> T4492.F a_adZ b_ae0 [GblId[ClassOp], Arity=1, Caf=NoCafRefs, Str=DmdType <S,U>, Unf=OtherCon []] T4492.go = \ (@ a_adZ) (tpl_sgH [Occ=Once] :: T4492.C a_adZ) -> tpl_sgH `cast` (T4492.NTCo:C[0] <a_adZ> :: T4492.C a_adZ ~# (forall b_ae0. (forall a_ae1. Data.Maybe.Maybe a_ae1 -> b_ae0 -> a_ae1) -> a_adZ -> T4492.F a_adZ b_ae0)) T4492.$fCMaybe1 :: forall a_aex. T4492.C a_aex => forall b_afH. (forall a1_ae1. Data.Maybe.Maybe a1_ae1 -> b_afH -> a1_ae1) -> Data.Maybe.Maybe a_aex -> b_afH -> T4492.F a_aex b_afH [GblId, Arity=4, Caf=NoCafRefs, Str=DmdType <C(C(S)),1*C1(C1(U))><L,U><L,U><L,U>, Unf=OtherCon []] T4492.$fCMaybe1 = \ (@ a_aex) ($dC_sgI [Occ=OnceL] :: T4492.C a_aex) (@ b_afH) (f_sgJ :: forall a1_ae1. Data.Maybe.Maybe a1_ae1 -> b_afH -> a1_ae1) (a1_sgK [Occ=OnceL] :: Data.Maybe.Maybe a_aex) (b1_sgL [Occ=OnceL] :: b_afH) -> scctick<go> let { sat_sgM [Occ=Once] :: a_aex [LclId, Str=DmdType] sat_sgM = f_sgJ @ a_aex a1_sgK b1_sgL } in ($dC_sgI `cast` (T4492.NTCo:C[0] <a_aex> :: T4492.C a_aex ~# (forall b_ae0. (forall a_ae1. Data.Maybe.Maybe a_ae1 -> b_ae0 -> a_ae1) -> a_aex -> T4492.F a_aex b_ae0))) @ b_afH f_sgJ sat_sgM T4492.$fCMaybe_$cgo :: forall a_aex. T4492.C a_aex => forall b_ae0. (forall a1_ae1. Data.Maybe.Maybe a1_ae1 -> b_ae0 -> a1_ae1) -> Data.Maybe.Maybe a_aex -> T4492.F (Data.Maybe.Maybe a_aex) b_ae0 [GblId, Arity=3, Caf=NoCafRefs, Str=DmdType <C(C(S)),1*C1(C1(U))><L,U><L,U><L,U>, Unf=OtherCon []] T4492.$fCMaybe_$cgo = (\ (@ a_aex) (eta_B3 [Occ=Once] :: T4492.C a_aex) (@ b_afH) (eta_B2 [Occ=Once] :: forall a1_ae1. Data.Maybe.Maybe a1_ae1 -> b_afH -> a1_ae1) (eta_B1 [Occ=Once] :: Data.Maybe.Maybe a_aex) -> T4492.$fCMaybe1 @ a_aex eta_B3 @ b_afH eta_B2 eta_B1) `cast` (forall a_aex. <T4492.C a_aex> -> forall b_afH. <forall a1_ae1. Data.Maybe.Maybe a1_ae1 -> b_afH -> a1_ae1> -> <Data.Maybe.Maybe a_aex> -> Sym (T4492.TFCo:R:FMaybeb[0] <a_aex> <b_afH>) :: (forall a_aex. T4492.C a_aex => forall b_afH. (forall a1_ae1. Data.Maybe.Maybe a1_ae1 -> b_afH -> a1_ae1) -> Data.Maybe.Maybe a_aex -> b_afH -> T4492.F a_aex b_afH) ~# (forall a_aex. T4492.C a_aex => forall b_afH. (forall a1_ae1. Data.Maybe.Maybe a1_ae1 -> b_afH -> a1_ae1) -> Data.Maybe.Maybe a_aex -> T4492.F (Data.Maybe.Maybe a_aex) b_afH)) T4492.$fCMaybe [InlPrag=INLINE (sat-args=0)] :: forall a_aex. T4492.C a_aex => T4492.C (Data.Maybe.Maybe a_aex) [GblId[DFunId(nt)], Arity=3, Caf=NoCafRefs, Str=DmdType <C(C(S)),1*C1(C1(U))><L,U><L,U><L,U>, Unf=OtherCon []] T4492.$fCMaybe = (\ (@ a_aex) (eta_B3 [Occ=Once] :: T4492.C a_aex) (@ b_afH) (eta_B2 [Occ=Once] :: forall a1_ae1. Data.Maybe.Maybe a1_ae1 -> b_afH -> a1_ae1) (eta_B1 [Occ=Once] :: Data.Maybe.Maybe a_aex) -> T4492.$fCMaybe1 @ a_aex eta_B3 @ b_afH eta_B2 eta_B1) `cast` (forall a_aex. <T4492.C a_aex> -> (forall b_afH. <forall a1_ae1. Data.Maybe.Maybe a1_ae1 -> b_afH -> a1_ae1> -> <Data.Maybe.Maybe a_aex> -> Sym (T4492.TFCo:R:FMaybeb[0] <a_aex> <b_afH>)) ; Sym (T4492.NTCo:C[0] <Data.Maybe.Maybe a_aex>) :: (forall a_aex. T4492.C a_aex => forall b_afH. (forall a1_ae1. Data.Maybe.Maybe a1_ae1 -> b_afH -> a1_ae1) -> Data.Maybe.Maybe a_aex -> b_afH -> T4492.F a_aex b_afH) ~# (forall a_aex. T4492.C a_aex => T4492.C (Data.Maybe.Maybe a_aex))) *** End of Offense *** <no location info>: Compilation had errors *** unexpected failure for T4492(profasm) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8078> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8379: sync-all broken when using the GitHub mirror
by GHC 21 Mar '15

21 Mar '15

#8379: sync-all broken when using the GitHub mirror ------------------------------------+------------------------------------- Reporter: tibbe | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Making a fresh checkout using the GitHub mirror: {{{ $ git clone git@github.com:tibbe/ghc.git $ ./sync-all get == running git config core.ignorecase true == running git clone git@github.com:tibbe/ghc-tarballs.git ghc-tarballs Cloning into 'ghc-tarballs'... ERROR: Repository not found. fatal: The remote end hung up unexpectedly git failed: 32768 at ./sync-all line 178. == Checking for old haddock repo == Checking for old binary repo == Checking for old mtl repo == Checking for old Cabal repo == Checking for old time from tarball ============================ ATTENTION! You have an old time package in your GHC tree! Please remove it (e.g. "rm -r libraries/time"), and then run "./sync-all get" to get the new repository. ============================ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8379> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 13

[GHC] #8150: Foreign export requires redundant type signature
by GHC 19 Mar '15

19 Mar '15

#8150: Foreign export requires redundant type signature -------------------------+------------------------------------------------- Reporter: | Owner: evincarofautumn | Status: new Type: bug | Milestone: Priority: | Version: 7.6.3 normal | Operating System: Unknown/Multiple Component: | Type of failure: Incorrect warning at Compiler | compile-time Keywords: | Test Case: Architecture: | Blocking: Unknown/Multiple | Difficulty: | Unknown | Blocked By: | Related Tickets: | -------------------------+------------------------------------------------- With a source file such as: {{{ module FFITest where foreign export ccall "function" function :: IO () function :: IO () function = putStrLn "Hello, world!" }}} The second `function :: IO ()` signature is required to satisfy `-fwarn- missing-signatures`, even though a signature is already present in the `foreign export` declaration, and the types are required to be the same. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8150> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #8315: Improve specialized Hoopl module
by GHC 18 Mar '15

18 Mar '15

#8315: Improve specialized Hoopl module ------------------------------------+------------------------------------- Reporter: jstolarek | Owner: Type: task | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- GHC uses Hoopl to perform some of the Cmm-to-Cmm optimization passes, but instead of relying directly on Hoopl library GHC uses its own specialized module (see [[GhcFile(compiler/cmm/Hoopl/Dataflow.hs)]]). Interface of that module, as well as its internal implementation can be improved. Right now interface places responsibility of maintaining some of the invariants on user. It also ignores differences between forward and backward analysis. [http://ghc.haskell.org/trac/ghc/wiki/Hoopl/Cleanup This wiki page] gives full detail about proposed design changes. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8315> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #8780: abs for IEEE floating point is slightly wrong.
by GHC 08 Mar '15

08 Mar '15

#8780: abs for IEEE floating point is slightly wrong. ------------------------------------+------------------------------------- Reporter: augustss | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Evaluating abs(-0) gives the answer -0. This unexpected since it breaks invariants like 1/(abs x) >= 0. So abs(-0) should be 0. This is also the norm for other languages. Together with this change, signum should also be changed so signum(-0) is -0. This maintains the invariant abs x * signum x == x. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8780> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #8274: Core pretty-printer doesn't print # on unboxed literals
by GHC 03 Mar '15

03 Mar '15

#8274: Core pretty-printer doesn't print # on unboxed literals ------------------------------------+------------------------------------- Reporter: jstolarek | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: Other Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- I just noticed that Core pretty printer produces something like this (this is part of expected output for T3772 in testsuite): {{{ case GHC.Prim.<=# n# 0 of _ { __DEFAULT -> xs n#; 1 -> GHC.Tuple.() } }}} Both `0` (in scrutinee) and `1` (one of branch alternatives) are unboxed values, so they should be printed as `0#` and `1#` respectively. I haven't checked whether unboxed literals of other types (`Word`, `Double`, `Float`) are printed in that way, but I would guess that yes. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8274> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9