[m-dev.] record syntax

[Fergus Henderson]

On 23-Feb-2000, Thomas Conway <conway at cs.mu.OZ.AU> wrote:
> :- type ppid
> 	--->	pred(modname::string, name::string, arity::int, modenum::int)
> 	;	func(modname::string, name::string, arity::int, modenum::int)
> 	;	comp(typemod::string, typename::string,
> 			modname::string, name::string, arity::int, modenum::int)
> 	.

This was discussed when record syntax was added.
I think the concensus was that it would be nice to have,
but it was a bit more complicated to implement,
so we didn't include it in version 1 of the record syntax support.

But I agree it would be a nice idea, and now that we have
version 1 working, it seems like a good time...

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------