Changes between Initial Version and Version 1 of Ticket #12670, comment 12


Ignore:
Timestamp:
Nov 21, 2016 4:29:13 PM (3 years ago)
Author:
bgamari
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12670, comment 12

    initial v1  
    4141uhOh = dynApply df (Dynamic (42::Int))
    4242}}}
     43
     44In sum, if we allow arrow to be polymorphic in its result type's kind, then we need `typeRepKind` to safely apply `Dynamic` values, since we the applied function may produce a non-lifted result.