[MLton-commit] r4299

[Matthew Fluet]

Eliminate uint.
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/runtime/platform.h

----------------------------------------------------------------------

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform.h	2006-01-06 23:17:28 UTC (rev 4298)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform.h	2006-01-06 23:17:36 UTC (rev 4299)
@@ -252,9 +252,9 @@
  */
 Pointer IntInf_add (Pointer lhs, Pointer rhs, size_t bytes);
 Pointer IntInf_andb (Pointer lhs, Pointer rhs, size_t bytes);
-Pointer IntInf_arshift (Pointer arg, uint shift, size_t bytes);
+Pointer IntInf_arshift (Pointer arg, Word shift, size_t bytes);
 Pointer IntInf_gcd (Pointer lhs, Pointer rhs, size_t bytes);
-Pointer IntInf_lshift (Pointer arg, uint shift, size_t bytes);
+Pointer IntInf_lshift (Pointer arg, Word shift, size_t bytes);
 Pointer IntInf_mul (Pointer lhs, Pointer rhs, size_t bytes);
 Pointer IntInf_neg (Pointer arg, size_t bytes);
 Pointer IntInf_notb (Pointer arg, size_t bytes);