Revision 66359a5e
Added by Pierre-Loïc Garoche about 7 years ago
src/lustreSpec.ml | ||
---|---|---|
8 | 8 |
(* version 2.1. *) |
9 | 9 |
(* *) |
10 | 10 |
(********************************************************************) |
11 |
|
|
11 |
|
|
12 | 12 |
type ident = Utils.ident |
13 | 13 |
type rat = Utils.rat |
14 | 14 |
type tag = Utils.tag |
... | ... | |
63 | 63 |
var_dec_clock: clock_dec; |
64 | 64 |
var_dec_const: bool; |
65 | 65 |
var_dec_value: expr option; |
66 |
mutable var_parent_nodeid: ident option; |
|
66 | 67 |
mutable var_type: Types.type_expr; |
67 | 68 |
mutable var_clock: Clocks.clock_expr; |
68 | 69 |
var_loc: Location.t} |
... | ... | |
184 | 185 |
nodei_outputs: var_decl list; |
185 | 186 |
nodei_stateless: bool; |
186 | 187 |
nodei_spec: node_annot option; |
188 |
(* nodei_annot: expr_annot list; *) |
|
187 | 189 |
nodei_prototype: string option; |
188 | 190 |
nodei_in_lib: string list; |
189 | 191 |
} |
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