Hi, How to detect the current running OS in Poly/ML?
I'm looking for something like: datatype Platform = Linux | Windows | macOS | BSD | ... val getPlatform : unit -> Platform If not, how can I implement something like this, if possible? I'm asking because it's useful for writing OS specific library, e.g. path library to print Unix/Windows-style path. I've tried searching around the web and looking into the Basis Library manual, but still couldn't find anything useful. Any pointer will be much appreciated. Thanks! -- Cheers, zacque _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
