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;
     1 (*  Title:      Pure/ML-Systems/polyml-5.5.2.ML
     2     Author:     Makarius
     3 
     4 Compatibility wrapper for Poly/ML 5.5.2.
     5 *)
     6 
     7 structure Thread =
     8 struct
     9   open Thread;
    10 
    11   structure Thread =
    12   struct
    13     open Thread;
    14 
    15     fun numProcessors () =
    16       (case Thread.numPhysicalProcessors () of
    17         SOME n => n
    18       | NONE => Thread.numProcessors ());
    19   end;
    20 end;
    21 
    22 use "ML-Systems/polyml.ML";
    23