Merge pull request #4221 from melted/changelog_hash
Add changelog item for C FFI #-prefix
commit0b128884d10cfa5270bb71c4105ee6657f236e8b
authorNiklas Larsson <metaniklas@gmail.com>
dateSat 25 Nov 2017, 12:55 (9 years ago)
parent7664753f452b92
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.