Appreciate some help: #2

tcklnbrg at at ingenuity-sw.com
Mon May 25 08:54:15 AEST 1998


% Why won't this trivial code compile ( and run).

%  written in Mercury.

:- module test.
:- interface.
:- import_module io, int.

:- pred main(io__state::di, io__state::uo) is semidet.
:- pred greaterThanZero(int::in) is semidet.

:- implementation.
:- import_module std_util, int.

main --> 
	{ greaterThanZero(2) },
	io__write_string("2 is greater than zero\n\n").


greaterThanZero(I):- I > 0.

% I get the error that main needs to be det or semidet,
% but changing it returns that is needs to be the cc_multi
% why would main ever be cc_multi?


%Thanks in advance for all the help---greatly appreciated.

% Ann Tecklenburg



More information about the users mailing list