diff options
Diffstat (limited to 'stdlib/source/lux/tool/compiler/meta/archive.lux')
-rw-r--r-- | stdlib/source/lux/tool/compiler/meta/archive.lux | 56 |
1 files changed, 28 insertions, 28 deletions
diff --git a/stdlib/source/lux/tool/compiler/meta/archive.lux b/stdlib/source/lux/tool/compiler/meta/archive.lux index eaabf6aee..7abacd4fc 100644 --- a/stdlib/source/lux/tool/compiler/meta/archive.lux +++ b/stdlib/source/lux/tool/compiler/meta/archive.lux @@ -33,13 +33,13 @@ [/// [version (#+ Version)]]]) -(exception: #export (unknown-document {module Module} - {known-modules (List Module)}) +(exception: #export (unknown_document {module Module} + {known_modules (List Module)}) (exception.report ["Module" (%.text module)] - ["Known Modules" (exception.enumerate %.text known-modules)])) + ["Known Modules" (exception.enumerate %.text known_modules)])) -(exception: #export (cannot-replace-document {module Module} +(exception: #export (cannot_replace_document {module Module} {old (Document Any)} {new (Document Any)}) (exception.report @@ -47,22 +47,22 @@ ["Old key" (signature.description (document.signature old))] ["New key" (signature.description (document.signature new))])) -(exception: #export (module-has-already-been-reserved {module Module}) +(exception: #export (module_has_already_been_reserved {module Module}) (exception.report ["Module" (%.text module)])) -(exception: #export (module-must-be-reserved-before-it-can-be-added {module Module}) +(exception: #export (module_must_be_reserved_before_it_can_be_added {module Module}) (exception.report ["Module" (%.text module)])) -(exception: #export (module-is-only-reserved {module Module}) +(exception: #export (module_is_only_reserved {module Module}) (exception.report ["Module" (%.text module)])) (type: #export ID Nat) -(def: #export runtime-module +(def: #export runtime_module Module "") @@ -87,7 +87,7 @@ (#try.Success id) #.None - (exception.throw ..unknown-document [module + (exception.throw ..unknown_document [module (dictionary.keys resolver)])))) (def: #export (reserve module archive) @@ -95,7 +95,7 @@ (let [(^slots [#..next #..resolver]) (:representation archive)] (case (dictionary.get module resolver) (#.Some _) - (exception.throw ..module-has-already-been-reserved [module]) + (exception.throw ..module_has_already_been_reserved [module]) #.None (#try.Success [next @@ -115,14 +115,14 @@ (update@ #..resolver (dictionary.put module [id (#.Some [descriptor document])])) :abstraction)) - (#.Some [id (#.Some [existing-descriptor existing-document])]) - (if (is? document existing-document) + (#.Some [id (#.Some [existing_descriptor existing_document])]) + (if (is? document existing_document) ## TODO: Find out why this code allows for the same module to be added more than once. It looks fishy... (#try.Success archive) - (exception.throw ..cannot-replace-document [module existing-document document])) + (exception.throw ..cannot_replace_document [module existing_document document])) #.None - (exception.throw ..module-must-be-reserved-before-it-can-be-added [module])))) + (exception.throw ..module_must_be_reserved_before_it_can_be_added [module])))) (def: #export (find module archive) (-> Module Archive (Try [Descriptor (Document Any)])) @@ -132,10 +132,10 @@ (#try.Success document) (#.Some [id #.None]) - (exception.throw ..module-is-only-reserved [module]) + (exception.throw ..module_is_only_reserved [module]) #.None - (exception.throw ..unknown-document [module + (exception.throw ..unknown_document [module (dictionary.keys resolver)])))) (def: #export (archived? archive module) @@ -228,42 +228,42 @@ [version next] (binary.run ..writer)))) - (exception: #export (version-mismatch {expected Version} {actual Version}) + (exception: #export (version_mismatch {expected Version} {actual Version}) (exception.report ["Expected" (%.nat expected)] ["Actual" (%.nat actual)])) - (exception: #export corrupt-data) + (exception: #export corrupt_data) - (def: (correct-modules? reservations) + (def: (correct_modules? reservations) (-> (List Reservation) Bit) (n.= (list.size reservations) (|> reservations (list\map product.left) - (set.from-list text.hash) + (set.from_list text.hash) set.size))) - (def: (correct-ids? reservations) + (def: (correct_ids? reservations) (-> (List Reservation) Bit) (n.= (list.size reservations) (|> reservations (list\map product.right) - (set.from-list n.hash) + (set.from_list n.hash) set.size))) - (def: (correct-reservations? reservations) + (def: (correct_reservations? reservations) (-> (List Reservation) Bit) - (and (correct-modules? reservations) - (correct-ids? reservations))) + (and (correct_modules? reservations) + (correct_ids? reservations))) (def: #export (import expected binary) (-> Version Binary (Try Archive)) (do try.monad [[actual next reservations] (<b>.run ..reader binary) - _ (exception.assert ..version-mismatch [expected actual] + _ (exception.assert ..version_mismatch [expected actual] (n\= expected actual)) - _ (exception.assert ..corrupt-data [] - (correct-reservations? reservations))] + _ (exception.assert ..corrupt_data [] + (correct_reservations? reservations))] (wrap (:abstraction {#next next #resolver (list\fold (function (_ [module id] archive) |