An enumeration as a type: how to do it?
at at ingenuity-sw.com
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,
More information about the users