From 89f165331e97d6f0814238fbc7686daac3aa4888 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 31 Oct 2017 00:25:32 -0400
Subject: - Added a test to check that can parse more than 1 Code node at once.

---
 new-luxc/test/test/luxc/parser.lux | 34 +++++++++++++++++++++++++---------
 1 file changed, 25 insertions(+), 9 deletions(-)

diff --git a/new-luxc/test/test/luxc/parser.lux b/new-luxc/test/test/luxc/parser.lux
index 11bd98e6f..33a0bc154 100644
--- a/new-luxc/test/test/luxc/parser.lux
+++ b/new-luxc/test/test/luxc/parser.lux
@@ -76,15 +76,31 @@
 (context: "Lux code parser."
   (<| (times +100)
       (do @
-        [sample code^]
-        (test "Can parse Lux code."
-              (case (&;parse [default-cursor +0 (code;to-text sample)])
-                (#e;Error error)
-                false
-
-                (#e;Success [_ parsed])
-                (:: code;Eq<Code> = parsed sample))
-              ))))
+        [sample code^
+         other code^]
+        ($_ seq
+            (test "Can parse Lux code."
+                  (case (&;parse [default-cursor +0 (code;to-text sample)])
+                    (#e;Error error)
+                    false
+
+                    (#e;Success [_ parsed])
+                    (:: code;Eq<Code> = parsed sample)))
+            (test "Can parse Lux multiple code nodes."
+                  (case (&;parse [default-cursor +0 (format (code;to-text sample) " "
+                                                            (code;to-text other))])
+                    (#e;Error error)
+                    false
+
+                    (#e;Success [remaining =sample])
+                    (case (&;parse remaining)
+                      (#e;Error error)
+                      false
+
+                      (#e;Success [_ =other])
+                      (and (:: code;Eq<Code> = sample =sample)
+                           (:: code;Eq<Code> = other =other)))))
+            ))))
 
 (def: nat-to-frac
   (-> Nat Frac)
-- 
cgit v1.2.3