SCM Repository
Annotation of /sml/trunk/src/ml-nlffi-lib/internals/c-int.cm
Parent Directory
|
Revision Log
Revision 837 - (view) (download)
1 : | blume | 828 | (* |
2 : | * A new foreign-function interface for SML. | ||
3 : | * This interface is actually an interface to C. It is based on | ||
4 : | * an encoding of C's type system in ML. | ||
5 : | * This library is a helper library for use by automatically generated | ||
6 : | * code. (An auxiliary tool produces this code directly from C code.) | ||
7 : | * | ||
8 : | * (C) 2000, Lucent Technologies, Bell Laboratories | ||
9 : | * | ||
10 : | * author: Matthias Blume (blume@kurims.kyoto-u.ac.jp) | ||
11 : | *) | ||
12 : | c-int | ||
13 : | Library | ||
14 : | structure Tag | ||
15 : | |||
16 : | structure MLRep | ||
17 : | |||
18 : | signature C | ||
19 : | structure C | ||
20 : | signature C_INT | ||
21 : | structure C_Int | ||
22 : | |||
23 : | blume | 837 | signature ZSTRING |
24 : | blume | 828 | structure ZString |
25 : | |||
26 : | signature DYN_LINKAGE | ||
27 : | structure DynLinkage | ||
28 : | |||
29 : | signature CMEMORY | ||
30 : | structure CMemory | ||
31 : | |||
32 : | signature POINTER_TO_INCOMPLETE_TYPE | ||
33 : | functor PointerToCompleteType | ||
34 : | functor PointerToIncompleteType | ||
35 : | is | ||
36 : | $/basis.cm | ||
37 : | |||
38 : | $/memory.cm | ||
39 : | |||
40 : | tag.sml | ||
41 : | |||
42 : | blume | 837 | ../c.sig (lambdasplit:infinity) |
43 : | blume | 828 | c.sml (lambdasplit:infinity) |
44 : | blume | 837 | c-int.sig (lambdasplit:infinity) |
45 : | blume | 828 | c-int.sml (lambdasplit:infinity) |
46 : | |||
47 : | blume | 837 | ../zstring.sig (lambdasplit:infinity) |
48 : | zstring.sml (lambdasplit:infinity) | ||
49 : | |||
50 : | ../iptr.sig (lambdasplit:infinity) | ||
51 : | blume | 828 | c-iptr-fn.sml (lambdasplit:infinity) |
52 : | i-iptr-fn.sml (lambdasplit:infinity) |
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |