March 2013 - ghc-tickets

[GHC] #7704: Phantom types break new polykind Typeable with either StandaloneDeriving or AutoDeriveTypeable
by GHC 11 Mar '13

11 Mar '13

#7704: Phantom types break new polykind Typeable with either StandaloneDeriving or AutoDeriveTypeable -----------------------------+---------------------------------------------- Reporter: nwf | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- This test program, reduced from an attempt to bring ekmett's tagged package to HEAD, {{{ {-# LANGUAGE DeriveDataTypeable #-} {-# LANGUAGE PolyKinds #-} {-# LANGUAGE AutoDeriveTypeable #-} newtype Tagged s b = Tagged { unTagged :: b } }}} results in {{{ GHCi, version 7.7.20130218: http://www.haskell.org/ghc/ :? for help Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. [1 of 1] Compiling Main ( typeable.hs, interpreted ) typeable.hs:5:1: Derived typeable instance must be of form (Typeable Tagged) In the stand-alone deriving instance for `Data.Typeable.Internal.Typeable Tagged' }}} This message is also emitted if I replace `AutoDeriveTypeable` `StandaloneDeriving` and `deriving instance Typeable Tagged`. However, a "deriving (Typeable)" clause on the newtype definition works just fine. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7704> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #7750: Pretty printing of human-readable integers is incorrect
by GHC 11 Mar '13

11 Mar '13

#7750: Pretty printing of human-readable integers is incorrect -----------------------------+---------------------------------------------- Reporter: parcs | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- I noticed this while inspecting the output of simplifier passes: {{{ *** Float inwards: Result size of Float inwards = {terms: 1,47, types: 6,532, coercions: 287} }}} `1,47` is printed instead of `1,047`. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7750> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #7758: Remove cg_tag field from CgIdInfo
by GHC 11 Mar '13

11 Mar '13

#7758: Remove cg_tag field from CgIdInfo -----------------------------+---------------------------------------------- Reporter: bosu | Owner: Type: task | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- Apparently it is used nowhere now. To do the removal I've needed to detabify StgCmmEnv.hs, StgCmmMonad.hs first. Respective patches are attached. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7758> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #7757: Remove unused functions from compiler/codeGen/StgCmmUtils.hs
by GHC 11 Mar '13

11 Mar '13

#7757: Remove unused functions from compiler/codeGen/StgCmmUtils.hs -----------------------------+---------------------------------------------- Reporter: bosu | Owner: Type: task | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- cmmConstrTag, cmmGetTag are used nowhere. Attached is the patch to remove them. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7757> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #7756: Remove warning suppressions from compiler/cmm/CmmCommonBlockElim.hs
by GHC 11 Mar '13

11 Mar '13

#7756: Remove warning suppressions from compiler/cmm/CmmCommonBlockElim.hs -----------------------------+---------------------------------------------- Reporter: bosu | Owner: Type: task | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: None/Unknown | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- It compiles fine without them now. The patch is attached -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7756> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #7755: Remove commented out code in compiler/codeGen/StgCmmHeap.hs
by GHC 11 Mar '13

11 Mar '13

#7755: Remove commented out code in compiler/codeGen/StgCmmHeap.hs -----------------------------+---------------------------------------------- Reporter: bosu | Owner: Type: task | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Other | Blockedby: Blocking: | Related: -----------------------------+---------------------------------------------- It looks pretty ancient. In any case it would be preserved in git history forever. :) Patch against HEAD is attached. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7755> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #7722: iOS patch no 11: Fix quirk with runtime loader
by GHC 08 Mar '13

08 Mar '13

#7722: iOS patch no 11: Fix quirk with runtime loader ------------------------------+--------------------------------------------- Reporter: StephenBlackheath | Owner: Type: feature request | Status: new Priority: normal | Component: Compiler Version: 7.7 | Keywords: Os: Other | Architecture: arm Failure: None/Unknown | Blockedby: Blocking: | Related: ------------------------------+--------------------------------------------- On iOS, due to a quirk, we must put references to external symbols into the data segment. If, for example, we have a declaration like this: {{{ foreign import ccall unsafe "static stdlib.h &free" c_free_finalizer :: FunPtr (Ptr Word8 -> IO ()) }}} ...then it tries to resolve the address of 'free' at runtime. The loader then attempts to write that address into the text segment. On iOS, modifying the text segment is not allowed, and so a runtime exception is thrown. We work around this issue by fetching the reference to the external symbol from the data segment. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7722> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

Re: [GHC] #5075: CPR optimisation for sum types if only one constructor is used
by GHC 08 Mar '13

08 Mar '13

#5075: CPR optimisation for sum types if only one constructor is used ---------------------------------+------------------------------------------ Reporter: batterseapower | Owner: simonpj Type: feature request | Status: patch Priority: normal | Milestone: 7.6.2 Component: Compiler | Version: 7.0.3 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ---------------------------------+------------------------------------------ Changes (by simonpj): * cc: nfrisby@… (added) Comment: Indeed. But the opportunity only arises after `SpecConstr`, and we don't currently run the demand/CPR analyser after `SpecConstr`, we run it before. Several other tickets (#6087, #5302, #6070) identify other opportunities that could be exploited by running the demand analyser again, late in the optimisation pipeline. Nick Frisby is planning to experiment with this. Thanks for a new example. Simon -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5075#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4471: Incorrect Unicode output on Windows Console
by GHC 08 Mar '13

08 Mar '13

#4471: Incorrect Unicode output on Windows Console -------------------------+-------------------------------------------------- Reporter: sankeld | Owner: Type: bug | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler | Version: 6.12.3 Keywords: | Os: Windows Architecture: x86 | Failure: Incorrect result at runtime Difficulty: | Testcase: Blockedby: | Blocking: Related: | -------------------------+-------------------------------------------------- Changes (by shelarcy): * cc: shelarcy@… (added) -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4471#comment:18> 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 08 Mar '13

08 Mar '13

#7428: GHC compile times are seriously non-linear in program size ---------------------------------+------------------------------------------ Reporter: nudded | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.4.2 Resolution: | Keywords: Os: MacOS X | Architecture: x86_64 (amd64) Failure: Compile-time crash | Difficulty: Unknown Testcase: | Blockedby: Blocking: | Related: ---------------------------------+------------------------------------------ Comment(by parcs): I've attached a cleaned-up version of `cont-state8.hs` and an output log of {{{ghc-stage2 -O2 cont-state8.hs -fforce-recomp -Wall -v +RTS -M1G -RTS}}} to help move this ticket forward. -- Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7428#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0