November 2013 - ghc-tickets

Re: [GHC] #5757: zero unexpected failures on all tier 1 platforms
by GHC 20 Nov '13

20 Nov '13

#5757: zero unexpected failures on all tier 1 platforms -------------------------------------+------------------------------------ Reporter: simonmar | Owner: Type: task | Status: new Priority: highest | Milestone: 7.8.1 Component: Test Suite | Version: 7.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #5785 -------------------------------------+------------------------------------ Changes (by carter): * milestone: 7.6.2 => 7.8.1 Comment: BUMP. Once 7.8 hits RC, lets try to AIM for clean validates going forward by default on Master.... anything else creates too many barriers to more folks getting involved in GHC dev, and thats a problem. Also makes is harder to test out GHC features in HEAD. basically: we need to make it more painful to have dirty validates. I think Austin has some testing infrastructure plans that would be in alignment with this goal. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5757#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4: -fext-core -fno-core behaves funny
by GHC 19 Nov '13

19 Nov '13

#4: -fext-core -fno-core behaves funny ---------------------+-------------------- Reporter: josefs | Owner: nobody Type: bug | Status: closed Priority: normal | Milestone: Component: Driver | Version: None Resolution: Fixed | Keywords: ---------------------+-------------------- Comment (by Herbert Valerio Riedel <hvr@…>): In [changeset:"0346dee9231db0b3e7662a1f738ec688669b4c04/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="0346dee9231db0b3e7662a1f738ec688669b4c04" Update `primitive` to upstream's current HEAD This includes a fix to silence a GCC warning which causes validate failures on OSX (see haskell/primitive#4 for more details) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6084: Add stg_ap_pnnv and related call patterns
by GHC 19 Nov '13

19 Nov '13

#6084: Add stg_ap_pnnv and related call patterns -------------------------------------+------------------------------------ Reporter: SimonMeier | Owner: simonmar Type: feature request | Status: new Priority: high | Milestone: 7.8.1 Component: Runtime System | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: 8313 | Related Tickets: -------------------------------------+------------------------------------ Changes (by akio): * cc: tkn.akio@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6084#comment:25> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8212: ghc panic building vector on Raspberry Pi
by GHC 19 Nov '13

19 Nov '13

#8212: ghc panic building vector on Raspberry Pi -----------------------------+------------------------------------- Reporter: ill_logic | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.4.1 Keywords: | Operating System: Unknown/Multiple Architecture: arm | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -----------------------------+------------------------------------- Configuring vector-0.10.0.1... Building vector-0.10.0.1... Preprocessing library vector-0.10.0.1... [ 1 of 19] Compiling Data.Vector.Storable.Internal ( Data/Vector/Storable/Internal.hs, dist/build/Data/Vector/Storable/Internal.o ) [ 2 of 19] Compiling Data.Vector.Fusion.Util ( Data/Vector/Fusion/Util.hs, dist/build/Data/Vector/Fusion/Util.o ) [ 3 of 19] Compiling Data.Vector.Fusion.Stream.Size ( Data/Vector/Fusion/Stream/Size.hs, dist/build/Data/Vector/Fusion/Stream/Size.o ) Data/Vector/Fusion/Stream/Size.hs:25:10: Warning: No explicit method nor default method for `*' In the instance declaration for `Num Size' Data/Vector/Fusion/Stream/Size.hs:25:10: Warning: No explicit method nor default method for `abs' In the instance declaration for `Num Size' Data/Vector/Fusion/Stream/Size.hs:25:10: Warning: No explicit method nor default method for `signum' In the instance declaration for `Num Size' [ 4 of 19] Compiling Data.Vector.Internal.Check ( Data/Vector/Internal/Check.hs, dist/build/Data/Vector/Internal/Check.o ) [ 5 of 19] Compiling Data.Vector.Fusion.Stream.Monadic ( Data/Vector/Fusion/Stream/Monadic.hs, dist/build/Data/Vector/Fusion/Stream/Monadic.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.4.1 for arm-unknown-linux): Cant do annotations without GHCi {Data/Vector/Fusion/Stream/Monadic.hs:104:19-33} base:GHC.Exts.ForceSpecConstr{d ra42} pi@raspberrypi ~ $ uname -a Linux raspberrypi 3.6.11+ #371 PREEMPT Thu Feb 7 16:31:35 GMT 2013 armv6l GNU/Linux Let me know if there's any other details I can help with. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8212> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #8534: DeriveFunctor and PolyKinds
by GHC 19 Nov '13

