September 2013 - ghc-tickets

Re: [GHC] #7189: RTS Assertion Crash
by GHC 26 Sep '13

26 Sep '13

#7189: RTS Assertion Crash -----------------------------------+---------------------------------- Reporter: sseverance | Owner: simonmar Type: bug | Status: infoneeded Priority: normal | Milestone: 7.8.1 Component: Runtime System | Version: 7.4.2 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -----------------------------------+---------------------------------- Changes (by simonmar): * status: new => infoneeded Comment: I can't see anything obvious from the log or by looking for bugs in the code, and I tried in vain to reproduce it. What RTS options are you using? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7189#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7763: Resource limits for Haskell
by GHC 26 Sep '13

26 Sep '13

#7763: Resource limits for Haskell -------------------------------------+------------------------------------ Reporter: ezyang | Owner: simonmar Type: feature request | Status: infoneeded Priority: normal | Milestone: 7.8.1 Component: Profiling | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by simonmar): * status: patch => infoneeded Comment: @ezyang: what are we doing with this? Do you still want me to review it? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7763#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4451: Re-linking avoidance is too aggressive
by GHC 26 Sep '13

26 Sep '13

#4451: Re-linking avoidance is too aggressive ----------------------------+---------------------------------------------- Reporter: | Owner: simonmar | Status: new Type: bug | Milestone: 7.6.2 Priority: normal | Version: 7.1 Component: | Keywords: Compiler | Architecture: Unknown/Multiple Resolution: | Difficulty: Moderate (less than a day) Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: Other | Test Case: | Blocking: | ----------------------------+---------------------------------------------- Changes (by simonmar): * owner: simonmar => -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4451#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7428: GHC compile times are seriously non-linear in program size
by GHC 26 Sep '13

26 Sep '13

#7428: GHC compile times are seriously non-linear in program size ---------------------------------------+---------------------------------- Reporter: nudded | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.4.2 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: Compile-time crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ---------------------------------------+---------------------------------- Changes (by simonmar): * priority: normal => high Comment: Simon - this looks like a real issue. The types blow up during successive simplification stages, look at this: {{{ *** Float inwards: Result size of Float inwards = {terms: 985, types: 6,189, coercions: 267} *** Simplifier: Result size of Simplifier iteration=1 = {terms: 4,502, types: 100,514, coercions: 35,229} Result size of Simplifier iteration=2 = {terms: 3,022, types: 335,649, coercions: 137,994} Result size of Simplifier iteration=3 = {terms: 2,659, types: 766,643, coercions: 324,940} Result size of Simplifier iteration=4 = {terms: 2,461, types: 2,556,807, coercions: 1,206,055} Result size of Simplifier = {terms: 2,461, types: 2,556,807, coercions: 1,206,055} *** Simplifier: Result size of Simplifier iteration=1 = {terms: 2,396, types: 9,160,050, coercions: 4,470,133} Result size of Simplifier iteration=2 = {terms: 2,341, types: 30,948,777, coercions: 15,796,211} ghc-stage2: out of memory (requested 1048576 bytes) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7428#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7810: make show VALUE=VAR depends on ghc-stage1
by GHC 26 Sep '13

26 Sep '13

#7810: make show VALUE=VAR depends on ghc-stage1 -------------------------------------+------------------------------------ Reporter: kgardas | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Build 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: | Related Tickets: -------------------------------------+------------------------------------ Changes (by simonmar): * status: closed => new * resolution: wontfix => * milestone: => 7.8.1 Comment: I think this is a real bug and we should fix it. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7810#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8361: hsc2hs error: sizeof/offsetof during solaris2 target compile
by GHC 26 Sep '13

26 Sep '13

