Project

General

Profile

« Previous | Next » 

Revision 5de4dde4

Added by Pierre-Loïc Garoche over 3 years ago

Major refreshing of machine generation

View differences:

src/corelang.ml
27 27

  
28 28
module VSet: sig
29 29
  include Set.S
30
  val pp: Format.formatter -> t -> unit 
30
  val pp: Format.formatter -> t -> unit
31
  val get: ident -> t -> elt
31 32
end with type elt = var_decl =
32 33
  struct
33 34
    include Set.Make(VDeclModule)
34 35
    let pp fmt s =
35
      Format.fprintf fmt "{@[%a}@]" (Utils.fprintf_list ~sep:",@ " Printers.pp_var) (elements s)  
36
      Format.fprintf fmt "{@[%a}@]" (Utils.fprintf_list ~sep:",@ " Printers.pp_var) (elements s)
37
    (* Strangley the find_first function of Set.Make is incorrect (at
38
       the current time of writting this comment. Had to switch to
39
       lists *)
40
    let get id s = List.find (fun v -> v.var_id = id) (elements s)
36 41
  end
37 42
let dummy_type_dec = {ty_dec_desc=Tydec_any; ty_dec_loc=Location.dummy_loc}
38 43

  
......
1027 1032
     eexpr_type = expr.expr_type;
1028 1033
     eexpr_clock = expr.expr_clock;
1029 1034
     eexpr_loc = expr.expr_loc;
1035
     (*eexpr_normalized = None*)
1030 1036
   }
1031 1037
 (* and expr_desc_to_eexpr_desc expr_desc = *)
1032 1038
 (*   let conv = expr_to_eexpr in *)

Also available in: Unified diff