Changeset 2960 for extracted/lIN.ml


Ignore:
Timestamp:
Mar 26, 2013, 4:51:40 PM (7 years ago)
Author:
sacerdot
Message:

New extraction, it diverges in RTL execution now.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/lIN.ml

    r2951 r2960  
    134134    (Obj.magic Types.It))) }, (List.Cons ({ Types.fst = Types.None;
    135135    Types.snd = (Joint.Sequential ((Joint.CALL ((Types.Inl
    136     p.Joint.joint_prog.AST.prog_main),
    137     (Obj.magic (Nat.S (Nat.S (Nat.S (Nat.S Nat.O))))),
     136    p.Joint.joint_prog.AST.prog_main), (Obj.magic Nat.O),
    138137    (Obj.magic Types.It))), (Obj.magic Types.It))) }, (List.Cons
    139138    ({ Types.fst = (Types.Some l3); Types.snd = (Joint.Final (Joint.GOTO
Note: See TracChangeset for help on using the changeset viewer.