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

SCM Repository

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

Annotation of /sml/trunk/src/ml-nlffi-lib/internals/i-iptr-fn.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1078 - (view) (download)

1 : blume 828 (*
2 :     * i-iptr-fn.sml Leave an "incomplete" C type "incomplete".
3 :     *
4 : blume 1078 * See ../iptr.sig for details.
5 : blume 828 *
6 : blume 1078 * (C) 2002, Lucent Technologies, Bell Labs
7 : blume 828 *
8 :     * author: Matthias Blume (blume@research.bell-labs.com)
9 :     *)
10 :     functor PointerToIncompleteType () :> POINTER_TO_INCOMPLETE_TYPE = struct
11 :    
12 : blume 1078 type 'c iobj = (C.uchar, 'c) C.obj
13 : blume 828
14 :     val typ'rw = C.T.pointer C.T.uchar
15 :     val typ'ro = C.T.ro typ'rw
16 :     end

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