diff options
author | Eduardo Julian | 2022-11-05 21:23:20 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-11-05 21:23:20 -0400 |
commit | fd8ea1e1b9cae781abe42aeadda2e0ef149994d6 (patch) | |
tree | 7fdc152ac481d4f2a8b7be12c98d11a8c644f541 /stdlib/source/library/lux/meta | |
parent | 736521eb56a45122eb0a545b677d3ffca1451080 (diff) |
Property-based testing can now log/print successful seeds from run.
Diffstat (limited to 'stdlib/source/library/lux/meta')
5 files changed, 14 insertions, 14 deletions
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) |