[GHC] #14961: QuantifiedConstraints: introducing classes through equality constraints fails
GHC
ghc-devs at haskell.org
Tue Jun 5 11:31:42 UTC 2018
#14961: QuantifiedConstraints: introducing classes through equality constraints
fails
-------------------------------------+-------------------------------------
Reporter: mrkgnao | Owner: (none)
Type: bug | Status: closed
Priority: normal | Milestone: 8.6.1
Component: Compiler | Version: 8.5
Resolution: invalid | Keywords:
| QuantifiedConstraints
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: GHC rejects | Test Case: quantified-
valid program | constraints/T14961
Blocked By: | Blocking:
Related Tickets: #14860 | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Changes (by RyanGlScott):
* testcase: => quantified-constraints/T14961
* milestone: => 8.6.1
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14961#comment:10>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list