Revision 5de4dde4
Added by Pierre-Loïc Garoche over 3 years ago
| 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
Major refreshing of machine generation