alternative syntax for pred declarations.

[Thomas Charles CONWAY]

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.