[m-rev.] New library module: table.m

[Ralph Becket]

Peter Moulder, Tuesday, 21 January 2003:
> 
> You should either reduce your promise about an exception being thrown or
> really check each list element rather than just checking the sum of
> lengths.  (E.g. table([[1,2], [1], [1,2,3]]) won't throw an exception
> with the above.)

Right again.  I've made it a proper check:

	all [Ys] ( member(Ys, Xss) => length(Ys) = N )

Ta,
	Ralph
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------