diff options
| -rw-r--r-- | docs/LLVMVsTheWorld.html | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/LLVMVsTheWorld.html b/docs/LLVMVsTheWorld.html index 005a3a6087..bd06debbaa 100644 --- a/docs/LLVMVsTheWorld.html +++ b/docs/LLVMVsTheWorld.html @@ -79,8 +79,9 @@ support. Relatively weak optimization support.</p> <p>GNU lightning: C integer types and "void *" are supported. No type checking is performed. Explicit type casts are not typically necessary unless the underlying machine-specific types are distinct (e.g., sign- or zero-extension is -apparently necessary, but casting "int" to "void *" would not be.) No floating -point (?!)</p> +apparently necessary, but casting "int" to "void *" would not be.) +Floating-point support may not work on all platforms (it does not appear to be +documented in the latest release).</p> <p>LLVM: Compositional type system based on C types, supporting structures, opaque types, and C integer and floating point types.</p> |