From fd8ea1e1b9cae781abe42aeadda2e0ef149994d6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 5 Nov 2022 21:23:20 -0400
Subject: Property-based testing can now log/print successful seeds from run.

---
 stdlib/source/library/lux/meta/macro/context.lux       |  6 +++---
 stdlib/source/library/lux/meta/macro/syntax/export.lux |  4 ++--
 stdlib/source/library/lux/meta/macro/vocabulary.lux    |  2 +-
 stdlib/source/library/lux/meta/type/primitive.lux      | 14 +++++++-------
 stdlib/source/library/lux/meta/type/row.lux            |  2 +-
 5 files changed, 14 insertions(+), 14 deletions(-)

(limited to 'stdlib/source/library/lux/meta')

diff --git a/stdlib/source/library/lux/meta/macro/context.lux b/stdlib/source/library/lux/meta/macro/context.lux
index c39bbd539..4ec34b5df 100644
--- a/stdlib/source/library/lux/meta/macro/context.lux
+++ b/stdlib/source/library/lux/meta/macro/context.lux
@@ -230,9 +230,9 @@
   (syntax (_ [.let [! ?.monad
                     ?local (at ! each code.local ?code.local)]
 
-              [export_$? $] (?code.tuple (export.parser ?code.local))
-              [export_expression? g!expression] (?code.tuple (export.parser ?local))
-              [export_declaration? g!declaration] (?code.tuple (export.parser ?local))
+              [export_$? $] (?code.tuple (export.with ?code.local))
+              [export_expression? g!expression] (?code.tuple (export.with ?local))
+              [export_declaration? g!declaration] (?code.tuple (export.with ?local))
               
               context_type ?code.any])
     (do [! meta.monad]
diff --git a/stdlib/source/library/lux/meta/macro/syntax/export.lux b/stdlib/source/library/lux/meta/macro/syntax/export.lux
index 98db6124e..522fefb6b 100644
--- a/stdlib/source/library/lux/meta/macro/syntax/export.lux
+++ b/stdlib/source/library/lux/meta/macro/syntax/export.lux
@@ -1,6 +1,6 @@
 (.require
  [library
-  [lux (.except)
+  [lux (.except with)
    [abstract
     [monad (.only do)]]
    [control
@@ -37,6 +37,6 @@
           _
           (in default)))))
 
-(def .public parser
+(def .public with
   (All (_ a) (-> (Parser a) (Parser [Policy a])))
   (<>.and ..policy))
diff --git a/stdlib/source/library/lux/meta/macro/vocabulary.lux b/stdlib/source/library/lux/meta/macro/vocabulary.lux
index 31e0dc1d9..71327712d 100644
--- a/stdlib/source/library/lux/meta/macro/vocabulary.lux
+++ b/stdlib/source/library/lux/meta/macro/vocabulary.lux
@@ -25,7 +25,7 @@
 
 (.def local
   (Parser [Code Code])
-  (?code.tuple (export.parser (?#each code.local ?code.local))))
+  (?code.tuple (export.with (?#each code.local ?code.local))))
 
 (.def .public def
   (syntax (_ [[public|private@type type] ..local
diff --git a/stdlib/source/library/lux/meta/type/primitive.lux b/stdlib/source/library/lux/meta/type/primitive.lux
index db066d253..033be6d6e 100644
--- a/stdlib/source/library/lux/meta/type/primitive.lux
+++ b/stdlib/source/library/lux/meta/type/primitive.lux
@@ -17,7 +17,7 @@
     ["[0]" macro (.only)
      ["[0]" context]
      [syntax (.only syntax)
-      ["|[0]|" export]]]]]]
+      ["[0]" export]]]]]]
  ["[0]" //])
 
 (type .public Frame
@@ -70,12 +70,12 @@
 
 (.def abstract
   (Parser [Code [Text (List Text)] Code (List Code)])
-  (|export|.parser
-   (all <>.and
-        ..declarationP
-        <code>.any
-        (<>.some <code>.any)
-        )))
+  (export.with
+    (all <>.and
+         ..declarationP
+         <code>.any
+         (<>.some <code>.any)
+         )))
 
 ... TODO: Make sure the generated code always gets optimized away.
 ... (This applies to uses of "abstraction" and "representation")
diff --git a/stdlib/source/library/lux/meta/type/row.lux b/stdlib/source/library/lux/meta/type/row.lux
index c4c8b9b1f..3d3ac324d 100644
--- a/stdlib/source/library/lux/meta/type/row.lux
+++ b/stdlib/source/library/lux/meta/type/row.lux
@@ -103,7 +103,7 @@
       (n.= (list.size it))))
 
 (def .public type
-  (syntax (_ [[export_policy [name parameters]] (export.parser ..declaration)
+  (syntax (_ [[export_policy [name parameters]] (export.with ..declaration)
               [super slots] ..definition])
     (let [slot_names (list#each product.left slots)]
       (if (unique_slots? slot_names)
-- 
cgit v1.2.3