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
personuppgifter<https://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 here<https://ki.se/en/staff/data-protection-policy>.
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
