September 2013 - ghc-tickets

Re: [GHC] #8004: Applicative/Monad proposal related warnings (AMP phase 1)
by GHC 16 Sep '13

16 Sep '13

#8004: Applicative/Monad proposal related warnings (AMP phase 1) -------------------------------------+------------------------------------ Reporter: quchen | Owner: quchen Type: feature request | Status: patch Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.6.3 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 quchen): * status: new => patch -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8004#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8307: iOS patch: fix hangs in threaded runtime
by GHC 16 Sep '13

16 Sep '13

#8307: iOS patch: fix hangs in threaded runtime -------------------------------------------+------------------------------- Reporter: lukexi | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.8.1 Component: libraries/base | Version: 7.7 Keywords: | Operating System: Other Architecture: arm | Type of failure: Runtime Difficulty: Easy (less than 1 hour) | crash Blocked By: | Test Case: Related Tickets: | Blocking: -------------------------------------------+------------------------------- Extends two darwin_HOST_OS cases in libraries/base/GHC/Event/Manager.hs to cover iOS as well. This fixes hangs occurring on iOS with the threaded runtime. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8307> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32
by GHC 16 Sep '13

16 Sep '13

#7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32 -------------------------------+---------------------------------- Reporter: cetinsert | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: GHCi | Version: 7.6.1-rc1 Resolution: | Keywords: R_X86_64_PC32 Operating System: Windows | Architecture: x86_64 (amd64) Type of failure: GHCi crash | Difficulty: Unknown Test Case: | Blocked By: 3658 Blocking: | Related Tickets: -------------------------------+---------------------------------- Comment (by igloo): If they aren't pushed, then they don't exist. 20d8e8c3e15c9d559db32c2ce1e9caf31572e5d8 looks like it should do the job, though. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7134#comment:29> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5610: Improve "Unacceptable argument type in foreign declaration" error message
by GHC 16 Sep '13

16 Sep '13

#5610: Improve "Unacceptable argument type in foreign declaration" error message -------------------------------------------------+------------------------- Reporter: bgamari | Owner: Type: feature request | Status: new Priority: high | Milestone: 7.4.1 Component: Compiler (Type checker) | Version: Resolution: | 7.6.1-rc1 Operating System: Unknown/Multiple | Keywords: Type of failure: Incorrect warning at | Architecture: compile-time | Unknown/Multiple Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by aavogt): * cc: vogt.adam@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5610#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8306: NegativeLiterals allows negative type-level integers
by GHC 16 Sep '13

16 Sep '13

#8306: NegativeLiterals allows negative type-level integers -------------------------------------+------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: GHC accepts Difficulty: Easy (less than 1 | invalid program hour) | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- With NegativeLiterals extension it is possible to write negative type- level "naturals" {{{ type T = -1 }}} while the current solver assumes everything is nonnegative and claims 0 <= -1. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8306> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #7637: split-objs not supported for ARM
by GHC 16 Sep '13

16 Sep '13

#7637: split-objs not supported for ARM -------------------------------------------------+------------------------- Reporter: singpolyma | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: arm Type of failure: Compile-time performance bug | Difficulty: Test Case: | Unknown Blocking: | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by rwbarton): Looks like the email is now at http://www.haskell.org/pipermail/ghc- devs/2013-January/000190.html. The original report is at http://www.haskell.org/pipermail/glasgow- haskell-users/2013-January/022137.html. But I imagine nowadays people would want to use the LLVM backend on ARM... which doesn't seem to support split-objs either: see #8300. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7637#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8302: Add 'bool' to Data.Bool
by GHC 16 Sep '13

16 Sep '13

#8302: Add 'bool' to Data.Bool -------------------------------------------+------------------------------- Reporter: ocharles | Owner: Type: feature request | Status: new Priority: normal | Milestone: 7.8.1 Component: libraries/base | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Easy (less than 1 hour) | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: -------------------------------------------+------------------------------- As mentioned in http://www.haskell.org/pipermail/libraries/2013-September/020492.html I propose we add the 'bool' function to 'Data.Bool'. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8302> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

Re: [GHC] #5987: Too many symbols in ghc package DLL
by GHC 16 Sep '13

16 Sep '13

#5987: Too many symbols in ghc package DLL -------------------------------------+------------------------------------ Reporter: igloo | Owner: Type: bug | Status: closed Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.5 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: 3658 | Related Tickets: -------------------------------------+------------------------------------ Comment (by awson): Now x86_64 build fails on Windows again: {{{ Number of symbols in compiler/stage2/build/libHSghc-7.7.20130915-0-ghc7.7.20130915.dll: 65583 ... Too many symbols in DLL compiler/stage2/build/libHSghc-7.7.20130915-0-ghc7.7.20130915.dll }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5987#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2110: Rules to eliminate casted id's
by GHC 16 Sep '13

16 Sep '13

#2110: Rules to eliminate casted id's -------------------------------------+------------------------------------ Reporter: igloo | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by nomeata): Message by SPJ, who is writing mails on planes: I’m not convinced about your solution. It seems a bit of a hack. Moreover, the very same issue arises for ordinary type classes, so I’d prefer to solve it for all of them at once. Finally, the very existence of `Coercible` is going to eliminate most of these `(map Age)` calls anyhow. Using them, and then a RULE to optimise them away, seems perverse. Do paste this email into the ticket... I’m on a plane. {{{ Suppose f :: (a->a->a) -> [a] -> [a], and fGr :: [a] -> [a] }}} Now consider {{{ {-# RULE “foo” f (>) = fGr #-} }}} which would translate to the following CoreRule: {{{ forall a, d:Ord a. f a ((>) a d) = fGr }}} If we saw a call to `f` in a polymorphic context, the rule would fire {{{ g :: Ord a => [a] -> blah g xs = ...(f (>) xs).... }}} But if we specialise g with a type signature, suddenly the rule wouldn’t fire: {{{ g :: [Int] -> blah g xs = ...(f (>) xs).... }}} Why? Because the `(>)` would simplify to grInt, which isn’t what the RULE looks for. This is similar to your use of coerce simplifying too eagerly. The right solution seems to be to give the RULE a chance to fire before inlining/simplifying calls to `(>)`. One way to do that is to prevent the `ClassOp` rule (defined in `MkId`) from firing in the “gentle” phase, which is always the first simplifier phase. I’m not sure of the consequences of that; see Note [RULEs enabled in !SimplGently] in !CoreMonad. Moreover currently !BuiltinRules don’t have an Activation to say when they should be active. This would be easy to change though. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2110#comment:39> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7186: problems with typelits and typenats
by GHC 16 Sep '13

16 Sep '13

#7186: problems with typelits and typenats --------------------------------------------+------------------------------ Reporter: carter | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.8.1 Component: Compiler (Type checker) | Version: 7.6.1-rc1 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Changes (by monoidal): * status: new => closed * resolution: => fixed Comment: With new type-level naturals 1<=2 example compiles in HEAD. The second problem, displaying kind variables, is covered by #8084 so I'll close this ticket. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7186#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0