aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/tool/compiler/meta
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/tool/compiler/meta')
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive.lux16
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/cache/module.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/import.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/io/context.lux6
6 files changed, 19 insertions, 19 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
index 58bb26a18..fbcb3c0f9 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
@@ -45,21 +45,21 @@
(exception: .public (unknown_document [module descriptor.Module
known_modules (List descriptor.Module)])
(exception.report
- ["Module" (%.text module)]
- ["Known Modules" (exception.listing %.text known_modules)]))
+ "Module" (%.text module)
+ "Known Modules" (exception.listing %.text known_modules)))
(exception: .public (cannot_replace_document [module descriptor.Module
old (Document Any)
new (Document Any)])
(exception.report
- ["Module" (%.text module)]
- ["Old key" (signature.description (document.signature old))]
- ["New key" (signature.description (document.signature new))]))
+ "Module" (%.text module)
+ "Old key" (signature.description (document.signature old))
+ "New key" (signature.description (document.signature new))))
(template [<name>]
[(exception: .public (<name> [it descriptor.Module])
(exception.report
- ["Module" (%.text it)]))]
+ "Module" (%.text it)))]
[module_has_already_been_reserved]
[module_must_be_reserved_before_it_can_be_added]
@@ -249,8 +249,8 @@
(exception: .public (version_mismatch [expected Version
actual Version])
(exception.report
- ["Expected" (%.nat expected)]
- ["Actual" (%.nat actual)]))
+ "Expected" (%.nat expected)
+ "Actual" (%.nat actual)))
(def: .public (import expected binary)
(-> Version Binary (Try Archive))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux
index 9a97cc0ec..bc74b9c3c 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/module/document.lux
@@ -22,8 +22,8 @@
(exception: .public (invalid_signature [expected Signature
actual Signature])
(exception.report
- ["Expected" (signature.description expected)]
- ["Actual" (signature.description actual)]))
+ "Expected" (signature.description expected)
+ "Actual" (signature.description actual)))
(abstract: .public (Document d)
(Record
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
index 8c11b0fca..d2921be2e 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/registry.lux
@@ -146,7 +146,7 @@
(exception: .public (invalid_category [tag Nat])
(exception.report
- ["Tag" (%.nat tag)]))
+ "Tag" (%.nat tag)))
(def: .public parser
(Parser Registry)
diff --git a/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux b/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux
index b584dd240..4d593aeda 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/cache/module.lux
@@ -28,9 +28,9 @@
@module module.ID
error Text])
(exception.report
- ["Archive" archive]
- ["Module ID" (%.nat @module)]
- ["Error" error]))
+ "Archive" archive
+ "Module ID" (%.nat @module)
+ "Error" error))
(def: .public (path fs context @module)
(All (_ !) (-> (file.System !) Context module.ID file.Path))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/import.lux b/stdlib/source/library/lux/tool/compiler/meta/import.lux
index d3a356c43..c485cb5f7 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/import.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/import.lux
@@ -34,8 +34,8 @@
(exception: .public (duplicate [library Library
module Module])
(exception.report
- ["Module" (%.text module)]
- ["Library" (%.text library)]))
+ "Module" (%.text module)
+ "Library" (%.text library)))
(type: .public Import
(Dictionary file.Path Binary))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux
index d576571eb..00288e42b 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux
@@ -33,12 +33,12 @@
(exception: .public (cannot_find_module [importer Module
module Module])
(exception.report
- ["Module" (%.text module)]
- ["Importer" (%.text importer)]))
+ "Module" (%.text module)
+ "Importer" (%.text importer)))
(exception: .public (cannot_read_module [module Module])
(exception.report
- ["Module" (%.text module)]))
+ "Module" (%.text module)))
(type: .public Extension
Text)