[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: A public comment
Haruyuki is right on this issue. It is merely an editorial mistake. but what do we do about it for voting and approval, etc. Comment from: Haruyuki.Kawabe@unisys.co.jp In http://docs.oasis-open.org/xacml/access_control-xacml-2_0-core-spec-cd-04.pdf, the sencond clause of Haskell notation for function all-of-all (line 4738) should be all_of_all f [] ys = True because the third clause (line 4739) conjugates with '&&' and it terminates with the second. If the result (right hand side) of the second clause is False, the result of the third cluase are always False for any bag specified as the second argument of all_of_all. (Note: The first argument is a boolean function.)
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]