Project

General

Profile

Revision 54ae8ac7 src/corelang.ml

View differences:

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