diff --git a/docs/LLVMVsTheWorld.html b/docs/LLVMVsTheWorld.html index 005a3a60871..bd06debbaa6 100644 --- a/docs/LLVMVsTheWorld.html +++ b/docs/LLVMVsTheWorld.html @@ -79,8 +79,9 @@ support. Relatively weak optimization support.

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 (?!)

+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).

LLVM: Compositional type system based on C types, supporting structures, opaque types, and C integer and floating point types.