Changes between Version 9 and Version 10 of SemiTagging


Ignore:
Timestamp:
Oct 30, 2006 4:03:50 PM (7 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 ==