[MLton-commit] r5317

[Matthew Fluet]

An ObjptrTycon operand stands for an objptr header word
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/mlton/backend/rssa.fun

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

Modified: mlton/branches/on-20050822-x86_64-branch/mlton/backend/rssa.fun
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/backend/rssa.fun	2007-02-25 20:26:16 UTC (rev 5316)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/backend/rssa.fun	2007-02-25 20:28:53 UTC (rev 5317)
@@ -80,7 +80,7 @@
           | GCState => Type.gcState ()
           | Line => Type.cint ()
           | Offset {ty, ...} => ty
-          | ObjptrTycon opt => Type.objptr opt
+          | ObjptrTycon opt => Type.objptrHeader ()
           | Runtime z => Type.ofGCField z
           | Var {ty, ...} => ty