Project

General

Profile

« Previous | Next » 

Revision 2863281f

Added by Pierre-Loïc Garoche almost 7 years ago

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

View differences:

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