On 11/05/2015 07:11 AM, lausgans_at_gmail.com wrote:
>
>> 4 ноÑб. 2015 г., в 18:48, Michael Hanus =
<mh_at_informatik.uni-kiel.de> напиÑал(Ð=
°):
>>
>> Hi Alex,
>>
>> it is no problem to add this extension to the next release of PAKCS.
>> There is the disadvantage that this does not work with SICStus Prolog,=
>> but at least you get a reasonable error message from the Prolog system=
.
>>
>> Best regards,
>>
>> Michael
>
> Could you please also add random_value(Seed) in a same way?
Sure, I could do it, but since it is an undocumented feature,
please could you explain the difference between random_value
and random_variable (in order to put the right documentation
comment into the library)?
Best regards,
Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Nov 05 2015 - 14:11:52 CET