You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: CHANGELOG.md
+3Lines changed: 3 additions & 0 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -4,6 +4,9 @@
4
4
- Improved pretty printer support internally
5
5
- New cabal setup
6
6
-`Set` and `SetOp` were exchanged, to conform to usage in (On Graded Coeffect Types for Information-Flow Control)[https://granule-project.github.io/papers/security-coeffects-mycroftfest.pdf].
7
+
- Pattern matching on characters (thanks to @DeSevilla)
8
+
- Fixes to pattern matching on integers (thanks to @DeSevilla)
9
+
-`--dest` flag to specify a target directory for grc (thanks to @heades).
7
10
8
11
# 0.9.6.0
9
12
- Graded uniqueness for borrowing and lifetimes as described in our OOPSLA 2024 paper: https://dl.acm.org/doi/10.1145/3649848. Examples in:
0 commit comments