[GHC] #9117: Coercible constraint solver misses one
GHC
ghc-devs at haskell.org
Tue May 20 08:53:25 UTC 2014
#9117: Coercible constraint solver misses one
-------------------------------------+------------------------------------
Reporter: goldfire | Owner: nomeata
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.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 Joachim Breitner <mail@…>):
In [changeset:"94c57676d7f88cd9edcc522aa3dc3ec6e3ad6633/ghc"]:
{{{
#!CommitTicketReference repository="ghc"
revision="94c57676d7f88cd9edcc522aa3dc3ec6e3ad6633"
Coercible: Test case for now broken(?) corner case
involving a non-terminating newtype. This worked before 7e78faf03.
Probably not a problem, but still better to have a test case for it. See
ticket #9117.
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9117#comment:18>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list