Changeset 3011


Ignore:
Timestamp:
Mar 28, 2013, 3:47:34 PM (4 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/uses.ml

    r2951 r3011  
    144144      (match s with
    145145       | Joint.COST_LABEL x1 -> map
    146        | Joint.CALL (x1, x2, x3) -> map
     146       | Joint.CALL (id, x1, x2) ->
     147         (match id with
     148          | Types.Inl x3 -> map
     149          | Types.Inr pr ->
     150            Obj.magic incr_arg pr.Types.fst
     151              (Obj.magic incr_arg pr.Types.snd map))
    147152       | Joint.COND (r, x1) -> Obj.magic incr r map
    148153       | Joint.Step_seq s0 ->
Note: See TracChangeset for help on using the changeset viewer.