[MLton-commit] r4908

[Matthew Fluet]

MLton.Pointer.t does not denote an ML pointer
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/elaborate-core.fun

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

Modified: mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/elaborate-core.fun
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/elaborate-core.fun	2006-12-06 21:26:26 UTC (rev 4907)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/elaborate/elaborate-core.fun	2006-12-07 03:36:25 UTC (rev 4908)
@@ -735,7 +735,9 @@
                 end)
          in
             [("Bool", CType.bool, Tycon.bool),
-             ("Pointer", CType.pointer, Tycon.pointer),
+             ("Pointer", 
+              CType.word (WordSize.pointer (), {signed = false}), 
+              Tycon.pointer),
              ("Real32", CType.real RealSize.R32, Tycon.real RealSize.R32),
              ("Real64", CType.real RealSize.R64, Tycon.real RealSize.R64),
              ("Thread", CType.thread, Tycon.thread)]