[mercury-users] This Year's Mercury Entry for the ICF 2001 Contest

Richard A. O'Keefe ok at atlas.otago.ac.nz
Fri Sep 28 10:32:51 AEST 2001


Michael Day <mikeday at bigpond.net.au> wrote:
	Where does one get hold of the POSIX specifications?
	
Either from the IEEE or from your national standards body.
For someone posting from a .au site, that would be Standards Australia.
Their prices for the C standard and the POSIX.1 standard were about the
best on the planet when I bought my copies.

	Unix commands seem to be typed in that they either:
	
		- generate a stream (ls)
		- filter a stream (cat, sed, xargs, sort, uniq...)
		- consume a stream (can't think of any)

Try 'sum'.
		- just do stuff with side effects (cp, rm)
	
It's not quite clear to me where 'sh', 'make', or even 'mmc' fit into
this.
	
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the users mailing list