From 52f1f4bce26f34fbe0a69fed6335864cdb6152ea Mon Sep 17 00:00:00 2001
From: Matthew Butterick <mb@mbtype.com>
Date: Sun, 17 Jun 2018 19:24:56 -0700
Subject: [PATCH] add test for start & atok tokens

---
 brag/examples/start-and-atok.rkt  |  3 +++
 brag/test/test-all.rkt            |  1 +
 brag/test/test-start-and-atok.rkt | 14 ++++++++++++++
 3 files changed, 18 insertions(+)
 create mode 100755 brag/examples/start-and-atok.rkt
 create mode 100755 brag/test/test-start-and-atok.rkt

diff --git a/brag/examples/start-and-atok.rkt b/brag/examples/start-and-atok.rkt
new file mode 100755
index 0000000..4abf557
--- /dev/null
+++ b/brag/examples/start-and-atok.rkt
@@ -0,0 +1,3 @@
+#lang brag
+
+top : ("start" | "atok")+
\ No newline at end of file
diff --git a/brag/test/test-all.rkt b/brag/test/test-all.rkt
index b877810..4eb18f8 100755
--- a/brag/test/test-all.rkt
+++ b/brag/test/test-all.rkt
@@ -15,6 +15,7 @@
          "test-quotation-marks-and-backslashes.rkt"
          "test-simple-arithmetic-grammar.rkt"
          "test-simple-line-drawing.rkt"
+         "test-start-and-atok.rkt"
          "test-weird-grammar.rkt"
          "test-whitespace.rkt"
          "test-wordy.rkt"
diff --git a/brag/test/test-start-and-atok.rkt b/brag/test/test-start-and-atok.rkt
new file mode 100755
index 0000000..9091ad3
--- /dev/null
+++ b/brag/test/test-start-and-atok.rkt
@@ -0,0 +1,14 @@
+#lang racket/base
+
+(require brag/examples/start-and-atok
+         brag/support
+         rackunit)
+
+;; make sure that "start" and "atok" work as terminals.
+
+(check-equal? (parse-to-datum (list "start")) '(top "start"))
+(check-equal? (parse-to-datum (list "atok")) '(top "atok"))
+(check-equal? (parse-to-datum (list "start" "atok")) '(top "start" "atok"))
+
+
+