November 2014 - ghc-tickets

[GHC] #8100: Standalone deriving using template haskell
by GHC 01 Dec '14

01 Dec '14

#8100: Standalone deriving using template haskell ------------------------------------+------------------------------------- Reporter: acube | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Currently, there seems to be no support for standalone deriving in TemplateHaskell: {{{ Prelude Data.Typeable Language.Haskell.TH> :set -XStandaloneDeriving Prelude Data.Typeable Language.Haskell.TH> data Weird a (b :: * -> * -> *) c = Weird Prelude Data.Typeable Language.Haskell.TH> runQ $ [d| deriving instance Typeable Weird |] [] }}} ''Use case'': The library [http://hackage.haskell.org/package/typeable-th typeable-th] can already generate Typeable instances using TH for GHC 7.4 and 7.6. To add support for GHC 7.8 in a way that the user doesn't have to care about the version, there has to be a way to make Typeable instances via TH in GHC 7.8. This is currently impossible, but with StandaloneDeriving support for TH, it would be possible. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8100> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

[GHC] #9005: Ship default bash completion file with ghc
by GHC 01 Dec '14

01 Dec '14

#9005: Ship default bash completion file with ghc ------------------------------------+------------------------------------- Reporter: td123 | Owner: Type: feature request | Status: new Priority: lowest | Milestone: Component: None | Version: 7.8.2 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- Now that ticket #7843 has been closed, it would be great to ship a default implementation of a bash completion file for ghc. Since there isn't a standard location to install completion files across distros, it might be good to have an optional flag during configure to specify a location and if one is specified, install the bash completion file into that location. The following links provide implementations that have worked for me: http://www.reddit.com/r/haskell/comments/236qkb/autocomplete_command_line_o… https://ghc.haskell.org/trac/ghc/wiki/AutocompleteGHCFlags -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9005> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #9828: genprimopcode: parse error
by GHC 01 Dec '14

01 Dec '14

#9828: genprimopcode: parse error ----------------------------+---------------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 Keywords: | Operating System: Linux Architecture: powerpc | Type of failure: Building GHC failed Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: ----------------------------+---------------------------------------------- Building git HEAD on powerpc-linux I get: {{{ "inplace/bin/genprimopcode" --data-decl < compiler/stage1/build/primops.txt > compiler/stage1/build/primop-data-decl.hs-incl genprimopcode: parse error at "Parse error at line 42, column 8" }}} If I look at line 42 of `compiler/stage1/build/primops.txt` I see: {{{ -- SCALAR_TYPE is the scalar type used to inject to/project from vector }}} The word "vector" from the comment got wrapped onto the next line for no good reason. I've checked the file `compiler/prelude/primops.txt.pp` which is processed to generate the file I'm having problems with and that file is fine. I've cloned a new copy of the repo and done the usual `perl boot && ./configure && make` only to see exactly the same result. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9828> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #4105: ffi005 fails on OS X
by GHC 01 Dec '14

01 Dec '14

#4105: ffi005 fails on OS X -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: new Priority: low | Milestone: 7.10.1 Component: Compiler | Version: 6.12.2 (FFI) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: MacOS X | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | ffi/should_run/ffi005 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * testcase: ffi005 => ffi/should_run/ffi005 * difficulty: => Unknown * component: Compiler => Compiler (FFI) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4105#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4121: Refactor the plumbing of CafInfo to make it more robust
by GHC 01 Dec '14

01 Dec '14

#4121: Refactor the plumbing of CafInfo to make it more robust -------------------------------------+------------------------------------- Reporter: dterei | Owner: Type: task | Status: new Priority: low | Milestone: 7.10.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * difficulty: => Unknown * type: bug => task * failure: Building GHC failed => None/Unknown Comment: The "horrible hack" is still there. This ticket is currently not listed on [wiki:Status/SLPJ-Tickets]. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4121#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4150: CPP+QuasiQuotes confuses compilation errors' line numbers
by GHC 01 Dec '14

01 Dec '14

#4150: CPP+QuasiQuotes confuses compilation errors' line numbers -------------------------------------+------------------------------------- Reporter: yairchu | Owner: Type: bug | Status: new Priority: low | Milestone: 7.10.1 Component: Compiler | Version: 6.12.3 (Parser) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Incorrect | Related Tickets: warning at compile-time | Test Case: | quasiquotation/T4150 | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * testcase: => quasiquotation/T4150 * difficulty: => Unknown -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4150#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4222: Template Haskell lets you reify supposedly-abstract data types
by GHC 01 Dec '14

