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

SCM Repository

[smlnj] View of /sml/trunk/src/ml-nlffi-lib/internals/c-iptr-fn.sml
ViewVC logotype

View of /sml/trunk/src/ml-nlffi-lib/internals/c-iptr-fn.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1078 - (download) (annotate)
Tue Feb 19 21:26:48 2002 UTC (18 years ago) by blume
File size: 485 byte(s)
a mix of changes to CM and FFI
(*
 * c-iptr-fn.sml   Generate the "completion" of an "incomplete" C type.
 *
 *   See ../iptr.sig for details.
 *
 *   (C) 2002, Lucent Technologies, Bell Labs
 *
 * author: Matthias Blume (blume@research.bell-labs.com)
 *)
functor PointerToCompleteType (type tag val typ : tag C.su C.T.typ) :>
	POINTER_TO_INCOMPLETE_TYPE
	where type 'c iobj = (tag C.su, 'c) C.obj =
struct
    type 'c iobj = (tag C.su, 'c) C.obj

    val typ'rw = C.T.pointer typ
    val typ'ro = C.T.ro typ'rw
end

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