[MLton-commit] r6736

[Matthew Fluet]

The CPointer_{get,set}CPointer primitives have no type arguments.
----------------------------------------------------------------------

U   mlton/trunk/mlton/atoms/prim.fun

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

Modified: mlton/trunk/mlton/atoms/prim.fun
===================================================================
--- mlton/trunk/mlton/atoms/prim.fun	2008-08-19 22:12:26 UTC (rev 6735)
+++ mlton/trunk/mlton/atoms/prim.fun	2008-08-19 22:12:32 UTC (rev 6736)
@@ -1349,10 +1349,12 @@
       case prim of
          Array_array => one (deArray result)
        | Array_array0Const => one (deArray result)
+       | Array_length => one (deArray (arg 0))
        | Array_sub => one (deArray (arg 0))
        | Array_toVector => one (deArray (arg 0))
        | Array_update => one (deArray (arg 0))
-       | Array_length => one (deArray (arg 0))
+       | CPointer_getObjptr => one result
+       | CPointer_setObjptr => one (arg 2)
        | Exn_extra => one result
        | Exn_setExtendExtra => one (#2 (deArrow (arg 0)))
        | Exn_setInitExtra => one (arg 0)
@@ -1365,10 +1367,6 @@
        | MLton_share => one (arg 0)
        | MLton_size => one (arg 0)
        | MLton_touch => one (arg 0)
-       | CPointer_getCPointer => one result
-       | CPointer_getObjptr => one result
-       | CPointer_setCPointer => one (arg 2)
-       | CPointer_setObjptr => one (arg 2)
        | Ref_assign => one (arg 1)
        | Ref_deref => one result
        | Ref_ref => one (arg 0)