September 2014 - ghc-tickets

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 30 Sep '14

30 Sep '14

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Difficult (2-5 Type of failure: Other | days) Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Comment (by simonmar): No, there are still several problems that remain before (1) is solved. See the description of the ticket for a (possibly incomplete) list. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:59> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9650: Unsatisfiable default signature
by GHC 30 Sep '14

30 Sep '14

#9650: Unsatisfiable default signature -------------------------------------+------------------------------------- Reporter: crockeea | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: GHC Blocked By: | accepts invalid program Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- I discovered the `-XDefaultSignatures` extension and promptly wrote a default method that I feel should be rejected by the compiler: {{{#!hs {-# LANGUAGE DefaultSignatures #-} module Foo where class Foo a where foo :: proxy a -> b -> Int default foo :: (Integral b) => proxy a -> b -> Int foo _ b = fromIntegral b }}} GHC accepts this code, but rejects the instance `instance Foo Bool` because `No instance for (Integral b) arising from a use of ‘Foo.$gdmfoo’`. It seems to me that the class should have never compiled in the first place. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9650> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #7068: Extensive Memory usage (regression)
by GHC 30 Sep '14

30 Sep '14

#7068: Extensive Memory usage (regression) -------------------------------------+------------------------------------- Reporter: waldheinz | Owner: simonpj Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.4.1 Resolution: fixed | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: Compile- | Blocked By: time performance bug | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thoughtpolice): * status: infoneeded => closed * resolution: => fixed Comment: I remember I fiddled with this but couldn't get it to compile after a short time; but I do believe this behavior has been fixed (re: many other very similar tickets: #8852, #8980, #8941, #8960, #7898, #5550, #8836). Please re-open if you think otherwise. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7068#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 30 Sep '14

30 Sep '14

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Difficult (2-5 Type of failure: Other | days) Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Comment (by Fuuzetsu): I'd just like to ask where this ticket stands after the patch. Does it solve simonmar's (1), namely produced package IDs? If we build with this patch *without* parallel builds, does this mean we should now get deterministic package ID and anything else is a bug, or are there still known cases that produce different IDs? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:58> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7152: Add flag to configure that skips overwriting of symlinks on install
by GHC 30 Sep '14

30 Sep '14

#7152: Add flag to configure that skips overwriting of symlinks on install -------------------------------------+------------------------------------- Reporter: tibbe | Owner: thoughtpolice Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.4.2 Component: Build | Keywords: System | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * type: bug => feature request -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7152#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7367: float-out causes extra allocation (was: Optimiser / Linker Problem on amd64)
by GHC 30 Sep '14

30 Sep '14

#7367: float-out causes extra allocation -------------------------------------+------------------------------------- Reporter: wurmli | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.6.1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: Runtime | Difficulty: Unknown performance bug | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * component: Build System => Compiler Comment: Summary copied from: https://ghc.haskell.org/trac/ghc/wiki/Status/SLPJ-Tickets -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7367#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5190: TinyCoreLinux extension
by GHC 29 Sep '14

29 Sep '14

#5190: TinyCoreLinux extension -------------------------------------+------------------------------------- Reporter: | Owner: josemaria.alkala | Status: closed Type: bug | Milestone: 7.10.1 Priority: low | Version: 7.0.3 Component: Build | Keywords: System | Architecture: x86 Resolution: fixed | Difficulty: Unknown Operating System: Linux | Blocked By: Type of failure: Installing | Related Tickets: GHC failed | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * difficulty: => Unknown * resolution: => fixed Comment: Thank you for your bug report. This was most likely fixed in 2043afcb0b938bc89257ab64d72a75b44a475c82 (2011). {{{ Avoid using iconv for the locale TextEncoding if we can help it }}} Check also this script for an attempt to install the haskell-platform on TinyCoreLinux: https://github.com/leonardoce/tinycore-ports/blob/master/haskell- platform/compile.sh Feel free to reopen this ticket it you're still having difficulties. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5190#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4880: Functor, Monad, Applicative instances for Data.Monoid.First, Data.Monoid.Last
by GHC 29 Sep '14

29 Sep '14