#8361: hsc2hs error: sizeof/offsetof during solaris2 target compile ----------------------------------+---------------------------------------- Reporter: leroux | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: None | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Building GHC failed Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | ----------------------------------+---------------------------------------- I'm trying to cross-(compile/build?) ghc for SmartOS (target) from Mac OS X (host). I used https://gist.github.com/leroux/6680744#file- setup_cross_gcc_linux_illumos-sh to build the gcc cross-compiler (where target is solaris and host is os x) and https://gist.github.com/leroux/6710457 to kickoff the ghc build process. Details {{{ ("Build platform","x86_64-apple-darwin") ("Host platform","x86_64-apple-darwin") ("Target platform","x86_64-sun-solaris2") }}} ---- The error {{{ "inplace/bin/hsc2hs" '--cc=/Users/leroux/Documents/gcc/cross/x86_64-sun- solaris2.11/bin/x86_64-sun-solaris2.11-gcc' '-- ld=/Users/leroux/Documents/gcc/cross/x86_64-sun-solaris2.11/bin/x86_64 -sun-solaris2.11-gcc' --cross-safe --cflag=-fno-stack-protector --cross-compile --cflag=-Dx86_64_HOST_ARCH=1 --cflag=-Dsolaris2_HOST_OS=1 --cflag=-D__GLASGOW_HASKELL__=707 '--cflag=-fno-stack-protector' '-- cflag=-Ilibraries/haskeline/includes' '--cflag=-DUSE_GHC_ENCODINGS' '-- cflag=-DTERMINFO' '--cflag=-I/Users/leroux/ghc/ghc- solaris/ghc/libraries/directory/include' '--cflag=-I/Users/leroux/ghc/ghc- solaris/ghc/libraries/unix/include' '--cflag=-I/Users/leroux/ghc/ghc- solaris/ghc/libraries/time/include' '--cflag=-I/Users/leroux/ghc/ghc- solaris/ghc/libraries/containers/include' '--cflag=-I/Users/leroux/ghc /ghc-solaris/ghc/libraries/bytestring/include' '-- cflag=-I/Users/leroux/ghc/ghc-solaris/ghc/libraries/base/include' '-- cflag=-I/Users/leroux/ghc/ghc-solaris/ghc/rts/dist/build' '-- cflag=-I/Users/leroux/ghc/ghc-solaris/ghc/includes' '-- cflag=-I/Users/leroux/ghc/ghc-solaris/ghc/includes/dist- derivedconstants/header' '--lflag=-L/Users/leroux/ghc/ghc- solaris/ghc/libraries/transformers/dist-install/build' '-- lflag=-L/Users/leroux/ghc/ghc-solaris/ghc/libraries/terminfo/dist- install/build' '--lflag=-L/Users/leroux/ghc/ghc- solaris/ghc/libraries/directory/dist-install/build' '-- lflag=-L/Users/leroux/ghc/ghc-solaris/ghc/libraries/unix/dist- install/build' '--lflag=-L/Users/leroux/ghc/ghc-solaris/ghc/libraries/time /dist-install/build' '--lflag=-L/Users/leroux/ghc/ghc- solaris/ghc/libraries/old-locale/dist-install/build' '-- lflag=-L/Users/leroux/ghc/ghc-solaris/ghc/libraries/filepath/dist- install/build' '--lflag=-L/Users/leroux/ghc/ghc- solaris/ghc/libraries/containers/dist-install/build' '-- lflag=-L/Users/leroux/ghc/ghc-solaris/ghc/libraries/bytestring/dist- install/build' '--lflag=-L/Users/leroux/ghc/ghc- solaris/ghc/libraries/deepseq/dist-install/build' '-- lflag=-L/Users/leroux/ghc/ghc-solaris/ghc/libraries/array/dist- install/build' '--lflag=-L/Users/leroux/ghc/ghc-solaris/ghc/libraries/base /dist-install/build' '--lflag=-L/Users/leroux/ghc/ghc- solaris/ghc/libraries/integer-simple/dist-install/build' '-- lflag=-L/Users/leroux/ghc/ghc-solaris/ghc/libraries/ghc-prim/dist- install/build' '--lflag=-L/Users/leroux/ghc/ghc- solaris/ghc/rts/dist/build' '--lflag=-lcurses' '--lflag=-lrt' '-- lflag=-ldl' '--lflag=-lm' '--lflag=-lrt' '--lflag=-ldl' --cflag=-Ilibraries/haskeline/dist-install/build/autogen --cflag=-include --cflag=libraries/haskeline/dist-install/build/autogen/cabal_macros.h libraries/haskeline/./System/Console/Haskeline/Backend/Posix.hsc -o libraries/haskeline/dist- install/build/System/Console/Haskeline/Backend/Posix.hs Posix.hsc: In function ‘_hsc2hs_test15’: Posix.hsc:75:39: error: invalid application of ‘sizeof’ to incomplete type ‘struct winsize’ Posix.hsc: In function ‘_hsc2hs_test17’: Posix.hsc:77:32: error: ‘TIOCGWINSZ’ undeclared (first use in this function) Posix.hsc:77:32: note: each undeclared identifier is reported only once for each function it appears in In file included from /Users/leroux/ghc/ghc-solaris/ghc/inplace/lib /template-hsc.h:4:0, from libraries/haskeline/dist- install/build/System/Console/Haskeline/Backend/Posix_hsc_test0.c:1: Posix.hsc: In function ‘_hsc2hs_test19’: Posix.hsc:78:48: error: invalid use of undefined type ‘struct winsize’ Posix.hsc: In function ‘_hsc2hs_test21’: Posix.hsc:79:48: error: invalid use of undefined type ‘struct winsize’ compilation failed make[1]: *** [libraries/haskeline/dist- install/build/System/Console/Haskeline/Backend/Posix.hs] Error 1 make: *** [all] Error 2 }}} ---- I attempted to remedy this issue by replacing all occurrences of `offsetof` with `__builtin_offsetof` which was suggested by http://web.archiveorange.com/archive/v/j7U5dymASw992FJprhK7, but it didn't have any apparent affects. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8361> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #7285: mkWeakMVar is non-compositional
by GHC 26 Sep '13

26 Sep '13

