Sergio Antoy wrote:
> the following does not work:
>
> prelude> findall (permute [1,2,3] =:=)
>
> which is often confusing to students.
Indeed, this is confusing and a bug in the comand line
interpreter. I fixed it and you can download it with
the latest PAKCS release. It also contains the operation
getAllValues :: a -> IO [a]
getAllValues e = return (findall (=:=e))
in the prelude (which was formerly in the library AllSolutions)
so that your students can use it without any further imports.
I agree that this operation (together with the SearchTrees)
is more useful than the old findall, but since this discussion
is not finished, the old findall is also available.
Best regards,
Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Okt 14 2005 - 18:15:18 CEST