From dccf77649072d659541f2cacd6d3f8a0e8fb23dc Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 1 Nov 2018 16:51:31 -0400 Subject: Make pairs work in Z_cast2 --- src/Util/ZRange/Operations.v | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/Util') diff --git a/src/Util/ZRange/Operations.v b/src/Util/ZRange/Operations.v index f0bdb276e..a0cf38f42 100644 --- a/src/Util/ZRange/Operations.v +++ b/src/Util/ZRange/Operations.v @@ -198,6 +198,8 @@ Module ZRange. Infix ">>" := shiftr : zrange_scope. Infix "<<" := shiftl : zrange_scope. Infix "&'" := land : zrange_scope. + (* enable pairing to show up in arguments bound to zrange_scope *) + Notation "( x , y , .. , z )" := (pair .. (pair x%zrange y%zrange) .. z%zrange) : zrange_scope. End ZRangeNotations. End ZRange. -- cgit v1.2.3