[GHC] #14157: Flipping (give :: a -> (Given a => r) -> r) has type (r -> a -> r)
GHC
ghc-devs at haskell.org
Mon Aug 28 17:15:10 UTC 2017
#14157: Flipping (give :: a -> (Given a => r) -> r) has type (r -> a -> r)
-------------------------------------+-------------------------------------
Reporter: Iceland_jack | Owner: (none)
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 8.2.1
Resolution: invalid | Keywords:
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 Iceland_jack):
I was surprised to see the constraint vanish completely! There are clearly
gaps in my understanding of the type system but the reasons given make
sense, my deepest thanks to you both for taking the time to respond to my
tickets
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14157#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list