Add changelog item for C FFI #-prefix
commitf452b923b0bafbce3803d21b2e0be19d8b0edac7
authorNiklas Larsson <niklas@mm.st>
dateSat 25 Nov 2017, 12:52 (9 years ago)
parent3d2e39a
CHANGELOG.md+6−1
@@ -26,7 +26,12 @@
2626+ Verbatim strings now support trailing quote characters. All quote characters
2727 until the final three are considered part of the string. Now a string such as
2828 `""""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+
3035## Library Updates
3136
3237+ Removed `oldeffects` library from `libs` folder, use `effects` or `Control.ST` instead.