www

commit 7465aead4c5f5efe0562f2022da12cf6223f7c4c
parent c7c254969563d375c18e81745d45deb3c41fb91c
Author: Georges Dupéron <georges.duperon@gmail.com>
Date:   Thu, 29 Sep 2016 17:21:30 +0200

Fixed {~^ power:nat} for the match expander (the . rest was missing)

Diffstat:
M
implementation.rkt
 | 
4
+++-
M
test/test-match.rkt
 | 
12
++++++------

2 files changed, 9 insertions(+), 7 deletions(-)
diff --git a/implementation.rkt b/implementation.rkt
@@ -285,6 +285,8 @@
         (syntax-parser
           #:context context
           #:literals (^ * + - ∞ once)
+          [({~do (displayln this-syntax)} #:oops-nope)
+           #'trbgfdsctgbrfvdc]
           [()
            #'(list)]
           [rest:not-stx-pair
@@ -335,7 +337,7 @@
            #`(list-rest-ish [] base ellipsis #,(xl #'rest))]
           [(:base {~^ once} . rest)
            #`(list-rest-ish [] base #|no ellipsis|# #,(xl #'rest))]
-          [(:base {~^ power:nat})
+          [(:base {~^ power:nat} . rest)
            #:with occurrences (gensym 'occurrences)
            #`(list-rest-ish [(? (λ (_) (= (length occurrences) power)))]
                             (and occurrences base) ooo
diff --git a/test/test-match.rkt b/test/test-match.rkt
@@ -200,9 +200,9 @@
  (void))
 
 (test-begin
- "{once}, {1} and a simple pattern variable"
- (check-match '(a a a a a a a a)
-              [(xlist a1 ^ {once} a2 ^ {1} a3 a4 ^ *)
-               (list a4 a3 a2 a1)]
-              '((a a a a a) a (a) a))
- (void))
+   "{once}, {1} and a simple pattern variable"
+   (check-match '(a a a a a a a a)
+                [(xlist a1 ^ {once} a2 ^ {1} a3 a4 ^ *)
+                 (list a4 a3 a2 a1)]
+                '((a a a a a) a (a) a))
+   (void))