September 2013 - ghc-tickets

Re: [GHC] #7971: doesDirectoryExist description differs from its behavior
by GHC 20 Sep '13

20 Sep '13

#7971: doesDirectoryExist description differs from its behavior ------------------------------------------------+-------------------------- Reporter: dsf | Owner: Type: bug | bgamari Priority: normal | Status: patch Component: libraries/directory | Milestone: Resolution: | Version: 7.6.3 Operating System: Unknown/Multiple | Keywords: Type of failure: Incorrect result at runtime | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Changes (by bgamari): * owner: => bgamari -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7971#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7971: doesDirectoryExist description differs from its behavior
by GHC 20 Sep '13

20 Sep '13

#7971: doesDirectoryExist description differs from its behavior ------------------------------------------------+-------------------------- Reporter: dsf | Owner: Type: bug | Status: patch Priority: normal | Milestone: Component: libraries/directory | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect result at runtime | Unknown/Multiple Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Changes (by bgamari): * cc: bgamari@… (added) * difficulty: => Unknown * status: new => patch Comment: I have a patch fixing this here, https://github.com/bgamari/packages- directory/compare/T7971 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7971#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7800: Error message when deriving Typeable without PolyKinds
by GHC 20 Sep '13

20 Sep '13

#7800: Error message when deriving Typeable without PolyKinds -------------------------------------------------+------------------------- Reporter: monoidal | Owner: Type: bug | Status: Priority: normal | closed Component: Compiler | Milestone: 7.8.1 Resolution: fixed | Version: 7.7 Operating System: Unknown/Multiple | Keywords: Type of failure: Incorrect warning at | Architecture: compile-time | Unknown/Multiple Test Case: deriving/should_fail/T7800 | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by simonpj): * status: patch => closed * testcase: => deriving/should_fail/T7800 * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7800#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7800: Error message when deriving Typeable without PolyKinds
by GHC 20 Sep '13

20 Sep '13

#7800: Error message when deriving Typeable without PolyKinds -------------------------------------------------+------------------------- Reporter: monoidal | Owner: Type: bug | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect warning at | Unknown/Multiple compile-time | Difficulty: Test Case: | Unknown Blocking: | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:edf6a82c6c88fe790218a40b048251b7e0e88098/testsuite]: {{{ #!CommitTicketReference repository="testsuite" revision="edf6a82c6c88fe790218a40b048251b7e0e88098" test Trac #7800 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7800#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7866: floor (0/0) :: Int is different with -O0 and -O1
by GHC 20 Sep '13

20 Sep '13

#7866: floor (0/0) :: Int is different with -O0 and -O1 ------------------------------------------------+-------------------------- Reporter: alang9 | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Resolution: invalid | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Incorrect result at runtime | (amd64) Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Comment (by bgamari): Interestingly enough building with `-O1 -fllvm` also results in `0`. However, it seems this is only accidental as the conversion is lowered to `%ln1JE = fptosi double %ln1JD to i64` in LLVM IR which is undefined when the source can't fit in the destination type. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7866#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7800: Error message when deriving Typeable without PolyKinds
by GHC 20 Sep '13

20 Sep '13

#7800: Error message when deriving Typeable without PolyKinds -------------------------------------------------+------------------------- Reporter: monoidal | Owner: Type: bug | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect warning at | Unknown/Multiple compile-time | Difficulty: Test Case: | Unknown Blocking: | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:86033a00d6af909be1f8ac3a638529144ccc26d2/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="86033a00d6af909be1f8ac3a638529144ccc26d2" Improve error message for deriving polykinded Typeable (Trac #7800) Thanks to Krzysztof Gogolewski (monoidal) for the first draft of this patch }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7800#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

20 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: -------------------------------------+------------------------------------ Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:e17072d181158731c00c966e6ebfd86aec942f5b/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="e17072d181158731c00c966e6ebfd86aec942f5b" Refactor AMP warnings a bit There was a bit of clutter (tryTc stuff) caused by the fact that tcLookupImported didn't return a MaybeErr. Now it does. That finishes up Trac #8004. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8004#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7866: floor (0/0) :: Int is different with -O0 and -O1
by GHC 20 Sep '13

20 Sep '13

#7866: floor (0/0) :: Int is different with -O0 and -O1 ------------------------------------------------+-------------------------- Reporter: alang9 | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Resolution: invalid | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Incorrect result at runtime | (amd64) Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Comment (by bgamari): According the IEEE754-1985, Section 7.1 (as I don't have access to the latest version of the standard) attempting to convert an unrepresentable floating point value like should result in an invalid operation exception. The specification states that when there is no trap, the result should be NaN when floating point. The specification makes no statement on what should happen when there is no trap and the destination format is unable to represent NaN. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7866#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7636: threadStackUnderflow: not enough space for return values
by GHC 20 Sep '13

20 Sep '13

#7636: threadStackUnderflow: not enough space for return values ---------------------------------+---------------------------------- Reporter: mojojojo | Owner: simonmar Type: bug | Status: merge Priority: high | Milestone: 7.6.2 Component: Compiler | Version: 7.6.3 Resolution: | Keywords: Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: ---------------------------------+---------------------------------- Comment (by bgamari): I believe all that remains to be done in this bug is to cherrypick 2f7044dee40 onto the ghc-7.6 branch. It seems to apply cleanly. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7636#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7866: floor (0/0) :: Int is different with -O0 and -O1
by GHC 20 Sep '13

20 Sep '13

#7866: floor (0/0) :: Int is different with -O0 and -O1 ------------------------------------------------+-------------------------- Reporter: alang9 | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.2 Resolution: invalid | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Incorrect result at runtime | (amd64) Test Case: | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Changes (by bgamari): * cc: bgamari@… (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7866#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0