Changes between Version 9 and Version 10 of SemiTagging


Ignore:
Timestamp:
Oct 30, 2006 4:03:50 PM (9 years ago)
Author:
alexey
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SemiTagging

    v9 v10  
    1313GHC jumps to the code for (i.e. "enters") the x closure, which returns when x is evaluated. Commonly, x is already evaluated, and the code for an evaluated constructor just (vector) returns immediately.
    1414
    15 ''Alexey: add some example HC code here''
     15The code for the {{{not}}} function:
     16{{{
     17not x = case x of
     18        False -> True
     19        True  -> False
     20}}}
     21jumps to the boolean argument, passed in {{{R2}}}, after pushing a case-frame (the continuation of the function):
     22{{{
     23        ... stack check omitted ...
     24        R1 = R2;
     25        I64[Sp + (-8)] = sej_info;
     26        Sp = Sp + (-8);
     27        jump I64[R1];
     28}}}
    1629
    1730== Testing before jumping ==