From d5c2751d192b79278b3732f9092d55f8ffc06e41 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Sun, 27 Sep 2009 22:53:13 -0700
Subject: [PATCH] Add grep spencer1 tests.

---
 tests/runtime/test-regsexp.scm | 594 +++++++++++++++++++++------------
 1 file changed, 373 insertions(+), 221 deletions(-)

diff --git a/tests/runtime/test-regsexp.scm b/tests/runtime/test-regsexp.scm
index dcd832362..8f3a9c86f 100644
--- a/tests/runtime/test-regsexp.scm
+++ b/tests/runtime/test-regsexp.scm
@@ -52,6 +52,11 @@ USA.
 				    (cadr p)))))
        entries))
 
+(define (multi-match-strings-test entries)
+  (map (lambda (entry)
+	 (match-strings-test (car entry) (cdr entry)))
+       entries))
+
 (define-test 'any-char
   (match-strings-test '(any-char)
 		      '(("" #f)
@@ -239,227 +244,374 @@ USA.
 
 ;;; Ripped off from "grep/tests/bre.tests".
 (define-test 'grep-bre
-  (map (lambda (entry)
-	 (match-strings-test (car entry) (cdr entry)))
-       '(((seq "a" (seq "b") "c")
-	  "abc")
-	 ((seq "a" (seq) "b")
-	  "ab")
-	 ((seq (* "a")
-	       (seq (string-start)
-		    "b"
-		    (string-end))
-	       (* "c"))
-	  "b")
-	 ((seq)
-	  ("abc" 0))
-	 ((seq "a"
-	       (group x (* "b"))
-	       "c"
-	       (group-ref x)
-	       "d")
-	  ("abbcbd" #f)
-	  ("abbcbbd" 7 (x 1 3))
-	  ("abbcbbbd" #f))
-	 ((seq (string-start)
-	       (group x (any-char))
-	       (group-ref x))
-	  ("abc" #f))
-	 ((seq "a"
-	       (* (seq (group x (char-set "bc"))
-		       (group-ref x)))
-	       "d")
-	  ("abbccd" 6 (x 3 4) (x 1 2))
-	  ("abbcbd" #f))
-	 ((seq "a"
-	       (* (seq (* (group x "b"))
-		       (group-ref x)))
-	       "d")
-	  ("abbbd" 5 (x 2 3) (x 1 2)))
-	 ((seq (group x "a")
-	       (group-ref x)
-	       "bcd")
-	  ("aabcd" 5 (x 0 1)))
-	 ((seq (group x "a")
-	       (group-ref x)
-	       "b"
-	       (* "c")
-	       "d")
-	  ("aabcd" 5 (x 0 1))
-	  ("aabd" 4 (x 0 1))
-	  ("aabcccd" 7 (x 0 1)))
-	 ((seq (group x "a")
-	       (group-ref x)
-	       "b"
-	       (* "c")
-	       (char-set "ce")
-	       "d")
-	  ("aabcccd" 7 (x 0 1)))
-	 ((seq (string-start)
-	       (group x "a")
-	       (group-ref x)
-	       "b"
-	       (* "c")
-	       "cd"
-	       (string-end))
-	  ("aabcccd" 7 (x 0 1)))
-	 ((seq (** 1 "a") "b")
-	  "ab")
-	 ((seq (** 1 #f "a") "b")
-	  "ab")
-	 ((seq (** 1 2 "a") "b")
-	  "aab")
-	 ((seq "a" (** 0 "b") "c")
-	  "ac"
-	  ("abc" #f))
-	 ((seq "a" (** 0 1 "b") "c")
-	  "ac"
-	  "abc"
-	  ("abbc" #f))
-	 ((seq "a" (** 0 3 "b") "c")
-	  "ac"
-	  "abc"
-	  "abbc"
-	  "abbbc"
-	  ("abbbbc" #f))
-	 ((seq "a" (** 1 0 "b") "c")
-	  ("ac" pattern-error))
-	 ((seq "a" (** #f 1 "b") "c")
-	  ("ac" pattern-error))
-	 ((seq "a" (** 1 "b") "c")
-	  ("ac" #f)
-	  "abc")
-	 ((seq "a" (** 1 3 "b") "c")
-	  ("ac" #f)
-	  "abc")
-	 ((seq "a" (** 2 "b") "c")
-	  ("abc" #f)
-	  "abbc")
-	 ((seq "a" (** 2 4 "b") "c")
-	  ("abcabbc" #f))
-	 ((seq "a"
-	       (? (group x "b"))
-	       "c"
-	       (group-ref x)
-	       "d")
-	  "acd")
-	 ((seq (** 0 1 "-")
-	       (+ (char-set "0123456789"))
-	       (string-end))
-	  "-5"))))
+  (multi-match-strings-test
+   '(((seq "a" (seq "b") "c")
+      "abc")
+     ((seq "a" (seq) "b")
+      "ab")
+     ((seq (* "a")
+	   (seq (string-start)
+		"b"
+		(string-end))
+	   (* "c"))
+      "b")
+     ((seq)
+      ("abc" 0))
+     ((seq "a"
+	   (group x (* "b"))
+	   "c"
+	   (group-ref x)
+	   "d")
+      ("abbcbd" #f)
+      ("abbcbbd" 7 (x 1 3))
+      ("abbcbbbd" #f))
+     ((seq (string-start)
+	   (group x (any-char))
+	   (group-ref x))
+      ("abc" #f))
+     ((seq "a"
+	   (* (seq (group x (char-set "bc"))
+		   (group-ref x)))
+	   "d")
+      ("abbccd" 6 (x 3 4) (x 1 2))
+      ("abbcbd" #f))
+     ((seq "a"
+	   (* (seq (* (group x "b"))
+		   (group-ref x)))
+	   "d")
+      ("abbbd" 5 (x 2 3) (x 1 2)))
+     ((seq (group x "a")
+	   (group-ref x)
+	   "bcd")
+      ("aabcd" 5 (x 0 1)))
+     ((seq (group x "a")
+	   (group-ref x)
+	   "b"
+	   (* "c")
+	   "d")
+      ("aabcd" 5 (x 0 1))
+      ("aabd" 4 (x 0 1))
+      ("aabcccd" 7 (x 0 1)))
+     ((seq (group x "a")
+	   (group-ref x)
+	   "b"
+	   (* "c")
+	   (char-set "ce")
+	   "d")
+      ("aabcccd" 7 (x 0 1)))
+     ((seq (string-start)
+	   (group x "a")
+	   (group-ref x)
+	   "b"
+	   (* "c")
+	   "cd"
+	   (string-end))
+      ("aabcccd" 7 (x 0 1)))
+     ((seq (** 1 "a") "b")
+      "ab")
+     ((seq (** 1 #f "a") "b")
+      "ab")
+     ((seq (** 1 2 "a") "b")
+      "aab")
+     ((seq "a" (** 0 "b") "c")
+      "ac"
+      ("abc" #f))
+     ((seq "a" (** 0 1 "b") "c")
+      "ac"
+      "abc"
+      ("abbc" #f))
+     ((seq "a" (** 0 3 "b") "c")
+      "ac"
+      "abc"
+      "abbc"
+      "abbbc"
+      ("abbbbc" #f))
+     ((seq "a" (** 1 0 "b") "c")
+      ("ac" pattern-error))
+     ((seq "a" (** #f 1 "b") "c")
+      ("ac" pattern-error))
+     ((seq "a" (** 1 "b") "c")
+      ("ac" #f)
+      "abc")
+     ((seq "a" (** 1 3 "b") "c")
+      ("ac" #f)
+      "abc")
+     ((seq "a" (** 2 "b") "c")
+      ("abc" #f)
+      "abbc")
+     ((seq "a" (** 2 4 "b") "c")
+      ("abcabbc" #f))
+     ((seq "a"
+	   (? (group x "b"))
+	   "c"
+	   (group-ref x)
+	   "d")
+      "acd")
+     ((seq (** 0 1 "-")
+	   (+ (char-set "0123456789"))
+	   (string-end))
+      "-5"))))
 
 ;;; Ripped off from "grep/tests/ere.tests".
 (define-test 'grep-ere
-  (map (lambda (entry)
-	 (match-strings-test (car entry) (cdr entry)))
-       `(((alt "abc" "de")
-	  "abc")
-	 ((alt "a" "b" "c")
-	  ("abc" 1))
-	 ((seq "a" (any-char) "c")
-	  "abc")
-	 ((seq "a" (char-set "bc") "d")
-	  "abd")
-	 ((seq "a" (* "b") "c")
-	  "abc")
-	 ((seq "a" (+ "b") "c")
-	  "abc")
-	 ((seq "a" (? "b") "c")
-	  "abc")
-	 ((seq "a" (char-set "b") "c")
-	  "abc")
-	 ((seq "a" (char-set "ab") "c")
-	  "abc")
-	 ((seq "a" (inverse-char-set "ab") "c")
-	  ("abc" #f)
-	  "adc")
-	 ((seq "a" (char-set ,(char-set->alphabet char-set:alphabetic)) "c")
-	  "abc"
-	  "adc")
-	 ((seq "a" (+ (char-set ,(char-set->alphabet char-set:numeric))) "c")
-	  "a019c")
-	 ((seq "A" (+ (char-set ,(char-set->alphabet char-set:lower-case))) "C")
-	  "AabC")
-	 ((seq "a" (+ (char-set ,(char-set->alphabet char-set:upper-case))) "c")
-	  "aBCc")
-	 ((seq "a" (** 20 (char-set "ab")))
-	  "aaaaabaaaabaaaabaaaab")
-	 ((seq "a"
-	       (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
-	       (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
-	       (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
-	       (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
-	       (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab"))
-	  "aaaaabaaaabaaaabaaaab")
-	 ((seq "a"
-	       (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
-	       (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
-	       (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
-	       (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
-	       (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
-	       (alt "wee" "week")
-	       (alt "knights" "night"))
-	  "aaaaabaaaabaaaabaaaabweeknights")
-	 ((seq (char-set "ab") (char-set "cd") (char-set "ef") (char-set "gh")
-	       (char-set "ij") (char-set "kl") (char-set "mn"))
-	  ("acegikmoq" 7))
-	 ((seq (char-set "ab") (char-set "cd") (char-set "ef") (char-set "gh")
-	       (char-set "ij") (char-set "kl") (char-set "mn") (char-set "op"))
-	  ("acegikmoq" 8))
-	 ((seq (char-set "ab") (char-set "cd") (char-set "ef") (char-set "gh")
-	       (char-set "ij") (char-set "kl") (char-set "mn") (char-set "op")
-	       (char-set "qr"))
-	  ("acegikmoqy" 9))
-	 ((seq (char-set "ab") (char-set "cd") (char-set "ef") (char-set "gh")
-	       (char-set "ij") (char-set "kl") (char-set "mn") (char-set "op")
-	       (char-set "q"))
-	  ("acegikmoqy" 9))
-	 ("aBc"
-	  ("Abc" #f))
-	 ((seq "a" (* (char-set "Bc")) "d")
-	  "acBd"
-	  "aBcd"
-	  "aBcBcBd"
-	  ("aBCd" #f)
-	  ("abcd" #f)
-	  ("abBCcd" #f))
-	 ((seq "a" (inverse-char-set "b") "c")
-	  ("abc" #f)
-	  "aBc"
-	  "adc")
-	 ((seq (char-set "a") "b" (char-set "c"))
-	  "abc")
-	 ((seq (char-set "a") "b" (char-set "a"))
-	  "aba")
-	 ((seq (char-set "abc") "b" (char-set "abc"))
-	  "abc")
-	 ((seq (char-set "abc") "b" (char-set "abd"))
-	  ("abc" #f)
-	  "abd")
-	 ((seq "a" (+ (seq (? "b") "c")) "d")
-	  "accd")
-	 ((* "a")
-	  ("b" 0))
-	 ((seq (alt "wee" "week") (alt "knights" "night"))
-	  "weeknights")
-	 ((seq (alt "we" "wee" "week" "frob") (alt "knights" "night" "day"))
-	  "weeknights")
-	 ("abcdefghijklmnop"
-	  "abcdefghijklmnop")
-	 ("abcdefghijklmnopqrstuv"
-	  "abcdefghijklmnopqrstuv")
-	 ((alt (seq "CC" (char-set "13") "1")
-	       (seq (** 21 "a")
-		    (char-set "23")
-		    (char-set "EO")
-		    (char-set "123")
-		    (char-set "Es")
-		    (char-set "12")
-		    (** 15 "a")
-		    "aa"
-		    (char-set "34")
-		    (char-set "EW")
-		    "aaaaaaa"
-		    (char-set "X")
-		    "a"))
-	  "CC11"))))
\ No newline at end of file
+  (multi-match-strings-test
+   `(((alt "abc" "de")
+      "abc")
+     ((alt "a" "b" "c")
+      ("abc" 1))
+     ((seq "a" (any-char) "c")
+      "abc")
+     ((seq "a" (char-set "bc") "d")
+      "abd")
+     ((seq "a" (* "b") "c")
+      "abc")
+     ((seq "a" (+ "b") "c")
+      "abc")
+     ((seq "a" (? "b") "c")
+      "abc")
+     ((seq "a" (char-set "b") "c")
+      "abc")
+     ((seq "a" (char-set "ab") "c")
+      "abc")
+     ((seq "a" (inverse-char-set "ab") "c")
+      ("abc" #f)
+      "adc")
+     ((seq "a" (char-set ,(char-set->alphabet char-set:alphabetic)) "c")
+      "abc"
+      "adc")
+     ((seq "a" (+ (char-set ,(char-set->alphabet char-set:numeric))) "c")
+      "a019c")
+     ((seq "A" (+ (char-set ,(char-set->alphabet char-set:lower-case))) "C")
+      "AabC")
+     ((seq "a" (+ (char-set ,(char-set->alphabet char-set:upper-case))) "c")
+      "aBCc")
+     ((seq "a" (** 20 (char-set "ab")))
+      "aaaaabaaaabaaaabaaaab")
+     ((seq "a"
+	   (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
+	   (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
+	   (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
+	   (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
+	   (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab"))
+      "aaaaabaaaabaaaabaaaab")
+     ((seq "a"
+	   (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
+	   (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
+	   (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
+	   (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
+	   (char-set "ab") (char-set "ab") (char-set "ab") (char-set "ab")
+	   (alt "wee" "week")
+	   (alt "knights" "night"))
+      "aaaaabaaaabaaaabaaaabweeknights")
+     ((seq (char-set "ab") (char-set "cd") (char-set "ef") (char-set "gh")
+	   (char-set "ij") (char-set "kl") (char-set "mn"))
+      ("acegikmoq" 7))
+     ((seq (char-set "ab") (char-set "cd") (char-set "ef") (char-set "gh")
+	   (char-set "ij") (char-set "kl") (char-set "mn") (char-set "op"))
+      ("acegikmoq" 8))
+     ((seq (char-set "ab") (char-set "cd") (char-set "ef") (char-set "gh")
+	   (char-set "ij") (char-set "kl") (char-set "mn") (char-set "op")
+	   (char-set "qr"))
+      ("acegikmoqy" 9))
+     ((seq (char-set "ab") (char-set "cd") (char-set "ef") (char-set "gh")
+	   (char-set "ij") (char-set "kl") (char-set "mn") (char-set "op")
+	   (char-set "q"))
+      ("acegikmoqy" 9))
+     ("aBc"
+      ("Abc" #f))
+     ((seq "a" (* (char-set "Bc")) "d")
+      "acBd"
+      "aBcd"
+      "aBcBcBd"
+      ("aBCd" #f)
+      ("abcd" #f)
+      ("abBCcd" #f))
+     ((seq "a" (inverse-char-set "b") "c")
+      ("abc" #f)
+      "aBc"
+      "adc")
+     ((seq (char-set "a") "b" (char-set "c"))
+      "abc")
+     ((seq (char-set "a") "b" (char-set "a"))
+      "aba")
+     ((seq (char-set "abc") "b" (char-set "abc"))
+      "abc")
+     ((seq (char-set "abc") "b" (char-set "abd"))
+      ("abc" #f)
+      "abd")
+     ((seq "a" (+ (seq (? "b") "c")) "d")
+      "accd")
+     ((* "a")
+      ("b" 0))
+     ((seq (alt "wee" "week") (alt "knights" "night"))
+      "weeknights")
+     ((seq (alt "we" "wee" "week" "frob") (alt "knights" "night" "day"))
+      "weeknights")
+     ("abcdefghijklmnop"
+      "abcdefghijklmnop")
+     ("abcdefghijklmnopqrstuv"
+      "abcdefghijklmnopqrstuv")
+     ((alt (seq "CC" (char-set "13") "1")
+	   (seq (** 21 "a")
+		(char-set "23")
+		(char-set "EO")
+		(char-set "123")
+		(char-set "Es")
+		(char-set "12")
+		(** 15 "a")
+		"aa"
+		(char-set "34")
+		(char-set "EW")
+		"aaaaaaa"
+		(char-set "X")
+		"a"))
+      "CC11"))))
+
+;; Ripped off from "grep/tests/khadafy.*".
+(define-test 'grep-muammar-qaddafi
+  (match-strings-test
+   '(seq "M"
+	 (char-set "ou")
+	 (? "'")
+	 "a"
+	 (+ "m")
+	 (char-set "ae")
+	 "r "
+	 (* (any-char))
+	 (? (seq (char-set "AEae")
+		 "l"
+		 (char-set "- ")))
+	 (char-set "GKQ")
+	 (? "h")
+	 (+ (char-set "aeu"))
+	 (+ (seq (char-set "dtz")
+		 (? (char-set "dhz"))))
+	 "af"
+	 (char-set "iy"))
+   '("Muammar Qaddafi"
+     "Mo'ammar Gadhafi"
+     "Muammar Kaddafi"
+     "Muammar Qadhafi"
+     "Moammar El Kadhafi"
+     "Muammar Gadafi"
+     "Mu'ammar al-Qadafi"
+     "Moamer El Kazzafi"
+     "Moamar al-Gaddafi"
+     "Mu'ammar Al Qathafi"
+     "Muammar Al Qathafi"
+     "Mo'ammar el-Gadhafi"
+     "Moamar El Kadhafi"
+     "Muammar al-Qadhafi"
+     "Mu'ammar al-Qadhdhafi"
+     "Mu'ammar Qadafi"
+     "Moamar Gaddafi"
+     "Mu'ammar Qadhdhafi"
+     "Muammar Khaddafi"
+     "Muammar al-Khaddafi"
+     "Mu'amar al-Kadafi"
+     "Muammar Ghaddafy"
+     "Muammar Ghadafi"
+     "Muammar Ghaddafi"
+     "Muamar Kaddafi"
+     "Muammar Quathafi"
+     "Muammar Gheddafi"
+     "Muamar Al-Kaddafi"
+     "Moammar Khadafy"
+     "Moammar Qudhafi"
+     "Mu'ammar al-Qaddafi"
+     "Mu'ammar Muhammad Abu Minyar al-Qadhafi")))
+
+;; Ripped off from "grep/tests/spencer1.*".
+(define-test 'grep-spencer
+  (multi-match-strings-test
+   '(("abc"
+      "abc"
+      ("xbc" #f)
+      ("axc" #f)
+      ("abx" #f))
+     ((seq "a" (* "b") "c")
+      "abc")
+     ((seq "a" (* "b") "bc")
+      "abc"
+      "abbc"
+      "abbbbc")
+     ((seq "a" (+ "b") "bc")
+      ("abc" #f)
+      "abbc"
+      "abbbbc"
+      ("abq" #f))
+     ((seq "a" (? "b") "bc")
+      "abc"
+      "abbc"
+      ("abbbbc" #f))
+     ((seq "a" (? "b") "c")
+      "abc")
+     ((seq (string-start) "abc" (string-end))
+      "abc"
+      ("abcc" #f))
+     ((seq (string-start) "abc")
+      ("abcc" 3))
+     ((string-start)
+      ("abc" 0))
+     ((string-end)
+      ""
+      ("a" #f))
+     ((seq "a" (any-char) "c")
+      "abc"
+      "axc")
+     ((seq "a" (* (any-char)) "c")
+      "axyzc"
+      ("axyzd" #f))
+     ((seq "a" (char-set "bc") "d")
+      ("abc" #f)
+      "abd")
+     ((seq "a" (char-set "bcd") "e")
+      ("abd" #f)
+      "ace")
+     ((seq "a" (char-set "bcd"))
+      "ac"
+      ("aac" #f))
+     ((seq "a" (inverse-char-set "bc") "d")
+      "aed"
+      ("abd" #f))
+     ((seq (+ "a") (+ "b") "c")
+      "abc"
+      "aabbc"
+      ("aabbabc" #f))
+     ((* (* "a"))
+      ("-" 0))
+     ((+ (* "a"))
+      ("-" 0))
+     ((? (* "a"))
+      ("-" 0))
+     ((* (alt "a" (seq)))
+      ("-" 0))
+     ((* (alt (* "a") "b"))
+      ("-" 0))
+     ((* (alt (+ "a") "b"))
+      "ab")
+     ((+ (alt (+ "a") "b"))
+      "ab")
+     ((? (alt (+ "a") "b"))
+      ("ba" 1)
+      ("ab" 1))
+     ((* (inverse-char-set "ab"))
+      "cde")
+     ((seq (* (char-set "abc")) "d")
+      "abbbcd")
+     ((seq (* (char-set "abc")) "bcd")
+      "abcd")
+     ((alt "a" "b" "c" "d" "e")
+      "e")
+     ((seq (alt "a" "b" "c" "d" "e") "f")
+      "ef")
+     ((seq "abc" (* "d") "efg")
+      "abcdefg")
+     ("multiple words of text"
+      ("uh-uh" #f))
+     ("multiple words"
+      ("multiple words, yeah" 14))
+     ((seq (group x (seq (any-char) (any-char) (any-char) (any-char)))
+	   (* (any-char))
+	   (group-ref x))
+      ("beriberi" 8 (x 0 4))))))
\ No newline at end of file
-- 
2.25.1