[mercury-users] Beyond "Hello World"

Martin Proud mproud at knox.edu
Thu Feb 24 16:30:57 AEDT 2005


Hello, I am brand new to Mercury, and I am trying to get things going 
along. (Hopefully I'm writing to the right place?)

I had a little trouble installing, but after reading through the 
archives and documentation, I think things are working better now. I 
believe I have the "stable rotd" installed (2003-12-21), for better or 
for worse (or ...maybe this is my problem?)

"Hello World" compiles and runs, thankfully. So I'm looking for some 
other programs to test. I tried running some in Ralph Beckett's 
tutorial (I'm assuming they're programs and not snippets? Maybe I'm 
wrong?) but I am getting errors. For example, for factorial:

factorial.m:005: In clause for predicate `factorial.factorial/2':
factorial.m:005:   error: undefined predicate `=</2'.

(I'm assuming I'm building the programs correctly - I'm typing:

foo.m
mmake foo.depend
mmake foo
./foo

Perhaps I'm missing something I should be including in the Mmakefile? 
Currently, all I have is "CFLAGS = -fno-strict-aliasing" which seems to 
drop a bunch of warnings on compile.)

Guess I'm not sure where to go from here. I'd like to see another 
working example if I can, to at least make sure I've got a working 
compiler. I was running the test suite, though I didn't save the 
results - perhaps I should run it again? I know the "string_format" 
tests definitely failed - not sure what I need to do from that?

I'm running gcc 3.3.3, gmake 3.80 on Fedora Core 2 (2.6.10-1.14). any 
help would be greatly appreciated. Thank you.

Martin Proud
mproud at knox.edu
309 / 341-8875
K1291

--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list