Project

General

Profile

« Previous | Next » 

Revision 66359a5e

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

[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8)
typing was transformed as a functor and parametrized by basic types (int/real/bool)
it can also be applied multiple times on the same program

View differences:

src/corelang.mli
20 20

  
21 21
val mktyp: Location.t -> type_dec_desc -> type_dec
22 22
val mkclock: Location.t -> clock_dec_desc -> clock_dec
23
val mkvar_decl: Location.t -> ?orig:bool -> ident * type_dec * clock_dec * bool (* is const *) * expr option (* value *) -> var_decl
24

  
25
val var_decl_of_const: const_desc -> var_decl
23
val mkvar_decl: Location.t -> ?orig:bool ->
24
  ident *
25
    type_dec *
26
    clock_dec *
27
    bool (* is const *) *
28
    expr option (* value *) *
29
    string option (* parent id *)
30
  -> var_decl
31

  
32
val var_decl_of_const: ?parentid:LustreSpec.ident option -> const_desc -> var_decl
26 33
val mkexpr: Location.t ->  expr_desc -> expr
27 34
val mkeq: Location.t -> ident list * expr -> eq
28 35
val mkassert: Location.t -> expr -> assert_t

Also available in: Unified diff