[GHC] #11715: Constraint vs *
GHC
ghc-devs at haskell.org
Thu Aug 18 03:03:22 UTC 2016
#11715: Constraint vs *
-------------------------------------+-------------------------------------
Reporter: bgamari | Owner:
Type: bug | Status: new
Priority: high | Milestone: 8.2.1
Component: Compiler (Type | Version: 8.0.1-rc1
checker) |
Resolution: | Keywords: Typeable
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Comment (by goldfire):
How would we write the body for, say, `with :: c -> (c => r) -> r`? What
about `whichOne :: c -> c -> (c => r) -> r` (which takes two elements of
type `c`)?
I'm worried that the disadvantages of comment:11 are a bit painful.
Perhaps no worse than where we are now, though.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11715#comment:18>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list