Changes between Version 14 and Version 15 of ImplementingTreesThatGrow/Instances


Ignore:
Timestamp:
Dec 8, 2018 10:41:32 AM (9 months ago)
Author:
int-index
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ImplementingTreesThatGrow/Instances

    v14 v15  
    214214}}}
    215215
    216 Inside `withOutputableX @idL`, we have `LargeConstraintSet idL` in context.
     216Inside `withOutputableX @p`, we have `LargeConstraintSet p` in context.
    217217
    218218=== Plan H* ===
     
    222222{{{#!hs
    223223class OutputableX p where
    224   withOutputableXIPBinds :: (Outputable (XIPBinds p => r) -> r
    225   withOutputableXViaStrategy :: (Outputable (XViaStrategy p => r) -> r
     224  withOutputableXIPBinds :: (Outputable (XIPBinds p) => r) -> r
     225  withOutputableXViaStrategy :: (Outputable (XViaStrategy p) => r) -> r
    226226  ...
    227227  ...