December 2014 - ghc-tickets

[GHC] #8548: Coercible does not resolve type family application
by GHC 02 Dec '14

02 Dec '14

#8548: Coercible does not resolve type family application -------------------------------------------+------------------------------- Reporter: nomeata | Owner: nomeata Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type checker) | Version: 7.6.3 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: #8503 | Test Case: | Blocking: -------------------------------------------+------------------------------- With GND implemented using `Coercible` (See #8503) the test for #4185 fails. A minimal example is: {{{ {-# LANGUAGE TypeFamilies #-} module CoerceNewtypeFamily where import GHC.Exts data family Foo k newtype instance Foo Int = FooInt Int x :: Foo Int -> Int x = coerce }}} yielding {{{ [1 of 1] Compiling CoerceNewtypeFamily ( CoerceNewtypeFamily.hs, CoerceNewtypeFamily.o ) CoerceNewtypeFamily.hs:11:5: No instance for (Coercible (Foo Int) Int) because ‛Foo Int’ and ‛Int’ are different types. arising from a use of ‛coerce’ In the expression: coerce In an equation for ‛x’: x = coerce }}} I guess the `Coercible` finding code needs to simply type family equations if possible. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8548> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

Re: [GHC] #3517: GHC has lots of extra hidden IOErrorType values
by GHC 02 Dec '14

02 Dec '14

#3517: GHC has lots of extra hidden IOErrorType values -------------------------------------+------------------------------------- Reporter: duncan | Owner: Type: feature | Status: new request | Milestone: Priority: low | Version: Component: Core | Keywords: Libraries | 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/3517#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3557: CPU Vector instructions in GHC.Prim
by GHC 02 Dec '14

02 Dec '14

#3557: CPU Vector instructions in GHC.Prim -------------------------------------+------------------------------------- Reporter: guest | Owner: Type: feature | Status: new request | Milestone: ⊥ Priority: normal | Version: 6.11 Component: Data | Keywords: Parallel Haskell | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: Runtime | performance bug | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by carter): Theres some basic simd in GHC.Prim today, but its only usable via the -fllvm backend, and the design as is, is unsuitable for supporting on the NCG. I think we'll have to rework those apis to have a sane story of supporting operations on both ncg and llvm. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3557#comment:49> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3517: GHC has lots of extra hidden IOErrorType values
by GHC 02 Dec '14

02 Dec '14

#3517: GHC has lots of extra hidden IOErrorType values -------------------------------------+------------------------------------- Reporter: duncan | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Core | Version: Libraries | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * owner: ekmett => * status: closed => new * resolution: fixed => Comment: Yuras > thomie: (re #3517) But InvalidArgument is still not exported Yuras > and there is a number of other ghc-specific types Yuras > also, http://stackoverflow.com/questions/17363277/haskell- catching-low-level-io-exceptions/17363433#17363433 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3517#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3483: Some mechanism for eliminating "absurd" patterns
by GHC 02 Dec '14

02 Dec '14

#3483: Some mechanism for eliminating "absurd" patterns -------------------------------------+------------------------------------- Reporter: ryani | Owner: Type: feature | Status: new request | Milestone: 7.10.1 Priority: low | Version: 6.10.4 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: goldfire (added) * failure: => None/Unknown -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3483#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3541: Allow local foreign imports
by GHC 02 Dec '14

02 Dec '14

#3541: Allow local foreign imports -------------------------------------+------------------------------------- Reporter: mokus | Owner: Type: feature | Status: new request | Milestone: ⊥ Priority: normal | Version: 6.10.4 Component: Compiler | Keywords: newcomer (FFI) | Architecture: Unknown/Multiple Resolution: | Difficulty: Moderate (less Operating System: | than a day) Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * keywords: => newcomer * failure: => None/Unknown -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3541#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3517: GHC has lots of extra hidden IOErrorType values
by GHC 02 Dec '14

02 Dec '14

#3517: GHC has lots of extra hidden IOErrorType values -------------------------------------+------------------------------------- Reporter: duncan | Owner: ekmett Type: bug | Status: closed Priority: low | Milestone: Component: Core | Version: Libraries | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: core-libraries-committee@… (added) * status: new => closed * resolution: => fixed * milestone: 7.10.1 => Comment: > Ideally we would be moving to an extensible exception hierarchy, of course. This has happened. Please re-open if there's still a problem here. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3517#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3533: mac installer package deletes old version of ghc
by GHC 02 Dec '14

02 Dec '14

#3533: mac installer package deletes old version of ghc -------------------------------------+------------------------------------- Reporter: | Owner: malcolm.wallace@… | Status: new Type: bug | Milestone: 7.10.1 Priority: lowest | Version: 6.10.4 Component: Build | Keywords: System | Architecture: x86 Resolution: | Difficulty: Unknown Operating System: MacOS X | Blocked By: Type of failure: Installing | Related Tickets: GHC failed | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * failure: => Installing GHC failed * component: Compiler => Build System -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3533#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3557: CPU Vector instructions in GHC.Prim
by GHC 02 Dec '14

02 Dec '14

#3557: CPU Vector instructions in GHC.Prim -------------------------------------+------------------------------------- Reporter: guest | Owner: Type: feature | Status: new request | Milestone: ⊥ Priority: normal | Version: 6.11 Component: Data | Keywords: Parallel Haskell | Architecture: Unknown/Multiple Resolution: | Difficulty: Unknown Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: Runtime | performance bug | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * failure: None/Unknown => Runtime performance bug * component: Compiler (NCG) => Data Parallel Haskell -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3557#comment:48> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3625: GHCI doesn't work with dtrace on OS X
by GHC 02 Dec '14

02 Dec '14

#3625: GHCI doesn't work with dtrace on OS X -------------------------------------+------------------------------------- Reporter: rl | Owner: Type: bug | Status: closed Priority: low | Milestone: 7.10.1 Component: GHCi | Version: 6.10.4 Resolution: worksforme | Keywords: Operating System: MacOS X | Architecture: Unknown/Multiple Type of failure: | Difficulty: Unknown None/Unknown | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => worksforme Comment: Replying to [comment:11 lelf]: > {{{ > Betty:cbits lelf$ sudo dtrace -i 'demo- trace{printf("%s",copyinstr(arg0))}' > dtrace: description 'demo-trace' matched 1 probe > CPU ID FUNCTION:NAME > 0 2547 demo_trace:demo-trace rzzzz > 1 2547 demo_trace:demo-trace foo > 0 2547 demo_trace:demo-trace bar > 0 2547 demo_trace:demo-trace bzzzzz > }}} > > Seems to work Please re-open if there's still a problem with dtrace on OS X. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3625#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0