From 78a371009f4519af8a1387a25f00bc382f7791d1 Mon Sep 17 00:00:00 2001
From: Brian Gaeke
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.