Revision 66359a5e
Added by Pierre-Loïc Garoche about 7 years ago
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
[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