1 (* Title: Pure/ML-Systems/ml_system.ML
4 ML system and platform operations.
13 val platform_is_cygwin: bool
14 val share_common_data: unit -> unit
15 val save_state: string -> unit
18 structure ML_System: ML_SYSTEM =
21 val SOME name = OS.Process.getEnv "ML_SYSTEM";
22 val is_polyml = String.isPrefix "polyml" name;
23 val is_smlnj = String.isPrefix "smlnj" name;
25 val SOME platform = OS.Process.getEnv "ML_PLATFORM";
26 val platform_is_cygwin = String.isSuffix "cygwin" platform;
28 fun share_common_data () = ();
29 fun save_state _ = raise Fail "Cannot save state -- undefined operation";