Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/ml-nlffi-lib/internals/c-int.sml
ViewVC logotype

Diff of /sml/trunk/src/ml-nlffi-lib/internals/c-int.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1010, Wed Jan 9 21:27:48 2002 UTC revision 1011, Thu Jan 10 20:22:04 2002 UTC
# Line 458  Line 458 
458    
459      (* ------------- internal stuff ------------- *)      (* ------------- internal stuff ------------- *)
460    
461      fun mk_obj (t: objt) (a: addr) = (a, t)      fun mk_obj (t: objt, a: addr) = (a, t)
462      fun mk_voidptr (a : addr) = a      fun mk_voidptr (a : addr) = a
463      fun mk_fptr (FPTR mkf) a = (a, Unsafe.cast mkf a)      fun mk_fptr (mkf, a) = (a, mkf a)
       | mk_fptr _ _ = bug "mk_fptr (non-function-pointer-type)"  
464    
465      local      local
466          fun mk_field (t: objt) i (a, _: objt) = (a ++ i, t)          fun mk_field (t: objt, i, (a, _: objt)) = (a ++ i, t)
467      in      in
468          val mk_rw_field = mk_field          val mk_rw_field = mk_field
469          val mk_ro_field = mk_field          val mk_ro_field = mk_field
470          fun mk_field' i a = a ++ i          fun mk_field' (i, a) = a ++ i
471      end      end
472    
473      local      local

Legend:
Removed from v.1010  
changed lines
  Added in v.1011

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0