#4880: Functor, Monad, Applicative instances for Data.Monoid.First, Data.Monoid.Last -------------------------------------+------------------------------------- Reporter: sclv | Owner: Type: feature | Status: closed request | Milestone: 7.10.1 Priority: normal | Version: 7.0.1 Component: | Keywords: libraries/base | Architecture: Unknown/Multiple Resolution: fixed | Difficulty: Easy (less than 1 Operating System: | hour) Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4880#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4880: Functor, Monad, Applicative instances for Data.Monoid.First, Data.Monoid.Last
by GHC 29 Sep '14

29 Sep '14

#4880: Functor, Monad, Applicative instances for Data.Monoid.First, Data.Monoid.Last -------------------------------------+------------------------------------- Reporter: sclv | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.0.1 Component: | Keywords: libraries/base | Architecture: Unknown/Multiple Resolution: | Difficulty: Easy (less than 1 Operating System: | hour) Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by nicolast): For reference: merged through https://phabricator.haskell.org/D81 into 9a7440c0dc038a19432e86923ac30ade7bcea3e7. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4880#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8374: `tcIfaceGlobal (local): not found` while compiling
by GHC 29 Sep '14

29 Sep '14

#8374: `tcIfaceGlobal (local): not found` while compiling ----------------------------+---------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: arm | Type of failure: Building GHC failed Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------+---------------------------------------- On commit fa3ffb43144eadc406031110b01ba3dc4f9bd94e on compiling on ARM, ``` "rm" -f libraries/integer-gmp/dist-install/build/libHSinteger- gmp-0.5.1.0.a.contents "/usr/bin/ld" -r -o libraries/integer-gmp/dist-install/build/HSinteger- gmp-0.5.1.0.o libraries/integer-gmp/dist-install/build/GHC/Integer.o libraries/integer-gmp/dist-install/build/GHC/Integer/GMP/Internals.o libraries/integer-gmp/dist-install/build/GHC/Integer/GMP/Prim.o libraries /integer-gmp/dist-install/build/GHC/Integer/Logarithms.o libraries /integer-gmp/dist-install/build/GHC/Integer/Logarithms/Internals.o libraries/integer-gmp/dist-install/build/GHC/Integer/Type.o libraries /integer-gmp/dist-install/build/cbits/gmp-wrappers.o libraries/integer- gmp/dist-install/build/cbits/cbits.o ghc-stage1: panic! (the 'impossible' happened) (GHC version 7.7.20130924 for arm-unknown-linux): tcIfaceGlobal (local): not found: base:GHC.Base.$fMonadIO{v r1} [(02K, Identifier ‛base:GHC.Base.fail{v 02K}’), (02L, Identifier ‛base:GHC.Base.>>={v 02L}’), (02M, Identifier ‛base:GHC.Base.>>{v 02M}’), (02N, Identifier ‛base:GHC.Base.fmap{v 02N}’), (02O, Identifier ‛base:GHC.Base.return{v 02O}’), (28, Class ‛base:GHC.Base.Monad{tc 28}’), (2a, Class ‛base:GHC.Base.Functor{tc 2a}’), (36r, Type constructor ‛base:GHC.Base.Opaque{tc 36r}’), (36u, Type constructor ‛base:GHC.Base.String{tc 36u}’), (rB, Data constructor ‛base:GHC.Base.O{d rB}’), (rD, Identifier ‛base:GHC.Base.<${v rD}’), (rhP, Identifier ‛base:GHC.Base.O{v rhP}’), (ri5, Data constructor ‛base:GHC.Base.D:Functor{d ri5}’), (rit, Identifier ‛base:GHC.Base.$dm<${v rit}’), (riv, Identifier ‛base:GHC.Base.D:Functor{v riv}’), (riX, Data constructor ‛base:GHC.Base.D:Monad{d riX}’), (rjw, Identifier ‛base:GHC.Base.$dm>>{v rjw}’), (rjx, Identifier ‛base:GHC.Base.$dmfail{v rjx}’), (rjz, Identifier ‛base:GHC.Base.D:Monad{v rjz}’)] ``` -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8374> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 36