src/Pure/ML-Systems/polyml-5.5.2.ML
author wenzelm
Thu Dec 12 16:25:21 2013 +0100 (2013-12-12 ago)
changeset 54726 5285805af26c
permissions -rw-r--r--
added missing file (cf. 124432e77ecf);
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