diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-12-27 16:44:13 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-12-27 16:44:13 -0500 |
| commit | 27c3bbb66564d41081e8c19f2a1c6f2bcdd3780f (patch) | |
| tree | 99577697bcbf3c0d689f46b80e41ab0da4fa639c /src/Util/Notations.v | |
| parent | 7363dad9516855597ba144232b86c4e7c577ad8f (diff) | |
Add some reserved notations for cps stuff
Diffstat (limited to 'src/Util/Notations.v')
| -rw-r--r-- | src/Util/Notations.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Util/Notations.v b/src/Util/Notations.v index 4f0f8e8fb..01c264d9c 100644 --- a/src/Util/Notations.v +++ b/src/Util/Notations.v @@ -81,6 +81,7 @@ Reserved Notation "$$ v" (at level 40). Reserved Notation "& x" (at level 30). Reserved Notation "** x" (at level 30). Reserved Notation "A <- X ; B" (at level 70, right associativity, format "'[v' A <- X ; '/' B ']'"). +Reserved Notation "A <-- X ; B" (at level 70, right associativity, format "'[v' A <-- X ; '/' B ']'"). Reserved Notation "u [ i ]" (at level 30). Reserved Notation "v [[ i ]]" (at level 30). Reserved Notation "u {{ i }}" (at level 30). @@ -128,5 +129,6 @@ Reserved Notation "++ x" (at level 60, format "++ x"). Reserved Notation "-- x" (at level 60, format "-- x"). Reserved Notation "~> R" (at level 70). Reserved Notation "A ~> R" (at level 99). +Reserved Notation "A --->" (left associativity, at level 65). Reserved Notation "'return' x" (at level 70, format "'return' x"). Reserved Notation "f x" (only printing, at level 10, left associativity). |