diff options
| author | Eduardo Julian | 2022-08-11 16:50:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-08-11 16:50:42 -0400 |
| commit | e5625dd840a8b8adc76987f649da254335d3d93a (patch) | |
| tree | fb672669383525d90d462edf8c141f98bc953894 /stdlib/source/library/lux/test | |
| parent | 065e8a4d8122d4616b570496915d2c0e2c78cd6b (diff) | |
Improved exception-definition macro.
Diffstat (limited to 'stdlib/source/library/lux/test')
| -rw-r--r-- | stdlib/source/library/lux/test/property.lux | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/test/property.lux b/stdlib/source/library/lux/test/property.lux index e18d7b36b..2e1739797 100644 --- a/stdlib/source/library/lux/test/property.lux +++ b/stdlib/source/library/lux/test/property.lux @@ -8,7 +8,7 @@ ["[0]" pipe] ["[0]" maybe] ["[0]" try] - ["[0]" exception (.only exception)] + ["[0]" exception (.only Exception)] ["[0]" io] [concurrency ["[0]" atom (.only Atom)] @@ -106,7 +106,7 @@ (format documentation ..separator ..separator "Failed with this seed: " (%.nat seed))) -(exception .public must_try_test_at_least_once) +(exception.def .public must_try_test_at_least_once) (def .public (times amount test) (-> Nat Test Test) @@ -230,7 +230,8 @@ (|>> (//.covering (, module))) (, test))))))) -(exception .public (error_during_execution [error Text]) +(exception.def .public (error_during_execution error) + (Exception Text) (exception.report (list ["Error" (%.text error)]))) |