% module :-style_check(-singleton),style_check(-no_effect),ensure_loaded("core"). % main comp_main(_s,_upvals):-_upvals=[_exec,_comp],(writeln_(_args),writeln_(_L),writeln_(_s),once(call_cl(_comp,[_s])),once(call_cl(_exec,[_s]))). % comp comp_comp(_name,_upvals):-_upvals=[_io,_io,_run,__prefix,_list,_io,_new_env,_io],(get_(_io,"readFile",T63580),_T56776=T63580,str(_name+".co",T33003),call_cl(_T56776,[T33003,_s]),call_cl(_new_env,[_e]),writeln_(_e),get_(_io,"write",T76529),_T59714=T76529,call_cl(_T59714,["--\nstart "]),writeln_(_name),_s0="",_args=[],((get_(_list,"has",T11085),_T74793=T11085,call_cl(_T74793,[_args,"--no-std"]),_s1=_s0,writeln_("std"));(_s1=_s0+__prefix)),!,str(_s1+_s,T53680),call_cl(_run,[T53680,_e,_e2,_fc,_l,_name]),writeln_("Generated:"),str(_fc,T11539),_code=T11539,writeln_(_code),get_(_io,"writeln",T70660),_T28090=T70660,call_cl(_T28090,[_code]),get_(_io,"writeToFile",T2597),_T44754=T2597,str(_name+".pl",T62463),str(_fc,T26771),call_cl(_T44754,[T62463,T26771])). % exec comp_exec(_fname,_upvals):-_upvals=[],(_module=_fname,writeln_("--"),ensure_loaded(_fname),atom_string(_X,_fname),writeln_(_X),call(_X,_)). % core comp_core(_e,_upvals):-_upvals=[_run,_new_env,_io],(get_(_io,"readFile",T55593),_T4891=T55593,call_cl(_T4891,["core.co",_s]),call_cl(_new_env,[_e1]),call_cl(_run,[_s,_e1,_e2,_,_]),get_(_env,"vars",T5218),_T36816=T5218,call_cl(_T36816,[_e2,_vars]),get_(_env,"functors",T30848),_T27363=T30848,call_cl(_T27363,[_e2,_fcs]),get_(_env,"init",T64165),_T78449=T64165,call_cl(_T78449,[_e,[],_fcs,[],[]])). % new_env comp_new_env(_e,_upvals):-_upvals=[_env_from],(call_cl(_env_from,[_e,[]])). % env_from comp_env_from(_e,_prev,_upvals):-_upvals=[_table,_table,_Env,_table],(get_(_table,"new",T50581),_T32465=T50581,call_cl(_T32465,[_t1]),get_(_Env,"new",T88620),_T98629=T88620,call_cl(_T98629,[_e1,_prev,_t1]),get_(_table,"set",T59937),_T57922=T59937,call_cl(_T57922,[_e1,"mode","fn",_e2]),get_(_table,"set",T29387),_T74661=T29387,call_cl(_T74661,[_e2,"ids",[],_e])). % run comp_run(_s,_e,_e2,_s1,_l,_fname,_upvals):-_upvals=[_gen,_io,_parser,_io],(get_(_io,"write",T41753),_T83220=T41753,call_cl(_T83220,["==\n"]),clock(_t0),get_(_parser,"run",T97522),_T73262=T97522,call_cl(_T73262,[_s,_fc]),!,clock(_t2),get_(_io,"write",T1495),_T73717=T1495,call_cl(_T73717,["==\n"]),writeln_("gen"),get_(_gen,"run",T87668),_T62508=T87668,call_cl(_T62508,[_fc,_s1,_fname,_e,_e2,_fname]),clock(_t3),_l='[|]'(_t0,'[|]'(_t1,'[|]'(_t2,'[|]'(_t3,[]))))). % halt comp_halt(_upvals):-_upvals=[],(halt). % main comp(X):-nb_setval(debug,0),_halt=clos([],comp_halt),creq("parser",_parser),creq("gen",_gen),creq("env",_Env),creq("logic",_logic),creq("io",_io),creq("table",_table),creq("list_",_list),creq("string",_string),__prefix="",_run=clos([_gen,_io,_parser,_io],comp_run),_env_from=clos([_table,_table,_Env,_table],comp_env_from),_new_env=clos([_env_from],comp_new_env),_core=clos([_run,_new_env,_io],comp_core),_exec=clos([],comp_exec),_comp=clos([_io,_io,_run,__prefix,_list,_io,_new_env,_io],comp_comp),_main=clos([_exec,_comp],comp_main),writeln_("-"),X=_s,!,writeln_(_s),!,once(call_cl(_comp,[_s])),once(call_cl(_exec,[_s])),args(_L),writeln_(_L).