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
