From 68b1dd82f23d6648ac3d9075a8f84b0174392945 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 17 Dec 2020 22:03:54 -0400
Subject: More optimizations to the Lux syntax parser.

---
 stdlib/source/program/aedifex/metadata/snapshot.lux | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'stdlib/source/program/aedifex/metadata/snapshot.lux')

diff --git a/stdlib/source/program/aedifex/metadata/snapshot.lux b/stdlib/source/program/aedifex/metadata/snapshot.lux
index a94ac33c4..1919d06ca 100644
--- a/stdlib/source/program/aedifex/metadata/snapshot.lux
+++ b/stdlib/source/program/aedifex/metadata/snapshot.lux
@@ -212,7 +212,7 @@
   (Parser Build)
   (<text>.embed (<>.codec n.decimal
                           (<text>.many <text>.decimal))
-                (..text ..<timestamp>)))
+                (..text ..<build-number>)))
 
 (exception: #export (time-stamp-mismatch {expected Time-Stamp} {actual Text})
   (exception.report
@@ -226,7 +226,7 @@
 
 (def: (snapshot-parser expected)
   (-> Value (Parser Type))
-  (<| (..sub ..<snapshot-versions>)
+  (<| (..sub ..<snapshot-version>)
       (do <>.monad
         [#let [[version time-stamp build] expected]
          updated (<xml>.somewhere (..text ..<updated>))
@@ -243,8 +243,8 @@
       (do <>.monad
         [[time-stamp build] (<| <xml>.somewhere
                                 (..sub ..<snapshot>)
-                                (<>.and ..time-stamp-parser
-                                        ..build-parser))
+                                (<>.and (<xml>.somewhere ..time-stamp-parser)
+                                        (<xml>.somewhere ..build-parser)))
          last-updated (<xml>.somewhere ..last-updated-parser)
          _ (<>.assert (exception.construct ..time-stamp-mismatch [time-stamp (instant-format last-updated)])
                       (\ instant.equivalence = time-stamp last-updated))
@@ -268,7 +268,7 @@
                #version version
                #versioning versioning}))))
 
-(def: versioning
+(def: versioning-equivalence
   (Equivalence Versioning)
   ($_ product.equivalence
       instant.equivalence
@@ -282,5 +282,5 @@
       text.equivalence
       text.equivalence
       text.equivalence
-      ..versioning
+      ..versioning-equivalence
       ))
-- 
cgit v1.2.3