Revision 2863281f
Added by Pierre-Loïc Garoche almost 7 years ago
src/corelang.mli | ||
---|---|---|
29 | 29 |
string option (* parent id *) |
30 | 30 |
-> var_decl |
31 | 31 |
|
32 |
val dummy_var_decl: ident -> Types.type_expr -> var_decl |
|
33 |
|
|
32 | 34 |
val var_decl_of_const: ?parentid:ident option -> const_desc -> var_decl |
33 | 35 |
val mkexpr: Location.t -> expr_desc -> expr |
34 | 36 |
val mkeq: Location.t -> ident list * expr -> eq |
Also available in: Unified diff
Further restructuring:
- arrow.ml* to define basic builder for arrow (node, name, ...)
- machine_code_common similar to corelang but for machine_code (printers, some builders, ...)
- machine_code restricted to the translatation from normalized nodes to machines