update CHANGELOG.md with new verbatim string behavior
commit612f918afd35272a07f808585ab74876a0270755
authorMichael Morgan <morgan.michael@me.com>
dateThu 16 Nov 2017, 16:57 (9 years ago)
parent31156f0
CHANGELOG.md+3
@@ -23,6 +23,9 @@
2323 uninhabited (MkDPair n prf) = absurd prf
2424 ```
2525 It is possible to use `using implementation uninhabltb` to add the implementation to the automated resolution, but if it fails to find the instance due to non-injectivity, one must pass it explicitly to target function, i.e. `absurd @{uninhabltb}`.
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
28+ `""""hello""""` will parse, and is equivalent to `"\"hello\""`.
2629
2730## Library Updates
2831