From 27c3bbb66564d41081e8c19f2a1c6f2bcdd3780f Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 27 Dec 2017 16:44:13 -0500 Subject: Add some reserved notations for cps stuff --- src/Util/Notations.v | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/Util/Notations.v') 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). -- cgit v1.2.3