13 Nov
2021
13 Nov
'21
2:51 p.m.
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