OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

xacml-comment message

[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]