I haven't looked at the licence so I don't know if that would be a problem or not. It might be a useful structure to have but it isn't part of the Standard Basis Library so I'm reluctant to just add it.

I've been wondering if there was some way to set up a general repository of contributions to Poly/ML so that users would know where to look for something. It would be important that the contributors would be responsible for any ongoing maintenance and that users would know where to direct problems in particular contributions. What does everyone think? How might this be done?

Regards, David

On 12/04/2020 11:49, Mark Clements wrote:

Dear all,

Is there a licensing issue with using the Random structure from SML/NJ (files smlnj/smlnj-lib/Util/random-sig.sml and smlnj/smlnj-lib/Util/random.sml) in Poly/ML? The signature compiles and structure could be adapted to Poly/ML by:

@@ -41,7 +41,7 @@ structure Random : RANDOM = ???? val lag = 8 ???? val offset = N-lag

-??? fun error (f,msg) = LibBase.failure {module="Random",func=f, msg=msg} +??? fun error (f,msg) = raise (Fail(concat["Random.", f, ": ", msg]))

???? val two2neg30 = 1.0/((real 0x8000)*(real 0x8000))?? (* 2^~30 *)

Sincerely, Mark Clements.

N?r du skickar e-post till Karolinska Institutet (KI) inneb?r detta att KI kommer att behandla dina personuppgifter. H?r finns information om hur KI behandlar personuppgifterhttps://ki.se/medarbetare/integritetsskyddspolicy.

Sending email to Karolinska Institutet (KI) will result in KI processing your personal data. You can read more about KI?s processing of personal data herehttps://ki.se/en/staff/data-protection-policy. _______________________________________________ polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml