Thank you. It is working. 2016-05-19 18:21 GMT+03:00 David Matthews <[email protected]>:
> Hi, > Thanks for reporting that. It was a very small bug in the library. It's > been fixed in git master. It's probably something for the 5.6-fixes branch. > > David > > > On 19/05/2016 10:17, Kostirya wrote: > >> Hello. >> >> NetHostDB.fromString have error: >> >> poly >>> >> Poly/ML 5.6 Release >> >>> NetHostDB.toString (valOf(NetHostDB.fromString "127.0.0.1")); >>> >> val it = "0.0.0.127": string >> >>> NetHostDB.toString (valOf(NetHostDB.fromString "10.0.0.34")); >>> >> val it = "0.0.0.10": string >> >>> NetHostDB.toString (valOf(NetHostDB.fromString "10.1.1.34")); >>> >> val it = "10.1.1.34": string >> >> >> MLton: >> >> cat 1.sml >>> >> val _ = print (NetHostDB.toString (valOf(NetHostDB.fromString >> "127.0.0.1"))) >> >>> mlton 1.sml >>> ./1 >>> >> 127.0.0.1> >> >> >> >> _______________________________________________ >> 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 >
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