01 Dec '14

#4222: Template Haskell lets you reify supposedly-abstract data types -------------------------------------+------------------------------------- Reporter: simonpj | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: low | Version: 6.12.3 Component: Template | Keywords: Haskell | 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): * difficulty: => Unknown * component: Compiler => Template Haskell -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4222#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4288: Poor -fspec-constr-count=n warning messages
by GHC 01 Dec '14

01 Dec '14

#4288: Poor -fspec-constr-count=n warning messages -------------------------------------+------------------------------------- Reporter: igloo | Owner: Type: bug | Status: new Priority: low | Milestone: 7.10.1 Component: Compiler | Version: 6.13 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * difficulty: => Unknown Old description: > The attached file, compiled with > {{{ > ghc -O2 -fspec-constr-count=5 -c q.hs > }}} > gives a number of messages like > {{{ > SpecConstr > Function `$j_X1BO{v} [lid]' > has one call pattern, but the limit is 0 > Use -fspec-constr-count=n to set the bound > Use -dppr-debug to see specialisations > SpecConstr > Function `$j_X1BR{v} [lid]' > has two call patterns, but the limit is 1 > Use -fspec-constr-count=n to set the bound > Use -dppr-debug to see specialisations > }}} > Note that the limit doesn't match the `spec-constr-count` we set. > > The "limit" given is `sc_count`, but `decreaseSpecCount` changes > `sc_count` from its default of `specConstrCount dflags`. However, if this > was fixed then we would get even stranger messages like > {{{ > has two call patterns, but the limit is 5 > }}} New description: The attached file, compiled with {{{ ghc -O2 -fspec-constr-count=5 -ddpr-debug -c q.hs }}} gives a number of messages like {{{ SpecConstr Function `$j_X1BO{v} [lid]' has one call pattern, but the limit is 0 Use -fspec-constr-count=n to set the bound Use -dppr-debug to see specialisations SpecConstr Function `$j_X1BR{v} [lid]' has two call patterns, but the limit is 1 Use -fspec-constr-count=n to set the bound Use -dppr-debug to see specialisations }}} Note that the limit doesn't match the `spec-constr-count` we set. The "limit" given is `sc_count`, but `decreaseSpecCount` changes `sc_count` from its default of `specConstrCount dflags`. However, if this was fixed then we would get even stranger messages like {{{ has two call patterns, but the limit is 5 }}} -- Comment: The messages are suppressed, unless you use `-dppr-debug`. See #5125. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4288#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4290: hClose002 test fails on Solaris/x86 due to bad expected output
by GHC 01 Dec '14

01 Dec '14

#4290: hClose002 test fails on Solaris/x86 due to bad expected output -------------------------------------+------------------------------------- Reporter: kgardas | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Test Suite | Version: 7.9 Resolution: fixed | Keywords: Operating System: Solaris | Architecture: x86_64 (amd64) Type of failure: | Difficulty: Easy (less than 1 None/Unknown | hour) Test Case: hClose002 | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4290#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4301: Optimisations give bad core for foldl' (flip seq) ()
by GHC 01 Dec '14

01 Dec '14

#4301: Optimisations give bad core for foldl' (flip seq) () -------------------------------------+------------------------------------- Reporter: | Owner: daniel.is.fischer | Status: new Type: bug | Milestone: 7.10.1 Priority: low | Version: 6.12.3 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Runtime | Related Tickets: performance bug | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: dfeuer (added) * difficulty: => Unknown Comment: `foldl'` doesn't seem to get inlined with HEAD. I don't know if this ticket is still relevant. {{{ $ cat test.hs module Foo where import Data.List foo :: [a] -> () foo = foldl' (flip seq) () $ ghc-7.9.20141125 -ddump-simpl -dsuppress-all -fforce-recomp -O test.hs ... foo1 foo1 = \ @ a_aua x_auY y_auZ -> case y_auZ of _ { __DEFAULT -> x_auY } foo foo = \ @ a_aua -> foldl' (foo1) () }}} With 7.8.3: {{{ $ ghc-7.8.3 -ddump-simpl -dsuppress-all -fforce-recomp -O test.hs ... Rec { foo1 foo1 = \ @ a_avy w_sP6 -> case case w_sP6 of _ { [] -> (); : x_aOm xs_aOn -> case x_aOm of _ { __DEFAULT -> case foo1 xs_aOn of _ { (# #) -> () } } } of _ { () -> (##) } end Rec } foo foo = \ @ a_avy w_sPd -> case foo1 w_sPd of _ { (# #) -> () } }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4301#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0