Code: Select all
generate_top : core::runnable.
Code: Select all
generate_top() :-
not(file5x::existfile(itf_fact_dba)),
!,
itf_not_found_message.
generate_top() :-
%file5x::openfile(fileSelector::screen),
%thread::start(go,maxStack),
file5x::writedevice(fileSelector::screen),
file5x::write("HLS CCC optimization started, please wait..."),
%outputStream::write(" backend HLS CCC optimization started, please wait..."),
file5x::existfile(itf_fact_dba),
%file5x::closefile(fileSelector::screen),
assertz(consecutive_106("false")),
assert_global_constraint_conditionally0,
check_for_program_name,
itf_found_message,
report_global_constraint,
%showBadTerms(itf_fact_dba),
file::consult(itf_fact_dba, backend_dbase),
hdl_style(Hdlform),
!,
extract_loops_from_all_modules_wrapper(2),
% don't process the ADA package
generate_hdl_recursive_wrapper(Hdlform, "synergy", 1),
file5x::writedevice(fileSelector::screen),
file5x::nl,
file5x::write(" CCC Backend synthesis completed! "),
end_time_message,
%openfile(stdout),
file5x::writedevice(fileSelector::screen),
file5x::write(" optimization completed, check HDL results!"),
%file5x::closefile(fileSelector::screen),
!
or
console::write("Main run failed!").
end implement main
goal
console::runUtf8(main::generate_top),
!
or
console::write("Error").
Type Action Description Filename Path
e631 The predicate 'main::generate_top/0', which is declared as 'procedure', is actually 'determ' main.pro
and when I change the declaration to:
Code: Select all
generate_top : () determ.
then the compiler complains:
Type Action Description Filename Path
e504 The expression has type '() determ', which is incompatible with the type '() procedure' main.pro
how can I deal with this situation?