diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/aedifex/repository.lux | 80 | ||||
| -rw-r--r-- | stdlib/source/test/lux/control/exception.lux | 38 |
2 files changed, 59 insertions, 59 deletions
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux index a57f83670..b4009cea9 100644 --- a/stdlib/source/test/aedifex/repository.lux +++ b/stdlib/source/test/aedifex/repository.lux @@ -1,42 +1,42 @@ (.using - [library - [lux "*" - ["_" test {"+" Test}] - [abstract - [equivalence {"+" Equivalence}] - [hash {"+" Hash}] - ["[0]" monad {"+" do}]] - [control - ["[0]" io] - ["[0]" try] - ["[0]" exception {"+" exception:}]] - [data - ["[0]" product] - ["[0]" binary {"+" Binary}] - ["[0]" text - ["%" format {"+" format}]] - [collection - ["[0]" dictionary {"+" Dictionary}]]] - [math - ["[0]" random {"+" Random}]] - [world - [net - ["[0]" uri {"+" URI}]]]]] - ["[0]" / "_" - ["[1][0]" identity] - ["[1][0]" origin] - ["[1][0]" local] - ["[1][0]" remote] - [// - ["@[0]" artifact]]] - [\\specification - ["$[0]" /]] - [\\program - ["[0]" / - ["[0]" remote] - ["/[1]" // "_" - ["[1][0]" artifact {"+" Version Artifact} - ["[1]/[0]" extension {"+" Extension}]]]]]) + [library + [lux "*" + ["_" test {"+" Test}] + [abstract + [equivalence {"+" Equivalence}] + [hash {"+" Hash}] + ["[0]" monad {"+" do}]] + [control + ["[0]" io] + ["[0]" try] + ["[0]" exception {"+" exception:}]] + [data + ["[0]" product] + ["[0]" binary {"+" Binary}] + ["[0]" text + ["%" format {"+" format}]] + [collection + ["[0]" dictionary {"+" Dictionary}]]] + [math + ["[0]" random {"+" Random}]] + [world + [net + ["[0]" uri {"+" URI}]]]]] + ["[0]" / "_" + ["[1][0]" identity] + ["[1][0]" origin] + ["[1][0]" local] + ["[1][0]" remote] + [// + ["@[0]" artifact]]] + [\\specification + ["$[0]" /]] + [\\program + ["[0]" / + ["[0]" remote] + ["/[1]" // "_" + ["[1][0]" artifact {"+" Version Artifact} + ["[1]/[0]" extension {"+" Extension}]]]]]) (def: artifact (-> Version Artifact) @@ -44,11 +44,11 @@ (exception: (not_found [uri URI]) (exception.report - ["URI" (%.text uri)])) + "URI" (%.text uri))) (exception: (cannot_upload [uri URI]) (exception.report - ["URI" (%.text uri)])) + "URI" (%.text uri))) (type: Store (Dictionary URI Binary)) diff --git a/stdlib/source/test/lux/control/exception.lux b/stdlib/source/test/lux/control/exception.lux index c8f88c198..9c778e7b2 100644 --- a/stdlib/source/test/lux/control/exception.lux +++ b/stdlib/source/test/lux/control/exception.lux @@ -1,27 +1,27 @@ (.using - [library - [lux "*" - ["_" test {"+" Test}] - [abstract - [monad {"+" do}]] - [data - ["[0]" text ("[1]#[0]" equivalence) - ["%" format {"+" format}]]] - [math - ["[0]" random] - [number - ["n" nat]]]]] - [\\library - ["[0]" / {"+" exception:} - [// - ["[0]" try {"+" Try}]]]]) + [library + [lux "*" + ["_" test {"+" Test}] + [abstract + [monad {"+" do}]] + [data + ["[0]" text ("[1]#[0]" equivalence) + ["%" format {"+" format}]]] + [math + ["[0]" random] + [number + ["n" nat]]]]] + [\\library + ["[0]" / {"+" exception:} + [// + ["[0]" try {"+" Try}]]]]) (exception: an_exception) (exception: another_exception) (def: label "YOLO") (exception: (custom_exception [value Nat]) - (/.report [label (%.nat value)])) + (/.report label (%.nat value))) (def: .public test Test @@ -75,8 +75,8 @@ (/.when ..an_exception (function (_ ex) wrong)) (/.otherwise (function (_ ex) expected))))) (_.cover [/.report] - (let [report (/.report [field0 value0] - [field1 value1])] + (let [report (/.report field0 value0 + field1 value1)] (and (text.contains? field0 report) (text.contains? value0 report) (text.contains? field1 report) |