November 2014 - ghc-tickets

[GHC] #9318: Type error reported in wrong place with repeated type family expressions
by GHC 22 Nov '14

22 Nov '14

#9318: Type error reported in wrong place with repeated type family expressions -------------------------------------+------------------------------------- Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.8.3 checker) | Differential Revisions: Keywords: | Architecture: Operating System: Unknown/Multiple | Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------- When I say {{{ {-# LANGUAGE TypeFamilies #-} type family F x type instance F Int = Bool foo :: F Int -> () foo True = () bar :: F Int -> () bar 'x' = () }}} I get {{{ /Users/rae/temp/Bug.hs:7:5: Couldn't match type ‘Char’ with ‘Bool’ Expected type: F Int Actual type: Bool In the pattern: True In an equation for ‘foo’: foo True = () /Users/rae/temp/Bug.hs:10:5: Couldn't match type ‘Bool’ with ‘Char’ Expected type: F Int Actual type: Char In the pattern: 'x' In an equation for ‘bar’: bar 'x' = () }}} The second error is most certainly correct, but the first one is most certainly not. Note that the first error is reported on the definition of `foo`, which should type-check. Also, the "Couldn't match ..." bit doesn't correspond at all with the expected/actual bit. And, the expected/actual bit shows two types that are in fact equal. This behavior can be seen in HEAD (as of Jul. 2), 7.8.3, and 7.8.2. This is a regression from 7.6.3, where this behavior does not appear. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9318> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

Re: [GHC] #7928: GHC fails to terminate while compiling with optimization level 2
by GHC 22 Nov '14

22 Nov '14

#7928: GHC fails to terminate while compiling with optimization level 2 -------------------------------------+------------------------------------- Reporter: Ptharien's | Owner: Flame | Status: closed Type: bug | Milestone: Priority: normal | Version: 7.6.3 Component: Compiler | Keywords: Resolution: fixed | Architecture: x86_64 (amd64) Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Other | Related Tickets: #7898, #7944 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by jstolarek): Ptharien's Flame, can you confirm that this works for you with GHC 7.8.3? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7928#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7908: InstanceSigs suggestion not accepted
by GHC 22 Nov '14

22 Nov '14

#7908: InstanceSigs suggestion not accepted -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 (Type checker) | 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): * component: Compiler => Compiler (Type checker) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7908#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7926: eventfd: unsupported operation when doing anything
by GHC 22 Nov '14

22 Nov '14

#7926: eventfd: unsupported operation when doing anything ----------------------------------------+---------------------------------- Reporter: guest | Owner: AndreasVoellmy Type: bug | Status: closed Priority: low | Milestone: ⊥ Component: Compiler | Version: 7.6.3 Resolution: worksforme | Keywords: Operating System: Linux | Architecture: x86_64 (amd64) Type of failure: Runtime crash | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | ----------------------------------------+---------------------------------- Changes (by thomie): * status: new => closed * resolution: => worksforme Comment: Since we haven't had any new reports on this, and the `eventfd` bug report mentioned in comment:7 was later closed for being a kernel bug, I'm closing this issue. Please re-open if there are still problems running ghc or ghci on Debian Jessie. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7926#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7928: GHC fails to terminate while compiling with optimization level 2
by GHC 22 Nov '14

22 Nov '14

#7928: GHC fails to terminate while compiling with optimization level 2 -------------------------------------+------------------------------------- Reporter: Ptharien's | Owner: Flame | Status: closed Type: bug | Milestone: Priority: normal | Version: 7.6.3 Component: Compiler | Keywords: Resolution: fixed | Architecture: x86_64 (amd64) Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: Other | Related Tickets: #7898, #7944 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * resolution: => fixed Comment: I tried the `cabal` command from the description. ghc-7.6.3 indeed gets stuck at some point, although for me it happens in the last step, when it is compiling `random-fu` itself. With ghc-7.8.3 I do manage to install `random-fu` however, so I'm calling this one fixed. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7928#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7934: usleep hangs, no threads
by GHC 22 Nov '14

22 Nov '14

#7934: usleep hangs, no threads -------------------------------------+------------------------------------- Reporter: gelisam | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Runtime | Version: 7.4.2 System | Keywords: Resolution: | Architecture: x86_64 (amd64) Operating System: MacOS X | Difficulty: Unknown Type of failure: Incorrect | Blocked By: result at runtime | Related Tickets: 1156 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * cc: simonmar (added) * difficulty: => Unknown Comment: I can not reproduce this on Linux. gelisam: does it still occur with ghc 7.6.3 or 7.8.3 on Mac OS X? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7934#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7947: Name conflict with DerivingDataTypeable, StandaloneDeriving and qualified imports
by GHC 22 Nov '14

22 Nov '14

#7947: Name conflict with DerivingDataTypeable, StandaloneDeriving and qualified imports -------------------------------------+------------------------------------- Reporter: a.ulrich | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.7 (Type checker) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHC | Related Tickets: rejects valid program | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * difficulty: => Unknown * component: Compiler => Compiler (Type checker) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7947#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7949: Haskell Platform doesn't build on Fedora 17
by GHC 22 Nov '14

22 Nov '14

#7949: Haskell Platform doesn't build on Fedora 17 -------------------------------------+------------------------------------ Reporter: photex | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: worksforme | Keywords: Operating System: Linux | Architecture: Unknown/Multiple Type of failure: Other | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------ Changes (by thomie): * status: new => closed * resolution: => worksforme Comment: Sorry to hear you had this problem. Please try the latest [https://www.haskell.org/platform/linux.html release] of the Haskell Platform and report any installation issues you might have in the [https://github.com/haskell/haskell-platform issue tracker]. It should work on both Fedora as Ubuntu. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7949#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7956: ghci segfaults with -vN command-line options
by GHC 21 Nov '14

21 Nov '14

#7956: ghci segfaults with -vN command-line options -------------------------------------+------------------------------------- Reporter: mvanier | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: worksforme | Keywords: ghci, -v0, Operating System: MacOS X | segfault Type of failure: GHCi crash | Architecture: Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: Differential Revisions: | Related Tickets: -------------------------------------+------------------------------------- Changes (by thomie): * status: new => closed * difficulty: => Unknown * resolution: => worksforme Comment: hvanhier: sorry to hear you ran into this. Please try the ghci shipped with ghc 7.8.3, it should give you less problems on Mac OS X. But do re- open this ticket if it's still not working for you. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7956#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7977: Optimization: Shift dropped list heads by coeffecient to prevent thunk generation
by GHC 21 Nov '14

21 Nov '14

#7977: Optimization: Shift dropped list heads by coeffecient to prevent thunk generation -------------------------------------+------------------------------------- Reporter: schyler | Owner: Type: feature | Status: new request | Milestone: ⊥ Priority: low | Version: 7.4.2 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Difficult (2-5 Unknown/Multiple | days) Type of failure: Runtime | Blocked By: performance bug | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * failure: None/Unknown => Runtime performance bug Comment: Not technically a "Runtime performance bug", but easier to find this way. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7977#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0