19 May
2016
19 May
'16
4:21 p.m.
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 polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml