doc/guide/localhost/ForeignFunctionInterfaceTypes

   1 <!DOCTYPE html>
   2 <html lang="en">
   3 <head>
   4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
   5 <meta name="generator" content="AsciiDoc 8.6.9">
   6 <title>ForeignFunctionInterfaceTypes</title>
   7 <link rel="stylesheet" href="./asciidoc.css" type="text/css">
   8 <link rel="stylesheet" href="./pygments.css" type="text/css">
   9
  10
  11 <script type="text/javascript" src="./asciidoc.js"></script>
  12 <script type="text/javascript">
  13 /*<![CDATA[*/
  14 asciidoc.install();
  15 /*]]>*/
  16 </script>
  17 <link rel="stylesheet" href="./mlton.css" type="text/css">
  18 </head>
  19 <body class="article">
  20 <div id="banner">
  21 <div id="banner-home">
  22 <a href="./Home">MLton 20180207</a>
  23 </div>
  24 </div>
  25 <div id="header">
  26 <h1>ForeignFunctionInterfaceTypes</h1>
  27 </div>
  28 <div id="content">
  29 <div id="preamble">
  30 <div class="sectionbody">
  31 <div class="paragraph"><p>MLton&#8217;s <a href="ForeignFunctionInterface">ForeignFunctionInterface</a> only allows values of certain SML
  32 types to be passed between SML and C.  The following types are
  33 allowed: <span class="monospaced">bool</span>, <span class="monospaced">char</span>, <span class="monospaced">int</span>, <span class="monospaced">real</span>, <span class="monospaced">word</span>.  All of the different
  34 sizes of (fixed-sized) integers, reals, and words are supported as
  35 well: <span class="monospaced">Int8.int</span>, <span class="monospaced">Int16.int</span>, <span class="monospaced">Int32.int</span>, <span class="monospaced">Int64.int</span>,
  36 <span class="monospaced">Real32.real</span>, <span class="monospaced">Real64.real</span>, <span class="monospaced">Word8.word</span>, <span class="monospaced">Word16.word</span>,
  37 <span class="monospaced">Word32.word</span>, <span class="monospaced">Word64.word</span>.  There is a special type,
  38 <span class="monospaced">MLton.Pointer.t</span>, for passing C pointers&#8201;&#8212;&#8201;see <a href="MLtonPointer">MLtonPointer</a> for
  39 details.</p></div>
  40 <div class="paragraph"><p>Arrays, refs, and vectors of the above types are also allowed.
  41 Because in MLton monomorphic arrays and vectors are exactly the same
  42 as their polymorphic counterpart, these are also allowed.  Hence,
  43 <span class="monospaced">string</span>, <span class="monospaced">char vector</span>, and <span class="monospaced">CharVector.vector</span> are also allowed.
  44 Strings are not null terminated, unless you manually do so from the
  45 SML side.</p></div>
  46 <div class="paragraph"><p>Unfortunately, passing tuples or datatypes is not allowed because that
  47 would interfere with representation optimizations.</p></div>
  48 <div class="paragraph"><p>The C header file that <span class="monospaced">-export-header</span> generates includes
  49 <span class="monospaced">typedef</span>s for the C types corresponding to the SML types.  Here is
  50 the mapping between SML types and C types.</p></div>
  51 <table class="tableblock frame-all grid-all"
  52 style="
  53 width:100%;
  54 ">
  55 <col style="width:25%;">
  56 <col style="width:25%;">
  57 <col style="width:25%;">
  58 <col style="width:25%;">
  59 <thead>
  60 <tr>
  61 <th class="tableblock halign-left valign-top" > SML type </th>
  62 <th class="tableblock halign-left valign-top" > C typedef </th>
  63 <th class="tableblock halign-left valign-top" > C type </th>
  64 <th class="tableblock halign-left valign-top" > Note</th>
  65 </tr>
  66 </thead>
  67 <tbody>
  68 <tr>
  69 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">array</span></p></td>
  70 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Pointer</span></p></td>
  71 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">unsigned char *</span></p></td>
  72 <td class="tableblock halign-left valign-top" ><p class="tableblock"></p></td>
  73 </tr>
  74 <tr>
  75 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">bool</span></p></td>
  76 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Bool</span></p></td>
  77 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">int32_t</span></p></td>
  78 <td class="tableblock halign-left valign-top" ><p class="tableblock"></p></td>
  79 </tr>
  80 <tr>
  81 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">char</span></p></td>
  82 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Char8</span></p></td>
  83 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">uint8_t</span></p></td>
  84 <td class="tableblock halign-left valign-top" ><p class="tableblock"></p></td>
  85 </tr>
  86 <tr>
  87 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Int8.int</span></p></td>
  88 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Int8</span></p></td>
  89 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">int8_t</span></p></td>
  90 <td class="tableblock halign-left valign-top" ><p class="tableblock"></p></td>
  91 </tr>
  92 <tr>
  93 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Int16.int</span></p></td>
  94 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Int16</span></p></td>
  95 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">int16_t</span></p></td>
  96 <td class="tableblock halign-left valign-top" ><p class="tableblock"></p></td>
  97 </tr>
  98 <tr>
  99 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Int32.int</span></p></td>
 100 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Int32</span></p></td>
 101 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">int32_t</span></p></td>
 102 <td class="tableblock halign-left valign-top" ><p class="tableblock"></p></td>
 103 </tr>
 104 <tr>
 105 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Int64.int</span></p></td>
 106 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Int64</span></p></td>
 107 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">int64_t</span></p></td>
 108 <td class="tableblock halign-left valign-top" ><p class="tableblock"></p></td>
 109 </tr>
 110 <tr>
 111 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">int</span></p></td>
 112 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Int32</span></p></td>
 113 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">int32_t</span></p></td>
 114 <td class="tableblock halign-left valign-top" ><p class="tableblock"><a href="ForeignFunctionInterfaceTypes#Default">(default)</a></p></td>
 115 </tr>
 116 <tr>
 117 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">MLton.Pointer.t</span></p></td>
 118 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Pointer</span></p></td>
 119 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">unsigned char *</span></p></td>
 120 <td class="tableblock halign-left valign-top" ><p class="tableblock"></p></td>
 121 </tr>
 122 <tr>
 123 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Real32.real</span></p></td>
 124 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Real32</span></p></td>
 125 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">float</span></p></td>
 126 <td class="tableblock halign-left valign-top" ><p class="tableblock"></p></td>
 127 </tr>
 128 <tr>
 129 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Real64.real</span></p></td>
 130 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Real64</span></p></td>
 131 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">double</span></p></td>
 132 <td class="tableblock halign-left valign-top" ><p class="tableblock"></p></td>
 133 </tr>
 134 <tr>
 135 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">real</span></p></td>
 136 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Real64</span></p></td>
 137 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">double</span></p></td>
 138 <td class="tableblock halign-left valign-top" ><p class="tableblock"><a href="ForeignFunctionInterfaceTypes#Default">(default)</a></p></td>
 139 </tr>
 140 <tr>
 141 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">ref</span></p></td>
 142 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Pointer</span></p></td>
 143 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">unsigned char *</span></p></td>
 144 <td class="tableblock halign-left valign-top" ><p class="tableblock"></p></td>
 145 </tr>
 146 <tr>
 147 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">string</span></p></td>
 148 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Pointer</span></p></td>
 149 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">unsigned char *</span></p></td>
 150 <td class="tableblock halign-left valign-top" ><p class="tableblock"><a href="ForeignFunctionInterfaceTypes#ReadOnly">(read only)</a></p></td>
 151 </tr>
 152 <tr>
 153 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">vector</span></p></td>
 154 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Pointer</span></p></td>
 155 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">unsigned char *</span></p></td>
 156 <td class="tableblock halign-left valign-top" ><p class="tableblock"><a href="ForeignFunctionInterfaceTypes#ReadOnly">(read only)</a></p></td>
 157 </tr>
 158 <tr>
 159 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Word8.word</span></p></td>
 160 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Word8</span></p></td>
 161 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">uint8_t</span></p></td>
 162 <td class="tableblock halign-left valign-top" ><p class="tableblock"></p></td>
 163 </tr>
 164 <tr>
 165 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Word16.word</span></p></td>
 166 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Word16</span></p></td>
 167 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">uint16_t</span></p></td>
 168 <td class="tableblock halign-left valign-top" ><p class="tableblock"></p></td>
 169 </tr>
 170 <tr>
 171 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Word32.word</span></p></td>
 172 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Word32</span></p></td>
 173 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">uint32_t</span></p></td>
 174 <td class="tableblock halign-left valign-top" ><p class="tableblock"></p></td>
 175 </tr>
 176 <tr>
 177 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Word64.word</span></p></td>
 178 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Word64</span></p></td>
 179 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">uint64_t</span></p></td>
 180 <td class="tableblock halign-left valign-top" ><p class="tableblock"></p></td>
 181 </tr>
 182 <tr>
 183 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">word</span></p></td>
 184 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">Word32</span></p></td>
 185 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">uint32_t</span></p></td>
 186 <td class="tableblock halign-left valign-top" ><p class="tableblock"><a href="ForeignFunctionInterfaceTypes#Default">(default)</a></p></td>
 187 </tr>
 188 </tbody>
 189 </table>
 190 <div class="paragraph"><p><a id="Default"></a>Note (default): The default <span class="monospaced">int</span>, <span class="monospaced">real</span>, and
 191 <span class="monospaced">word</span> types may be set by the <span class="monospaced">-default-type <em>type</em></span>
 192 <a href="CompileTimeOptions"> compiler option</a>.  The given C typedef and C
 193 types correspond to the default behavior.</p></div>
 194 <div class="paragraph"><p><a id="ReadOnly"></a>Note (read only): Because MLton assumes that
 195 vectors and strings are read-only (and will perform optimizations
 196 that, for instance, cause them to share space), you must not modify
 197 the data pointed to by the <span class="monospaced">unsigned char *</span> in C code.</p></div>
 198 <div class="paragraph"><p>Although the C type of an array, ref, or vector is always <span class="monospaced">Pointer</span>,
 199 in reality, the object has the natural C representation.  Your C code
 200 should cast to the appropriate C type if you want to keep the C
 201 compiler from complaining.</p></div>
 202 <div class="paragraph"><p>When calling an <a href="CallingFromSMLToC"> imported C function from SML</a>
 203 that returns an array, ref, or vector result or when calling an
 204 <a href="CallingFromCToSML"> exported SML function from C</a> that takes an
 205 array, ref, or string argument, then the object must be an ML object
 206 allocated on the ML heap.  (Although an array, ref, or vector object
 207 has the natural C representation, the object also has an additional
 208 header used by the SML runtime system.)</p></div>
 209 <div class="paragraph"><p>In addition, there is an <a href="MLBasis">MLBasis</a> file, <span class="monospaced">$(SML_LIB)/basis/c-types.mlb</span>,
 210 which provides structure aliases for various C types:</p></div>
 211 <table class="tableblock frame-all grid-all"
 212 style="
 213 width:100%;
 214 ">
 215 <col style="width:33%;">
 216 <col style="width:33%;">
 217 <col style="width:33%;">
 218 <tbody>
 219 <tr>
 220 <td class="tableblock halign-left valign-top" ><p class="tableblock">C type</p></td>
 221 <td class="tableblock halign-left valign-top" ><p class="tableblock">Structure</p></td>
 222 <td class="tableblock halign-left valign-top" ><p class="tableblock">Signature</p></td>
 223 </tr>
 224 <tr>
 225 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">char</span></p></td>
 226 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_Char</span></p></td>
 227 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">INTEGER</span></p></td>
 228 </tr>
 229 <tr>
 230 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">signed char</span></p></td>
 231 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_SChar</span></p></td>
 232 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">INTEGER</span></p></td>
 233 </tr>
 234 <tr>
 235 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">unsigned char</span></p></td>
 236 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_UChar</span></p></td>
 237 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">WORD</span></p></td>
 238 </tr>
 239 <tr>
 240 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">short</span></p></td>
 241 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_Short</span></p></td>
 242 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">INTEGER</span></p></td>
 243 </tr>
 244 <tr>
 245 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">signed short</span></p></td>
 246 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_SShort</span></p></td>
 247 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">INTEGER</span></p></td>
 248 </tr>
 249 <tr>
 250 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">unsigned short</span></p></td>
 251 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_UShort</span></p></td>
 252 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">WORD</span></p></td>
 253 </tr>
 254 <tr>
 255 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">int</span></p></td>
 256 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_Int</span></p></td>
 257 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">INTEGER</span></p></td>
 258 </tr>
 259 <tr>
 260 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">signed int</span></p></td>
 261 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_SInt</span></p></td>
 262 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">INTEGER</span></p></td>
 263 </tr>
 264 <tr>
 265 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">unsigned int</span></p></td>
 266 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_UInt</span></p></td>
 267 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">WORD</span></p></td>
 268 </tr>
 269 <tr>
 270 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">long</span></p></td>
 271 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_Long</span></p></td>
 272 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">INTEGER</span></p></td>
 273 </tr>
 274 <tr>
 275 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">signed long</span></p></td>
 276 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_SLong</span></p></td>
 277 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">INTEGER</span></p></td>
 278 </tr>
 279 <tr>
 280 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">unsigned long</span></p></td>
 281 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_ULong</span></p></td>
 282 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">WORD</span></p></td>
 283 </tr>
 284 <tr>
 285 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">long long</span></p></td>
 286 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_LongLong</span></p></td>
 287 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">INTEGER</span></p></td>
 288 </tr>
 289 <tr>
 290 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">signed long long</span></p></td>
 291 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_SLongLong</span></p></td>
 292 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">INTEGER</span></p></td>
 293 </tr>
 294 <tr>
 295 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">unsigned long long</span></p></td>
 296 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_ULongLong</span></p></td>
 297 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">WORD</span></p></td>
 298 </tr>
 299 <tr>
 300 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">float</span></p></td>
 301 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_Float</span></p></td>
 302 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">REAL</span></p></td>
 303 </tr>
 304 <tr>
 305 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">double</span></p></td>
 306 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_Double</span></p></td>
 307 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">REAL</span></p></td>
 308 </tr>
 309 <tr>
 310 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">size_t</span></p></td>
 311 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_Size</span></p></td>
 312 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">WORD</span></p></td>
 313 </tr>
 314 <tr>
 315 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">ptrdiff_t</span></p></td>
 316 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_Ptrdiff</span></p></td>
 317 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">INTEGER</span></p></td>
 318 </tr>
 319 <tr>
 320 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">intmax_t</span></p></td>
 321 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_Intmax</span></p></td>
 322 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">INTEGER</span></p></td>
 323 </tr>
 324 <tr>
 325 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">uintmax_t</span></p></td>
 326 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_UIntmax</span></p></td>
 327 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">WORD</span></p></td>
 328 </tr>
 329 <tr>
 330 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">intptr_t</span></p></td>
 331 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_Intptr</span></p></td>
 332 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">INTEGER</span></p></td>
 333 </tr>
 334 <tr>
 335 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">uintptr_t</span></p></td>
 336 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_UIntptr</span></p></td>
 337 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">WORD</span></p></td>
 338 </tr>
 339 <tr>
 340 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">void *</span></p></td>
 341 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">C_Pointer</span></p></td>
 342 <td class="tableblock halign-left valign-top" ><p class="tableblock"><span class="monospaced">WORD</span></p></td>
 343 </tr>
 344 </tbody>
 345 </table>
 346 <div class="paragraph"><p>These aliases depend on the configuration of the C compiler for the
 347 target architecture, and are independent of the configuration of MLton
 348 (including the <span class="monospaced">-default-type <em>type</em></span>
 349 <a href="CompileTimeOptions"> compiler option</a>).</p></div>
 350 </div>
 351 </div>
 352 </div>
 353 <div id="footnotes"><hr></div>
 354 <div id="footer">
 355 <div id="footer-text">
 356 </div>
 357 <div id="footer-badges">
 358 </div>
 359 </div>
 360 </body>
 361 </html>