Changeset 3019 for extracted/uses.ml


Ignore:
Timestamp:
Mar 28, 2013, 5:27:46 PM (7 years ago)
Author:
sacerdot
Message:

New extraction after ERTLptr abortion.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/uses.ml

    r3011 r3019  
    121121open ERTL
    122122
    123 open ERTLptr
    124 
    125123(** val examine_internal :
    126124    AST.ident List.list -> Joint.joint_internal_function -> Positive.pos
     
    183181          | Joint.Extension_seq s1 ->
    184182            (match Obj.magic s1 with
    185              | ERTLptr.Ertlptr_ertl s2 ->
    186                (match s2 with
    187                 | ERTL.Ertl_new_frame -> map
    188                 | ERTL.Ertl_del_frame -> map
    189                 | ERTL.Ertl_frame_size r -> incr r map)
    190              | ERTLptr.LOW_ADDRESS (r, x1) -> incr r map
    191              | ERTLptr.HIGH_ADDRESS (r, x1) -> incr r map)))
     183             | ERTL.Ertl_new_frame -> map
     184             | ERTL.Ertl_del_frame -> map
     185             | ERTL.Ertl_frame_size r -> incr r map)))
    192186    | Joint.Final x0 -> map
    193187    | Joint.FCOND (x0, x1, x2) -> assert false (* absurd case *)
Note: See TracChangeset for help on using the changeset viewer.