#7285: mkWeakMVar is non-compositional -------------------------------------+------------------------------------ Reporter: edsko | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by simonmar): * cc: simonmar (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7285#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8355: Core lint error/warnings with `primitive-0.5.1.0`
by GHC 26 Sep '13

26 Sep '13

#8355: Core lint error/warnings with `primitive-0.5.1.0` ----------------------------+---------------------------------------------- Reporter: hvr | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects valid program Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | ----------------------------+---------------------------------------------- When compiling [http://hackage.haskell.org/package/primitive-0.5.1.0 primitive-0.5.1.0] with `--ghc-option=-dcore-lint`, GHC 7.4.2 just emits a single warning: {{{ [10 of 10] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, dist/build/Data/Primitive/MutVar.o ) *** Core Lint warnings : in result of Desugar (after optimization) *** <no location info>: [RHS of $c/=_a724 :: forall s_a70h a_a70i. Data.Primitive.MutVar.MutVar s_a70h a_a70i -> Data.Primitive.MutVar.MutVar s_a70h a_a70i -> GHC.Types.Bool] INLINE binder is (non-rule) loop breaker: $c/=_a724 }}} However, with GHC 7.6.3, an error is produced: {{{ [ 5 of 10] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, dist/build/Data/Primitive/Types.o ) *** Core Lint errors : in result of Desugar (after optimization) *** <no location info>: Warning: In the type `GHC.Prim.State# GHC.Prim.RealWorld ~ GHC.Prim.State# (Control.Monad.Primitive.PrimState GHC.Types.IO)' Kind application error in type `GHC.Prim.State# GHC.Prim.RealWorld ~ GHC.Prim.State# (Control.Monad.Primitive.PrimState GHC.Types.IO)' Function kind = forall (k_1c :: BOX). k_1c -> k_1c -> Constraint Arg kinds = [(*, BOX), (GHC.Prim.State# GHC.Prim.RealWorld, #), (GHC.Prim.State# (Control.Monad.Primitive.PrimState GHC.Types.IO), #)] <no location info>: Warning: In the type `GHC.Prim.State# GHC.Prim.RealWorld ~ GHC.Prim.State# (Control.Monad.Primitive.PrimState GHC.Types.IO)' Kind application error in type `GHC.Prim.State# GHC.Prim.RealWorld ~ GHC.Prim.State# (Control.Monad.Primitive.PrimState GHC.Types.IO)' Function kind = forall (k_1c :: BOX). k_1c -> k_1c -> Constraint Arg kinds = [(*, BOX), (GHC.Prim.State# GHC.Prim.RealWorld, #), (GHC.Prim.State# (Control.Monad.Primitive.PrimState GHC.Types.IO), #)] {-# LINE 142 "Data/Primitive/Types.hs #-}: Warning: [RHS of cobox_a2gR :: GHC.Prim.State# GHC.Prim.RealWorld ~ GHC.Prim.State# (Control.Monad.Primitive.PrimState GHC.Types.IO)] The type of this binder doesn't match the type of its RHS: cobox_a2gR Binder's type: GHC.Prim.State# GHC.Prim.RealWorld ~ GHC.Prim.State# (Control.Monad.Primitive.PrimState GHC.Types.IO) Rhs type: GHC.Prim.State# GHC.Prim.RealWorld ~ GHC.Prim.State# (Control.Monad.Primitive.PrimState GHC.Types.IO) }}} The core-lint error persists in GHC HEAD/7.7, blocking us from updating GHC's in-tree `primitive`/`vector` packages. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8355> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #8360: panic! (the 'impossible' happened): ... kindFunResult
by GHC 25 Sep '13

25 Sep '13

#8360: panic! (the 'impossible' happened): ... kindFunResult ------------------------------------+------------------------------------- Reporter: 2piix | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | 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: | ------------------------------------+------------------------------------- I got an 'impossible' error on GHCi 7.6.3 after trying to evaluate a type for a Yesod value: {{{ *Yesod.Import> :t handlerToWidget handlerToWidget :: Monad m => HandlerT site m a -> WidgetT site m a *Yesod.Import> :t generateFormPost generateFormPost :: (RenderMessage (HandlerSite m) FormMessage, MonadHandler m) => (blaze-markup-0.5.1.5:Text.Blaze.Internal.Markup -> MForm m (FormResult a, xml)) -> m (xml, Enctype) *Yesod.Import> :t lift lift :: (Monad m, MonadTrans t) => m a -> t m a *Yesod.Import> :t handlerToWidget . generateFormPost . lift <interactive>:1:38:ghc: panic! (the 'impossible' happened) (GHC version 7.6.3 for x86_64-unknown-linux): kindFunResult <<details unavailable>> }}} Reporting since GHC asked so nicely. :) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8360> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #7643: Kind application error
by GHC 25 Sep '13

25 Sep '13

#7643: Kind application error --------------------------------------------+------------------------------ Reporter: gmainland | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: #7354, | #8355 --------------------------------------------+------------------------------ Changes (by hvr): * related: #7354 => #7354, #8355 Comment: #8355 has been marked as duplicate of this ticket -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7643#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0