Changeset 2882 for extracted/blocks.ml


Ignore:
Timestamp:
Mar 15, 2013, 5:52:58 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/blocks.ml

    r2797 r2882  
    145145    Joint.params -> AST.ident List.list -> Joint.joint_seq List.list ->
    146146    step_block **)
    147 let ensure_step_block p g l =
    148   match split_on_last l with
    149   | Types.None ->
    150     { Types.fst = { Types.fst = List.Nil; Types.snd = (fun x ->
    151       Joint.Step_seq
    152       (Joint.nOOP (Joint.stmt_pars__o__uns_pars__o__u_pars p) g)) };
    153       Types.snd = List.Nil }
    154   | Types.Some pr ->
    155     { Types.fst = { Types.fst = (add_dummy_variance pr.Types.fst);
    156       Types.snd = (fun x -> Joint.Step_seq pr.Types.snd) }; Types.snd =
    157       List.Nil }
     147let ensure_step_block p g = function
     148| List.Nil ->
     149  { Types.fst = { Types.fst = List.Nil; Types.snd = (fun x -> Joint.Step_seq
     150    (Joint.nOOP (Joint.stmt_pars__o__uns_pars__o__u_pars p) g)) };
     151    Types.snd = List.Nil }
     152| List.Cons (hd, tl) ->
     153  { Types.fst = { Types.fst = List.Nil; Types.snd = (fun x -> Joint.Step_seq
     154    hd) }; Types.snd = tl }
    158155
    159156(** val map_eval : ('a1 -> 'a2) List.list -> 'a1 -> 'a2 List.list **)
Note: See TracChangeset for help on using the changeset viewer.