Revision c00d0b42 src/corelang.ml
src/corelang.ml | ||
---|---|---|
118 | 118 |
nodei_outputs: var_decl list; |
119 | 119 |
nodei_stateless: bool; |
120 | 120 |
nodei_spec: LustreSpec.node_annot option; |
121 |
nodei_prototype: string option; |
|
122 |
nodei_in_lib: string option; |
|
121 | 123 |
} |
122 | 124 |
|
123 | 125 |
type const_desc = |
... | ... | |
128 | 130 |
} |
129 | 131 |
|
130 | 132 |
type top_decl_desc = |
131 |
| Node of node_desc |
|
132 |
| Consts of const_desc list |
|
133 |
| ImportedNode of imported_node_desc |
|
134 |
| Open of string |
|
133 |
| Node of node_desc |
|
134 |
| Consts of const_desc list |
|
135 |
| ImportedNode of imported_node_desc |
|
136 |
| Open of bool * string (* the boolean set to true denotes a local |
|
137 |
lusi vs a lusi installed at system level *) |
|
135 | 138 |
|
136 | 139 |
type top_decl = |
137 | 140 |
{top_decl_desc: top_decl_desc; |
... | ... | |
753 | 756 |
nodei_inputs = vdecls_of_typ_ck cpt tin; |
754 | 757 |
nodei_outputs = vdecls_of_typ_ck cpt tout; |
755 | 758 |
nodei_stateless = Types.get_static_value ty <> None; |
756 |
nodei_spec = spec}) |
|
759 |
nodei_spec = spec; |
|
760 |
nodei_prototype = None; |
|
761 |
nodei_in_lib = None; |
|
762 |
}) |
|
757 | 763 |
|
758 | 764 |
let add_internal_funs () = |
759 | 765 |
List.iter |
Also available in: Unified diff