on master help sign in
Add changelog item for C FFI #-prefix
f452b92Niklas Larsson
CHANGELOG.md+6−1
@@ -26,7 +26,12 @@
26+ Verbatim strings now support trailing quote characters. All quote characters
26+ Verbatim strings now support trailing quote characters. All quote characters
27 until the final three are considered part of the string. Now a string such as
27 until the final three are considered part of the string. Now a string such as
28 `""""hello""""` will parse, and is equivalent to `"\"hello\""`.
28 `""""hello""""` will parse, and is equivalent to `"\"hello\""`.
29−
29++ C FFI now supports pasting in any expression by prefixing it with '#', e.g.
30+ ```idris
31+ intMax : IO Int
32+ intMax = foreign FFI_C "#INT_MAX" (IO Int)
33+ ```
34+
30## Library Updates
35## Library Updates
31
36
32+ Removed `oldeffects` library from `libs` folder, use `effects` or `Control.ST` instead.
37+ Removed `oldeffects` library from `libs` folder, use `effects` or `Control.ST` instead.