- ghc-tickets - Haskell.org

[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 19 Nov '13

19 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

[GHC] #8203: Yesod platform fails to build on ARM
by GHC 18 Nov '13

18 Nov '13

#8203: Yesod platform fails to build on ARM -----------------------------+--------------------------------- Reporter: randomist | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.4.1 Keywords: | Operating System: Linux Architecture: arm | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -----------------------------+--------------------------------- Trying to build yesod platform on Samsung Chromebook (architecture is armv7l), and get this crash in compiling the package vector-0.10.0.1: [ 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} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8203> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

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: -------------------------------------+------------------------------------- Changes (by nomeata): * cc: mail@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1600#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2387: Optimizer misses unboxing opportunity
by GHC 18 Nov '13

18 Nov '13

#2387: Optimizer misses unboxing opportunity -------------------------------------+------------------------------------- Reporter: dolio | Owner: Type: bug | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.2 Resolution: | Keywords: optimizer unbox Operating System: Linux | box Type of failure: Runtime | Architecture: x86_64 (amd64) performance bug | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #2289 -------------------------------------+------------------------------------- Changes (by nomeata): * cc: mail@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2387#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2289: Needless reboxing of values when returning from a tight loop
by GHC 18 Nov '13

18 Nov '13

#2289: Needless reboxing of values when returning from a tight loop -------------------------------------+------------------------------------- Reporter: dons | Owner: Type: bug | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.2 Resolution: | Keywords: boxing, loops, Operating System: Unknown/Multiple | performance Type of failure: Runtime | Architecture: Unknown/Multiple performance bug | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #2387,#1600 -------------------------------------+------------------------------------- Changes (by nomeata): * cc: mail@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2289#comment:37> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8339: Build fails with panic in vector
by GHC 18 Nov '13

18 Nov '13

#8339: Build fails with panic in vector ----------------------------------+---------------------------------------- Reporter: trommler | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: libraries | Version: 7.7 (other) | Operating System: Unknown/Multiple Keywords: vector | Type of failure: Building GHC failed annotation | Test Case: Architecture: | Blocking: Unknown/Multiple | Difficulty: Unknown | Blocked By: | Related Tickets: #8203 #8212 | ----------------------------------+---------------------------------------- I get this on powerpc64 Linux but I suspect from the error message it affects all architectures without GHCi support: {{{"inplace/bin/ghc-stage2" -hisuf hi -osuf o -hcsuf hc -static -H32m -O -package-name vector-0.9.1 -hide-all-packages -i -ilibraries/vector/. -ilibraries/vector/dist-install/build -ilibraries/vector/dist- install/build/autogen -Ilibraries/vector/dist-install/build -Ilibraries/vector/dist-install/build/autogen -Ilibraries/vector/include -Ilibraries/vector/internal -optP-DVECTOR_BOUNDS_CHECKS -optP-include -optPlibraries/vector/dist-install/build/autogen/cabal_macros.h -package base-4.7.0.0 -package ghc-prim-0.3.1.0 -package primitive-0.4.0.1 -O2 -XHaskell98 -XCPP -XDeriveDataTypeable -O2 -no-user-package-db -rtsopts -odir libraries/vector/dist-install/build -hidir libraries/vector/dist- install/build -stubdir libraries/vector/dist-install/build -c libraries/vector/./Data/Vector/Fusion/Stream/Monadic.hs -o libraries/vector/dist-install/build/Data/Vector/Fusion/Stream/Monadic.o ghc-stage2: panic! (the 'impossible' happened) (GHC version 7.7.20130828 for powerpc64-unknown-linux): Cant do annotations without GHCi {libraries/vector/Data/Vector/Fusion/Stream/Monadic.hs:104:19-33} base:GHC.Exts.ForceSpecConstr{d rcn} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug}}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8339> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4