Changes between Version 5 and Version 6 of Commentary/Compiler/SeqMagic


Ignore:
Timestamp:
Jun 29, 2011 2:57:11 PM (4 years ago)
Author:
simonmar
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/SeqMagic

    v5 v6  
    164164Here's our new plan.
    165165 * Introduce a new primop `seq# :: a -> State# s -> (# a, State# s #)` (see be5441799b7d94646dcd4bfea15407883537eaaa)
    166  * Implement `seq#` by turning it into the obvious eval in the backend.  In fact, since the return convention for `(# State# s, a #)` is exactly the same as for `a`, we can implement `seq# s a` by `a` (even when it appears as a case scrutinee).  Currenntly
     166 * Implement `seq#` by turning it into the obvious eval in the backend.  In fact, since the return convention for `(# State# s, a #)` is exactly the same as for `a`, we can implement `seq# s a` by `a` (even when it appears as a case scrutinee).
    167167 * Define `evaluate` thus
    168168{{{