[m-dev.] Types with user defined equality.

[Fergus Henderson]

On 15-May-2001, Ralph Becket <rbeck at microsoft.com> wrote:
> I've just realised why I didn't find them:
> 
> $ find . -name *.m | grep "equality"
> 
> is wrong and not the same as
> 
> $ grep "equality" $(find . -name *.m)

You want `xargs':

	$ find . -name *.m | xargs grep "equality"
	                     ^^^^^

Note that xargs works in cases where using $(...) will fail
because of limits on command-line length.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- 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
--------------------------------------------------------------------------