More optimizations to the Lux syntax parser.

1 files changed, 6 insertions, 6 deletions

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
       ))