Re: [GHC] #14157: Flipping (give :: a -> (Given a => r) -> r) has type (r -> a -> r)

28 Aug 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