diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/aedifex/repository.lux | 80 |
1 files changed, 40 insertions, 40 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)) |