Skip to content
Snippets Groups Projects
Normal view Permalink
lazy.notes.ml 1.16 KiB
Newer Older
Pascal Raymond's avatar
gros menage :
Pascal Raymond committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 

#DBG: LazyCompiler.node_check_interface 'Lustre::map<<node oper = Lustre::or, const size = 42>>'
#DBG: LazyCompiler.lookup_node_exp_eff: node key 'Lustre::map<<node oper = Lustre::or, const size = 42>>' NOT FOUND
#DBG: LazyCompiler.node_check 'Lustre::map<<node oper = Lustre::or, const size = 42>>'
#DBG: LazyCompiler.x_check 'in file "/home/raymond/git/lus2lic/test_static/predef01.lus", line 6, col 6 to 8, token 'map''
#DBG: LazyCompiler.lookup_node_exp_eff: node key 'Lustre::map<<node oper = Lustre::or, const size = 42>>' NOT FOUND
*** Can not find package 'Lustre' in the following packages: 



let x_check
	(tab            : ('x_key, 'x_eff  Eff.check_flag) Hashtbl.t)
	(find_x         : SymbolTab.t -> Ident.t -> Lxm.t -> ('x_info  Lxm.srcflagged) SymbolTab.elt)
	(x_check_do     : t -> 'x_key -> Lxm.t -> SymbolTab.t -> bool -> Ident.pack_name -> x_info srcflagged -> 'x_eff)
	(lookup_x_eff   : ('x_key, 'x_eff Eff.check_flag) Hashtbl.t -> 'x_key -> Lxm.t -> 'x_eff)
	(pack_of_x_key  : 'x_key -> string )
	(name_of_x_key  : 'x_key -> string)
	(this           : t)
	(x_key          : 'x_key)
	(lxm            : Lxm.t)
: 'x_eff



NodeStaticArgEff  of (Ident.t * node_key)