alternative syntax for pred declarations.

Thomas Charles CONWAY conway at cs.mu.oz.au
Fri Nov 28 09:30:18 AEDT 1997


Hi

I've been working on code which has lots of predicates that have
the same arguments:
	:- pred this_parser(maybe(xxx), parse_state, parse_state).

It would be nice to be able to write:

:- type parser(T)	== pred(maybe(T), parse_state, parse_state).

:- mode parser		:: (pred(out, in, out) is det).

:- pred this_parser	= parser(xxx).
:- mode this_parser	= parser.

Comments?

Thomas
-- 
ZZ:wq!
^X^C
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.



More information about the developers mailing list