Project

General

Profile

Revision 8446bf03 src/machine_code.ml

View differences:

src/machine_code.ml
9 9
(*                                                                  *)
10 10
(********************************************************************)
11 11

  
12
open LustreSpec
12
open Lustre_types
13
open Machine_code_types
13 14
open Corelang
14 15
open Clocks
15 16
open Causality
......
213 214
    top_decl_loc = Location.dummy_loc
214 215
  }
215 216

  
216
let mk_val v t = { value_desc = v; 
217
		   value_type = t; 
218
		   value_annot = None }
219

  
217
let mk_val v t =
218
  { value_desc = v; 
219
    value_type = t; 
220
    value_annot = None }
221
    
220 222
let arrow_machine =
221 223
  let state = "_first" in
222 224
  let var_state = dummy_var_decl state Type_predef.type_bool(* (Types.new_ty Types.Tbool) *) in

Also available in: Unified diff