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

 


Help: OASIS Mailing Lists Help | MarkMail Help

xacml message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]


Subject: Other Haskell Errors



Line 4651 is wrong and should read: (i.e. the False should be True).

all_of_any f [] ys = True

The whole definition should be aligned as well so it is:

all_of_any :: (a -> b -> Bool) -> [a ] -> [b] -> Bool
all_of_any f []     ys = True
all_of_any f (x:xs) ys = (any_of f x ys) && (all_of_any f xs ys)

Cheers,
-Polar


[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]