An enumeration as a type: how to do it?

tcklnbrg at at
Sun May 24 05:02:45 AEST 1998

Well, I guess, I am going to go for it and try to write my java code
generator in Mercury. 
I hope you will all put up with my questions while I get started:

How do I do an enumerated type?  Something like in standard Prolog:

integraltype(T):- member(T, ['byte', 'short', 'int', 'long', 'char']).

%I need for byte, short, int, long, char, etc to be strings not Mercury

All help greatly appreciated,


Ann Tecklenburg

More information about the users mailing list