Project

General

Profile

Revision 01d48bb0 src/lustreSpec.ml

View differences:

src/lustreSpec.ml
48 48
  | Ckdec_bool of (ident * ident) list 
49 49
  | Ckdec_pclock of int * rat
50 50

  
51
type constant =
52
  | Const_int of int
53
  | Const_real of string
54
  | Const_float of float
55
  | Const_array of constant list
56
  | Const_tag of label
57
  | Const_string of string (* used only for annotations *)
58
  | Const_struct of (label * constant) list
59

  
60
type quantifier_type = Exists | Forall
61

  
51 62
type var_decl = 
52 63
    {var_id: ident;
53 64
     var_orig:bool;
54 65
     var_dec_type: type_dec;
55 66
     var_dec_clock: clock_dec;
56 67
     var_dec_const: bool;
68
     var_dec_value: expr option;
57 69
     mutable var_type: Types.type_expr;
58 70
     mutable var_clock: Clocks.clock_expr;
59 71
     var_loc: Location.t}
......
64 76
    duplicate ast structures (e.g. ast, typed_ast, clocked_ast). *)
65 77

  
66 78

  
67
type constant =
68
  | Const_int of int
69
  | Const_real of string
70
  | Const_float of float
71
  | Const_array of constant list
72
  | Const_tag of label
73
  | Const_string of string (* used only for annotations *)
74
  | Const_struct of (label * constant) list
75

  
76
type quantifier_type = Exists | Forall
77 79

  
78 80
(* The tag of an expression is a unique identifier used to distinguish
79 81
   different instances of the same node *)
80
type expr =
82
and expr =
81 83
    {expr_tag: tag;
82 84
     expr_desc: expr_desc;
83 85
     mutable expr_type: Types.type_expr;
......
220 222
  | Unbound_symbol of ident
221 223
  | Already_bound_symbol of ident
222 224
  | Unknown_library of ident
225
  | Wrong_number of ident
223 226

  
224 227
(* Local Variables: *)
225 228
(* compile-command:"make -C .." *)

Also available in: Unified diff