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@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml