ML/ml_statistics.ML:134: error: Type error in function application.
   Function: make_properties :
      {gcFullGCs: int,
        gcPartialGCs: int,
        gcSharePasses: int,
        gcState: Statistics.gcState,
        sizeAllocation: int,
        sizeAllocationFree: int,
        sizeCode: int,
        sizeHeap: int,
        sizeHeapFreeLastFullGC: int,
        sizeHeapFreeLastGC: int,
        sizeStacks: int,
        threadsInML: int,
        threadsTotal: int,
        threadsWaitCondVar: int,
        threadsWaitIO: int,
        threadsWaitMutex: int,
        threadsWaitSignal: int,
        timeGCReal: Time.time,
        timeGCSystem: Time.time,
        timeGCUser: Time.time,
        timeNonGCReal: Time.time,
        timeNonGCSystem: Time.time,
        timeNonGCUser: Time.time, userCounters: int vector} ->
        (string * string) list
   Argument: (PolyML.Statistics.getLocalStats ()) :
      {gcFullGCs: int,
        gcPartialGCs: int,
        gcSharePasses: int,
        gcState: Statistics.gcState,
        sizeAllocation: LargeInt.int,
        sizeAllocationFree: LargeInt.int,
        sizeCode: LargeInt.int,
        sizeHeap: LargeInt.int,
        sizeHeapFreeLastFullGC: LargeInt.int,
        sizeHeapFreeLastGC: LargeInt.int,
        sizeStacks: LargeInt.int,
        threadsInML: int,
        threadsTotal: int,
        threadsWaitCondVar: int,
        threadsWaitIO: int,
        threadsWaitMutex: int,
        threadsWaitSignal: int,
        timeGCReal: Time.time,
        timeGCSystem: Time.time,
        timeGCUser: Time.time,
        timeNonGCReal: Time.time,
        timeNonGCSystem: Time.time,
        timeNonGCUser: Time.time, userCounters: int vector}
   Reason:
      Can't unify int (*In Basis*) with LargeInt.int (*In Basis*)
         (Different type constructors)
Found near make_properties (PolyML.Statistics.getLocalStats ())
ML/ml_statistics.ML:137: error: Type error in function application.
   Function: make_properties :
      {gcFullGCs: int,
        gcPartialGCs: int,
        gcSharePasses: int,
        gcState: Statistics.gcState,
        sizeAllocation: int,
        sizeAllocationFree: int,
        sizeCode: int,
        sizeHeap: int,
        sizeHeapFreeLastFullGC: int,
        sizeHeapFreeLastGC: int,
        sizeStacks: int,
        threadsInML: int,
        threadsTotal: int,
        threadsWaitCondVar: int,
        threadsWaitIO: int,
        threadsWaitMutex: int,
        threadsWaitSignal: int,
        timeGCReal: Time.time,
        timeGCSystem: Time.time,
        timeGCUser: Time.time,
        timeNonGCReal: Time.time,
        timeNonGCSystem: Time.time,
        timeNonGCUser: Time.time, userCounters: int vector} ->
        (string * string) list
   Argument: (PolyML.Statistics.getRemoteStats pid) :
      {gcFullGCs: int,
        gcPartialGCs: int,
        gcSharePasses: int,
        gcState: Statistics.gcState,
        sizeAllocation: LargeInt.int,
        sizeAllocationFree: LargeInt.int,
        sizeCode: LargeInt.int,
        sizeHeap: LargeInt.int,
        sizeHeapFreeLastFullGC: LargeInt.int,
        sizeHeapFreeLastGC: LargeInt.int,
        sizeStacks: LargeInt.int,
        threadsInML: int,
        threadsTotal: int,
        threadsWaitCondVar: int,
        threadsWaitIO: int,
        threadsWaitMutex: int,
        threadsWaitSignal: int,
        timeGCReal: Time.time,
        timeGCSystem: Time.time,
        timeGCUser: Time.time,
        timeNonGCReal: Time.time,
        timeNonGCSystem: Time.time,
        timeNonGCUser: Time.time, userCounters: int vector}
   Reason:
      Can't unify int (*In Basis*) with LargeInt.int (*In Basis*)
         (Different type constructors)
Found near make_properties (PolyML.Statistics.getRemoteStats pid)
Exception- Fail "Static Errors" raised
Error trying to use the file: 'ROOT0.ML'
*** Session startup failed:
*** standard_output terminated
*** Return code: 127 (COMMAND NOT FOUND)