Just having switched from sml-nj to polyml we would need the Poly/ML
equivalents of
SMLofNJ.exportML"myBinary";
sml @SMLload=myBinary
Anyone with a quick help ?
We find http://www.polyml.org/docs/poly/intro.html very helpful (but we
couldn't find the answer to our question ??), and we are not yet
familiar enough with the basis library.
Thanks,
Walther
--
------------------------------------------------------------------------
Walther Neuper Mailto: neuper(a)ist.tugraz.at
Institute for Software Technology Tel: +43-(0)316/873-5728
TUG University of Technology, Fax: +43-(0)316/873-5706
and HTL Ortweinschule, Graz, Austria Home: www.ist.tugraz.at/neuper
------------------------------------------------------------------------
--
------------------------------------------------------------------------
Walther Neuper Mailto: neuper(a)ist.tugraz.at
Institute for Software Technology Tel: +43-(0)316/873-5728
TUG University of Technology, Fax: +43-(0)316/873-5706
and HTL Ortweinschule, Graz, Austria Home: www.ist.tugraz.at/neuper
------------------------------------------------------------------------
