git.iko.soy/Idris-dev
on master help sign in
update CHANGELOG.md with new verbatim string behavior
612f918Michael Morgan
CHANGELOG.md+3
compare with master
unifiedsplit
@@ -23,6 +23,9 @@
23 uninhabited (MkDPair n prf) = absurd prf
23 uninhabited (MkDPair n prf) = absurd prf
24 ```
24 ```
25 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}`.
25 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\""`.
26
29
27## Library Updates
30## Library Updates
28
31