Changes between Initial Version and Version 4 of Ticket #10016


Ignore:
Timestamp:
Apr 2, 2018 4:10:21 PM (18 months ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #10016

    • Property Cc vagarenko added
    • Property Type of failure changed from None/Unknown to Runtime performance bug
    • Property Keywords DataCons added
  • Ticket #10016 – Description

    initial v4  
    1616
    1717Vaguely related tickets: #7647, #9214.  But unlike those ones, this one looks quite feasible to me.
     18
     19Fixing this would require quite a bit of new plumbing.  E.g. the existential type variable of the worker and wrapper would differ, which is not true today.  But morally it's the Right Thing.
     20
     21I'd be interested in actual use-cases.