September 2013 - ghc-tickets

[GHC] #8262: Ill-kinded value is not rejected immediately
by GHC 17 Sep '13

17 Sep '13

#8262: Ill-kinded value is not rejected immediately -------------------------------------+------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Compiler (Type | Version: 7.7 checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC accepts Architecture: Unknown/Multiple | invalid program Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- The expression `Just (1#)` is ill-kinded, since `Just` expects a parameter of type `a :: *` not `#`. GHC 7.6.3 recognizes this {{{ λ> :t Just (1#) <interactive>:1:7: Couldn't match kind `*' against `#' Kind incompatibility when matching types: a0 :: * GHC.Prim.Int# :: # In the first argument of `Just', namely `(1#)' In the expression: Just (1#) }}} while HEAD gives {{{ λ> :t Just (1#) Just (1#) :: a ~ GHC.Prim.Int# => Maybe a }}} Not a big deal, attempting to do anything with this value gives the same error as in 7.6.3. But still, I think it should be rejected as ill-kinded at sight. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8262> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

Re: [GHC] #7723: iOS patch no 12: Itimer.c doesn't work on iOS
by GHC 17 Sep '13

17 Sep '13

#7723: iOS patch no 12: Itimer.c doesn't work on iOS --------------------------------------+--------------------------- Reporter: StephenBlackheath | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Runtime System | Version: 7.7 Resolution: | Keywords: Operating System: Other | Architecture: arm Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: --------------------------------------+--------------------------- Comment (by simonmar): Stephen - thanks for following up on this, I'm glad we're keeping an eye on when we can remove platform-specific workarounds. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7723#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5435: GHCi linker should run constructors for linked libraries
by GHC 17 Sep '13

17 Sep '13

#5435: GHCi linker should run constructors for linked libraries -------------------------------------+------------------------------------ Reporter: pumpkin | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.2.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: 7746, 8199 | Related Tickets: #3658 -------------------------------------+------------------------------------ Comment (by simonmar): Great work Edward! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5435#comment:38> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5435: GHCi linker should run constructors for linked libraries
by GHC 17 Sep '13

17 Sep '13

#5435: GHCi linker should run constructors for linked libraries -------------------------------------+------------------------------------ Reporter: pumpkin | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.2.1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: 7746, 8199 | Related Tickets: #3658 -------------------------------------+------------------------------------ Changes (by ezyang): * status: infoneeded => closed * resolution: => fixed * blockedby: 3658 => Comment: OK, all done. (PS: Windows system linker does NOT honor init_array sections, so I didn't implement it.) To repeat: file a new ticket for destructors if you need 'em. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5435#comment:37> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5435: GHCi linker should run constructors for linked libraries
by GHC 17 Sep '13

17 Sep '13

#5435: GHCi linker should run constructors for linked libraries -------------------------------------+------------------------------------ Reporter: pumpkin | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: 3658 Blocking: 7746, 8199 | Related Tickets: #3658 -------------------------------------+------------------------------------ Comment (by Edward Z. Yang <ezyang@…>): In [changeset:28e921b2954ef0afe08c9f96d779fb845e513421/testsuite]: {{{ #!CommitTicketReference repository="testsuite" revision="28e921b2954ef0afe08c9f96d779fb845e513421" Finish up asm test #5435 for Mac OS X Signed-off-by: Edward Z. Yang <ezyang(a)mit.edu> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5435#comment:36> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6084: Add stg_ap_pnnv and related call patterns
by GHC 17 Sep '13

17 Sep '13

#6084: Add stg_ap_pnnv and related call patterns -------------------------------------+------------------------------------ Reporter: SimonMeier | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Runtime System | Version: 7.4.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 carter): * owner: simonmar => * status: closed => new * resolution: wontfix => Comment: it seems like we have more examples in the form of http://ghc.haskell.org/trac/ghc/ticket/8313 for this ticket, or something very close to it, is this matter or something like it worth revisiting? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6084#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5435: GHCi linker should run constructors for linked libraries
by GHC 17 Sep '13

17 Sep '13

#5435: GHCi linker should run constructors for linked libraries -------------------------------------+------------------------------------ Reporter: pumpkin | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: 3658 Blocking: 7746, 8199 | Related Tickets: #3658 -------------------------------------+------------------------------------ Comment (by Edward Z. Yang <ezyang@…>): In [changeset:b3c5baa2663b183a9b77a8daf10303a36b99bcc7/testsuite]: {{{ #!CommitTicketReference repository="testsuite" revision="b3c5baa2663b183a9b77a8daf10303a36b99bcc7" Implement assembly test for #5435 in Windows. Fixes HostOS bug, where the define was not being set. Signed-off-by: Edward Z. Yang <ezyang(a)mit.edu> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5435#comment:35> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5435: GHCi linker should run constructors for linked libraries
by GHC 17 Sep '13

17 Sep '13

#5435: GHCi linker should run constructors for linked libraries -------------------------------------+------------------------------------ Reporter: pumpkin | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.2.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: 3658 Blocking: 7746, 8199 | Related Tickets: #3658 -------------------------------------+------------------------------------ Comment (by Edward Z. Yang <ezyang@…>): In [changeset:3c313be6aeacda3c704c114e3477083bad7432a1/testsuite]: {{{ #!CommitTicketReference repository="testsuite" revision="3c313be6aeacda3c704c114e3477083bad7432a1" New and improved tests for #5435. Linux only at the moment. Added a new test Makefile variable $(dllext), which is instantiated to .dll or .so or .dylib depending on your platform. Signed-off-by: Edward Z. Yang <ezyang(a)mit.edu> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5435#comment:34> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7723: iOS patch no 12: Itimer.c doesn't work on iOS
by GHC 17 Sep '13

17 Sep '13

#7723: iOS patch no 12: Itimer.c doesn't work on iOS --------------------------------------+--------------------------- Reporter: StephenBlackheath | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: Runtime System | Version: 7.7 Resolution: | Keywords: Operating System: Other | Architecture: arm Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: --------------------------------------+--------------------------- Changes (by StephenBlackheath): * status: patch => new Comment: Put a hold on integrating this. It makes my app perform reaaalllyyy slllloowwllly when running in the debugger. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7723#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6166: Performance regression in mwc-random since 7.0.x
by GHC 17 Sep '13

17 Sep '13

#6166: Performance regression in mwc-random since 7.0.x --------------------------------------------+------------------------------ Reporter: bos | Owner: Type: bug | Status: new Priority: high | Milestone: 7.6.2 Component: Compiler | Version: 7.4.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86_64 Type of failure: Runtime performance bug | (amd64) Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by simonpj): Thank you for a stripped-down case. Can you explain exactly how to demonstrate the bug with this test program? Ie "Try X and program runs in 2s; make trivial change to Y and it takes 10s". Or whatever. Does it need `mwc-random` in all its glory, or would it be possible to make a standalone test case? Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6166#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0