SCM Repository
[smlnj] Annotation of /sml/releases/release-110.35/src/ml-nlffi-lib/c.cm
Annotation of /sml/releases/release-110.35/src/ml-nlffi-lib/c.cm
Parent Directory
| 
Revision Log
Revision 828 -
(view)
(download)
Original Path: sml/trunk/src/ml-nlffi-lib/c.cm
| 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 : |
|
|
|
| 21 : |
|
|
structure ZString
|
| 22 : |
|
|
|
| 23 : |
|
|
signature POINTER_TO_INCOMPLETE_TYPE
|
| 24 : |
|
|
functor PointerToCompleteType
|
| 25 : |
|
|
functor PointerToIncompleteType
|
| 26 : |
|
|
|
| 27 : |
|
|
signature DYN_LINKAGE
|
| 28 : |
|
|
structure DynLinkage
|
| 29 : |
|
|
is
|
| 30 : |
|
|
$/c-int.cm
|