19 Nov '13

#8534: DeriveFunctor and PolyKinds -------------------------------------+------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler (Type | Version: 7.6.3 checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC rejects Architecture: Unknown/Multiple | valid program Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- A tiny infelicity: {{{ {-# LANGUAGE DeriveFunctor #-} data A a = A deriving Functor }}} works only if `PolyKinds` is disabled, otherwise it reports that `A` has kind `k -> *` instead of expected `* -> *`. On the other hand, standalone deriving works fine. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8534> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8520: ghc.exe: internal error: loadArchive: error whilst reading `C'
by GHC 19 Nov '13

19 Nov '13

#8520: ghc.exe: internal error: loadArchive: error whilst reading `C' ----------------------------+---------------------------------- Reporter: awson | Owner: Type: bug | Status: new Priority: highest | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Windows Architecture: x86 | Type of failure: Runtime crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------+---------------------------------- While building Agda HEAD, GHC 7.7.20131108 for i386_unknown_mingw32 spits: {{{ [ 88 of 256] Compiling Agda.TypeChecking.Monad.Base[boot] ( src\full\Agda\TypeChecking\Monad\Base.hs-boot, dist\build\Agda\TypeChecking\Monad\Base.o-boot ) [ 89 of 256] Compiling Agda.Interaction.Response[boot] ( src\full\Agda\Interaction\Response.hs-boot, dist\build\Agda\Interaction\Response.o-boot ) [ 90 of 256] Compiling Agda.Interaction.FindFile[boot] ( src\full\Agda\Interaction\FindFile.hs-boot, dist\build\Agda\Interaction\FindFile.o-boot ) [ 91 of 256] Compiling Agda.Syntax.Abstract ( src\full\Agda\Syntax\Abstract.hs, dist\build\Agda\Syntax\Abstract.o ) Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package array-0.5.0.0 ... linking ... done. Loading package deepseq-1.3.0.2 ... linking ... done. Loading package bytestring-0.10.4.0 ... linking ... done. Loading package zlib-0.5.4.1 ... linking ... done. Loading package xhtml-3000.2.1 ... linking ... done. Loading package text-0.11.3.1 ... linking ... done. Loading package hashable-1.2.1.0 ... linking ... done. Loading package unordered-containers-0.2.3.3 ... linking ... done. Loading package Win32-2.3.0.0 ... linking ... done. Loading package filepath-1.3.0.2 ... linking ... done. Loading package old-locale-1.0.0.6 ... linking ... done. Loading package time-1.4.1 ... linking ... done. Loading package directory-1.2.0.2 ... linking ... done. Loading package process-1.2.0.0 ... linking ... done. Loading package containers-0.5.3.1 ... linking ... done. Loading package parallel-3.2.0.4 ... linking ... done. Loading package old-time-1.1.0.2 ... linking ... done. Loading package cpphs-1.17.1 ... linking ... done. Loading package pretty-1.1.1.1 ... linking ... done. Loading package haskell-src-exts-1.14.0 ... linking ... done. Loading package transformers-0.3.0.0 ... linking ... done. Loading package haskeline-0.7.0.3 ... linking ... done. Loading package primitive-0.5.1.0 ... linking ... done. Loading package vector-0.10.9.1 ... ghc.exe: internal error: loadArchive: error whilst reading `C' (GHC version 7.7.20131108 for i386_unknown_mingw32) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} Btw, 7.7.20131024 has *NO* this bug, thus it was introduced quite recently. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8520> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

Re: [GHC] #1831: reify never provides the declaration of variables
by GHC 18 Nov '13

18 Nov '13

#1831: reify never provides the declaration of variables -------------------------------------+------------------------------------ Reporter: guest | Owner: Type: bug | Status: new Priority: normal | Milestone: _|_ Component: Template Haskell | Version: 6.8.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by polkovnikov.ph): I don't actually think there's a lack of interest in this functionality. It could finally let programmers to write TH-based translation libraries. For example, one could create `javascript` such that `print $ javascript sort` generates JS code for list sorting, effectively reusing Prelude. Also, some language extensions like Megacz's generalized arrows could become libraries. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1831#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8479: Generic1 crashes with tyConStupidTheta when using associated type families
by GHC 18 Nov '13

18 Nov '13

#8479: Generic1 crashes with tyConStupidTheta when using associated type families -------------------------------------+------------------------------------- Reporter: ghorn | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: Generics, | Operating System: Unknown/Multiple Generic1 | Type of failure: Compile-time Architecture: Unknown/Multiple | crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- {{{ {-# OPTIONS_GHC -Wall #-} {-# Language TypeFamilies #-} {-# Language DeriveGeneric #-} import GHC.Generics class Blah (a :: * -> *) where type F a :: * -> * data Foo (f :: * -> *) a = MkFoo ((F f) a) deriving Generic1 --data Foo a = MkFoo ((F f) a) deriving Generic1 -- also crashes }}} the above code crashes GHC with error: {{{ [1 of 1] Compiling Main ( GenericBug.hs, GenericBug.o ) ghc: panic! (the 'impossible' happened) (GHC version 7.6.3 for x86_64-unknown-linux): tyConStupidTheta main:Main.F{tc ro4} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8479> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

Re: [GHC] #1600: Optimisation: CPR the results of IO
by GHC 18 Nov '13

18 Nov '13

#1600: Optimisation: CPR the results of IO -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: task | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Runtime | Difficulty: Moderate (less performance bug | than a day) Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Comment (by nomeata): Maybe this code is a slightly better example for something where we want to avoid the allocations: {{{ facIO :: Int -> IO Int facIO n = if n < 2 then return 1 else do n' <- facIO (n-1); return $! n*n' }}} The worker Core currently (7.6.3) looks as {{{ FactIO.$wa [Occ=LoopBreaker] :: GHC.Prim.Int# -> GHC.Prim.State# GHC.Prim.RealWorld -> (# GHC.Prim.State# GHC.Prim.RealWorld, GHC.Types.Int #) [GblId, Arity=2, Caf=NoCafRefs, Str=DmdType LL] FactIO.$wa = \ (ww_snv :: GHC.Prim.Int#) (w_snx :: GHC.Prim.State# GHC.Prim.RealWorld) -> case GHC.Prim.<# ww_snv 2 of _ { GHC.Types.False -> case FactIO.$wa (GHC.Prim.-# ww_snv 1) w_snx of _ { (# ipv_amL, ipv1_amM #) -> case ipv1_amM of _ { GHC.Types.I# y_amd -> (# ipv_amL, GHC.Types.I# (GHC.Prim.*# ww_snv y_amd) #) } }; GHC.Types.True -> (# w_snx, lvl_roe #) } }}} and there is a very obvious packing/unpacking going on. A nested CPR should probably first be able to fix this case; and then venture into detecting cheap-and-total-code (as required for the variant without `$!`) beyond constructors. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1600#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1600: Optimisation: CPR the results of IO
by GHC 18 Nov '13

18 Nov '13

#1600: Optimisation: CPR the results of IO -------------------------------------+------------------------------------- Reporter: simonmar | Owner: Type: task | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Runtime | Difficulty: Moderate (less performance bug | than a day) Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- Comment (by nomeata): Looking at examples for code where nested CPR could, would and should work, I found this ticket. At first glance, this looks good. But isn’t it the case that a usage like {{{ main = do _ <- facIO 1000 }}} will not do any calculation (besides counting down from 1000, and allocating a lot of thunks)? This shows that the transformation wanted here cannot be obtained without either offering two variants of the function (would inflate code size), or requires an analysis that calculating the factorial ''even if not needed'' will still always be better than allocating the thunks. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1600#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0