src/Pure/ML-Systems/polyml-5.5.2.ML
author wenzelm
Tue Mar 25 13:18:10 2014 +0100 (2014-03-25 ago)
changeset 56275 600f432ab556
parent 54726 5285805af26c
permissions -rw-r--r--
added command 'SML_file' for Standard ML without Isabelle/ML add-ons;
wenzelm@54726
     1
(*  Title:      Pure/ML-Systems/polyml-5.5.2.ML
wenzelm@54726
     2
    Author:     Makarius
wenzelm@54726
     3
wenzelm@54726
     4
Compatibility wrapper for Poly/ML 5.5.2.
wenzelm@54726
     5
*)
wenzelm@54726
     6
wenzelm@54726
     7
structure Thread =
wenzelm@54726
     8
struct
wenzelm@54726
     9
  open Thread;
wenzelm@54726
    10
wenzelm@54726
    11
  structure Thread =
wenzelm@54726
    12
  struct
wenzelm@54726
    13
    open Thread;
wenzelm@54726
    14
wenzelm@54726
    15
    fun numProcessors () =
wenzelm@54726
    16
      (case Thread.numPhysicalProcessors () of
wenzelm@54726
    17
        SOME n => n
wenzelm@54726
    18
      | NONE => Thread.numProcessors ());
wenzelm@54726
    19
  end;
wenzelm@54726
    20
end;
wenzelm@54726
    21
wenzelm@54726
    22
use "ML-Systems/polyml.ML";
wenzelm@54726
    23