Changes between Initial Version and Version 1 of Ticket #8095, comment 41


Ignore:
Timestamp:
Jul 18, 2017 12:58:56 PM (19 months ago)
Author:
simonpj
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #8095, comment 41

    initial v1  
    11As Richard says this is a direction we've been wanting to move for some time.
    22
    3 But do read comment:15 above carefully.   It's ''crucial'' to keep track of the free coercion variables of a coercion, otherwise GHC may (after discarding coercions) "optimise" a correct program into one that seg-faults.  We don't wan that.
     3But do read comment:15 above carefully.   It's ''crucial'' to keep track of the free coercion variables of a coercion, otherwise GHC may (after discarding coercions) "optimise" a correct program into one that seg-faults.  We don't want that.