From 5b7a1d7d6a7b3281bfb28c8548edb85bc99c91ab Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Tue, 14 Jul 2020 16:54:20 +0200 Subject: Adding support for Locate "( x , y )". It finds "( x , y , .. , z )". Co-authored-by: Gaëtan Gilbert --- test-suite/output/locate.out | 4 ++++ test-suite/output/locate.v | 4 ++++ 2 files changed, 8 insertions(+) (limited to 'test-suite') diff --git a/test-suite/output/locate.out b/test-suite/output/locate.out index 1ceec7c9f8..143eb1a1ae 100644 --- a/test-suite/output/locate.out +++ b/test-suite/output/locate.out @@ -9,3 +9,7 @@ Notation "( x , y , .. , z )" := pair .. (pair x y) .. z : core_scope (default interpretation) Notation "( x , y , .. , z )" := pair .. (pair x y) .. z : core_scope (default interpretation) +Notation +"( x , y , .. , z )" := pair .. (pair x y) .. z : core_scope (default interpretation) +Notation +"( x , y , .. , z )" := pair .. (pair x y) .. z : core_scope (default interpretation) diff --git a/test-suite/output/locate.v b/test-suite/output/locate.v index 262340e736..6995743531 100644 --- a/test-suite/output/locate.v +++ b/test-suite/output/locate.v @@ -19,4 +19,8 @@ Locate "( t , u , .. , v )". (* Was working though *) Locate "( _ , _ , .. , _ )". +(* We also support this *) +Locate "( t , u )". +Locate "( t , u , v )". + End N. -- cgit v1.2.3