HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
1 | (* c.mlb |
| 2 | * 2005 Matthew Fluet (mfluet@acm.org) | |
| 3 | * Adapted for MLton. | |
| 4 | *) | |
| 5 | ||
| 6 | (* | |
| 7 | * A new foreign-function interface for SML. | |
| 8 | * This interface is actually an interface to C. It is based on | |
| 9 | * an encoding of C's type system in ML. | |
| 10 | * This library is a helper library for use by automatically generated | |
| 11 | * code. (An auxiliary tool produces this code directly from C code.) | |
| 12 | * | |
| 13 | * (C) 2001, Lucent Technologies, Bell Laboratories | |
| 14 | * | |
| 15 | * author: Matthias Blume (blume@research.bell-labs.com) | |
| 16 | *) | |
| 17 | ann | |
| 18 | "nonexhaustiveBind warn" "nonexhaustiveMatch warn" | |
| 19 | "redundantBind warn" "redundantMatch warn" | |
| 20 | "sequenceNonUnit warn" | |
| 21 | "warnUnused true" "forceUsed" | |
| 22 | in | |
| 23 | local | |
| 24 | internals/c-int.mlb | |
| 25 | in | |
| 26 | structure Tag | |
| 27 | ||
| 28 | structure MLRep | |
| 29 | ||
| 30 | signature C | |
| 31 | structure C | |
| 32 | signature C_DEBUG | |
| 33 | structure C_Debug | |
| 34 | ||
| 35 | signature ZSTRING | |
| 36 | structure ZString | |
| 37 | ||
| 38 | signature DYN_LINKAGE | |
| 39 | structure DynLinkage | |
| 40 | end | |
| 41 | end |