[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]
Subject: Re: [xacml-comment] Public Comment
Just to go on record. Haruyuki-san is correct. It should be corrected as he states. Cheers, -Polar On Thu, 28 Oct 2004 comment-form@oasis-open.org wrote: > Comment from: Haruyuki.Kawabe@unisys.co.jp > > In a XACML 2.0 core specification access_control-xacml-2_0-core-spec-cd-02.pdf, > there is a Haskell notation specifying the semantics of the all-of higer order function (line 4572 - 4574). > It seem to me that the result of the operation is always False since the last clause (line 4574) use logical "AND" and the value of the terminal expression is False (line 4573). > So the line 4573 should be > all_of f a [] = "True" > > Similar change would be required for all-of-any (line 4651) and all-of-all (line 4733). >
[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]