aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source')
-rw-r--r--stdlib/source/documentation/lux/control/exception.lux3
-rw-r--r--stdlib/source/library/lux/control/concurrency/actor.lux2
-rw-r--r--stdlib/source/library/lux/control/concurrency/semaphore.lux2
-rw-r--r--stdlib/source/library/lux/control/exception.lux2
-rw-r--r--stdlib/source/library/lux/control/function/contract.lux2
-rw-r--r--stdlib/source/library/lux/control/parser/analysis.lux4
-rw-r--r--stdlib/source/library/lux/control/parser/binary.lux8
-rw-r--r--stdlib/source/library/lux/control/parser/environment.lux2
-rw-r--r--stdlib/source/library/lux/control/parser/json.lux7
-rw-r--r--stdlib/source/library/lux/control/parser/synthesis.lux9
-rw-r--r--stdlib/source/library/lux/control/parser/text.lux13
-rw-r--r--stdlib/source/library/lux/control/parser/type.lux7
-rw-r--r--stdlib/source/library/lux/control/parser/xml.lux8
-rw-r--r--stdlib/source/library/lux/control/region.lux4
-rw-r--r--stdlib/source/library/lux/control/remember.lux5
-rw-r--r--stdlib/source/library/lux/data/binary.lux13
-rw-r--r--stdlib/source/library/lux/data/collection/row.lux3
-rw-r--r--stdlib/source/library/lux/data/format/tar.lux19
-rw-r--r--stdlib/source/library/lux/data/text/escape.lux9
-rw-r--r--stdlib/source/library/lux/data/text/regex.lux3
-rw-r--r--stdlib/source/library/lux/debug.lux7
-rw-r--r--stdlib/source/library/lux/documentation.lux2
-rw-r--r--stdlib/source/library/lux/ffi.jvm.lux14
-rw-r--r--stdlib/source/library/lux/macro/local.lux5
-rw-r--r--stdlib/source/library/lux/macro/syntax/definition.lux2
-rw-r--r--stdlib/source/library/lux/macro/syntax/input.lux29
-rw-r--r--stdlib/source/library/lux/macro/template.lux3
-rw-r--r--stdlib/source/library/lux/math/modular.lux8
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode.lux29
-rw-r--r--stdlib/source/library/lux/target/jvm/bytecode/environment.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/encoding/signed.lux4
-rw-r--r--stdlib/source/library/lux/target/jvm/encoding/unsigned.lux12
-rw-r--r--stdlib/source/library/lux/target/jvm/loader.lux7
-rw-r--r--stdlib/source/library/lux/target/jvm/reflection.lux28
-rw-r--r--stdlib/source/library/lux/target/jvm/type/lux.lux2
-rw-r--r--stdlib/source/library/lux/test.lux2
-rw-r--r--stdlib/source/library/lux/time.lux4
-rw-r--r--stdlib/source/library/lux/time/date.lux6
-rw-r--r--stdlib/source/library/lux/time/day.lux4
-rw-r--r--stdlib/source/library/lux/time/month.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/default/platform.lux10
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/generation.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux16
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux9
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux15
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux11
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux7
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux24
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux13
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux40
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux4
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux7
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux9
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux3
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/program.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux9
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive.lux19
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive/document.lux3
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/io/archive.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/io/context.lux5
-rw-r--r--stdlib/source/library/lux/tool/interpreter.lux2
-rw-r--r--stdlib/source/library/lux/type/check.lux14
-rw-r--r--stdlib/source/library/lux/type/dynamic.lux3
-rw-r--r--stdlib/source/library/lux/type/resource.lux2
-rw-r--r--stdlib/source/library/lux/world/console.lux3
-rw-r--r--stdlib/source/library/lux/world/file.lux7
-rw-r--r--stdlib/source/library/lux/world/file/watch.lux2
-rw-r--r--stdlib/source/library/lux/world/program.lux2
-rw-r--r--stdlib/source/program/aedifex.lux4
-rw-r--r--stdlib/source/program/aedifex/artifact/time/date.lux2
-rw-r--r--stdlib/source/program/aedifex/dependency/resolution.lux6
-rw-r--r--stdlib/source/program/aedifex/hash.lux5
-rw-r--r--stdlib/source/program/aedifex/project.lux5
-rw-r--r--stdlib/source/program/aedifex/repository/remote.lux3
-rw-r--r--stdlib/source/program/compositor/import.lux3
-rw-r--r--stdlib/source/test/aedifex/repository.lux4
-rw-r--r--stdlib/source/test/lux/control/concurrency/actor.lux2
-rw-r--r--stdlib/source/test/lux/control/exception.lux2
-rw-r--r--stdlib/source/test/lux/macro/syntax/input.lux8
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux3
89 files changed, 374 insertions, 263 deletions
diff --git a/stdlib/source/documentation/lux/control/exception.lux b/stdlib/source/documentation/lux/control/exception.lux
index 297ac38fd..15b3cc88a 100644
--- a/stdlib/source/documentation/lux/control/exception.lux
+++ b/stdlib/source/documentation/lux/control/exception.lux
@@ -40,7 +40,8 @@
["Simple case:"
(exception: .public some_exception)]
["Complex case:"
- (exception: .public [arbitrary type variables] (some_exception {optional Text} {arguments Int})
+ (exception: .public [arbitrary type variables] (some_exception [optional Text
+ arguments Int])
optional_body)])
(documentation: /.report
diff --git a/stdlib/source/library/lux/control/concurrency/actor.lux b/stdlib/source/library/lux/control/concurrency/actor.lux
index 27d413c10..617068a4c 100644
--- a/stdlib/source/library/lux/control/concurrency/actor.lux
+++ b/stdlib/source/library/lux/control/concurrency/actor.lux
@@ -299,7 +299,7 @@
(<code>.form ($_ <>.and
(<>.else (list) (<code>.tuple (<>.some <code>.local_identifier)))
<code>.local_identifier
- (<>.some |input|.parser)
+ |input|.parser
<code>.local_identifier
<code>.local_identifier)))
diff --git a/stdlib/source/library/lux/control/concurrency/semaphore.lux b/stdlib/source/library/lux/control/concurrency/semaphore.lux
index bcbd71158..013720460 100644
--- a/stdlib/source/library/lux/control/concurrency/semaphore.lux
+++ b/stdlib/source/library/lux/control/concurrency/semaphore.lux
@@ -65,7 +65,7 @@
<get_in_line>)))))
signal)))
- (exception: .public (semaphore_is_maxed_out {max_positions Nat})
+ (exception: .public (semaphore_is_maxed_out [max_positions Nat])
(exception.report
["Max Positions" (%.nat max_positions)]))
diff --git a/stdlib/source/library/lux/control/exception.lux b/stdlib/source/library/lux/control/exception.lux
index ecf71dc49..039265ff7 100644
--- a/stdlib/source/library/lux/control/exception.lux
+++ b/stdlib/source/library/lux/control/exception.lux
@@ -81,7 +81,7 @@
(let [private (: (Parser [(List |type_variable|.Variable) [Text (List |input|.Input)] (Maybe Code)])
($_ <>.and
(<>.else (list) (<code>.tuple (<>.some |type_variable|.parser)))
- (<>.either (<code>.form (<>.and <code>.local_identifier (<>.some |input|.parser)))
+ (<>.either (<code>.form (<>.and <code>.local_identifier |input|.parser))
(<>.and <code>.local_identifier (<>\in (list))))
(<>.maybe <code>.any)
))]
diff --git a/stdlib/source/library/lux/control/function/contract.lux b/stdlib/source/library/lux/control/function/contract.lux
index 4b349c534..8edd01c63 100644
--- a/stdlib/source/library/lux/control/function/contract.lux
+++ b/stdlib/source/library/lux/control/function/contract.lux
@@ -16,7 +16,7 @@
["i" int]]]]])
(template [<name>]
- [(exception: .public (<name> {condition Code})
+ [(exception: .public (<name> [condition Code])
(exception.report
["Condition" (%.code condition)]))]
diff --git a/stdlib/source/library/lux/control/parser/analysis.lux b/stdlib/source/library/lux/control/parser/analysis.lux
index 9bbb6840b..bbc90f043 100644
--- a/stdlib/source/library/lux/control/parser/analysis.lux
+++ b/stdlib/source/library/lux/control/parser/analysis.lux
@@ -39,11 +39,11 @@
(list\each /.%analysis)
(text.interposed " "))))
-(exception: .public (cannot_parse {input (List Analysis)})
+(exception: .public (cannot_parse [input (List Analysis)])
(exception.report
["Input" (exception.listing /.%analysis input)]))
-(exception: .public (unconsumed_input {input (List Analysis)})
+(exception: .public (unconsumed_input [input (List Analysis)])
(exception.report
["Input" (exception.listing /.%analysis input)]))
diff --git a/stdlib/source/library/lux/control/parser/binary.lux b/stdlib/source/library/lux/control/parser/binary.lux
index 4304bbc02..66dd9f3c5 100644
--- a/stdlib/source/library/lux/control/parser/binary.lux
+++ b/stdlib/source/library/lux/control/parser/binary.lux
@@ -32,7 +32,8 @@
(type: .public Parser
(//.Parser [Offset Binary]))
-(exception: .public (binary_was_not_fully_read {binary_length Nat} {bytes_read Nat})
+(exception: .public (binary_was_not_fully_read [binary_length Nat
+ bytes_read Nat])
(exception.report
["Binary length" (%.nat binary_length)]
["Bytes read" (%.nat bytes_read)]))
@@ -101,7 +102,8 @@
(Parser Frac)
(//\each frac.of_bits ..bits/64))
-(exception: .public (invalid_tag {range Nat} {byte Nat})
+(exception: .public (invalid_tag [range Nat
+ byte Nat])
(exception.report
["Tag range" (%.nat range)]
["Tag value" (%.nat byte)]))
@@ -133,7 +135,7 @@
(Parser Any)
(//\in []))
-(exception: .public (not_a_bit {value Nat})
+(exception: .public (not_a_bit [value Nat])
(exception.report
["Expected values" "either 0 or 1"]
["Actual value" (%.nat value)]))
diff --git a/stdlib/source/library/lux/control/parser/environment.lux b/stdlib/source/library/lux/control/parser/environment.lux
index ab577eeb4..1ad723411 100644
--- a/stdlib/source/library/lux/control/parser/environment.lux
+++ b/stdlib/source/library/lux/control/parser/environment.lux
@@ -18,7 +18,7 @@
(type: .public Environment
(Dictionary Property Text))
-(exception: .public (unknown_property {property Property})
+(exception: .public (unknown_property [property Property])
(exception.report
["Property" (%.text property)]))
diff --git a/stdlib/source/library/lux/control/parser/json.lux b/stdlib/source/library/lux/control/parser/json.lux
index 114b49f3b..4d09fa72b 100644
--- a/stdlib/source/library/lux/control/parser/json.lux
+++ b/stdlib/source/library/lux/control/parser/json.lux
@@ -25,7 +25,7 @@
(type: .public (Parser a)
(//.Parser (List JSON) a))
-(exception: .public (unconsumed_input {input (List JSON)})
+(exception: .public (unconsumed_input [input (List JSON)])
(exception.report
["Input" (exception.listing /.format input)]))
@@ -55,7 +55,7 @@
(#.Item head tail)
(#try.Success [tail head]))))
-(exception: .public (unexpected_value {value JSON})
+(exception: .public (unexpected_value [value JSON])
(exception.report
["Value" (/.format value)]))
@@ -77,7 +77,8 @@
[string /.String #/.String]
)
-(exception: .public [a] (value_mismatch {reference JSON} {sample JSON})
+(exception: .public [a] (value_mismatch [reference JSON
+ sample JSON])
(exception.report
["Reference" (/.format reference)]
["Sample" (/.format sample)]))
diff --git a/stdlib/source/library/lux/control/parser/synthesis.lux b/stdlib/source/library/lux/control/parser/synthesis.lux
index a4927b521..0bc446089 100644
--- a/stdlib/source/library/lux/control/parser/synthesis.lux
+++ b/stdlib/source/library/lux/control/parser/synthesis.lux
@@ -27,19 +27,20 @@
["/" synthesis {"+" [Synthesis Abstraction]}]]]]]]]
["[0]" //])
-(exception: .public (cannot_parse {input (List Synthesis)})
+(exception: .public (cannot_parse [input (List Synthesis)])
(exception.report
["Input" (exception.listing /.%synthesis input)]))
-(exception: .public (unconsumed_input {input (List Synthesis)})
+(exception: .public (unconsumed_input [input (List Synthesis)])
(exception.report
["Input" (exception.listing /.%synthesis input)]))
-(exception: .public (expected_empty_input {input (List Synthesis)})
+(exception: .public (expected_empty_input [input (List Synthesis)])
(exception.report
["Input" (exception.listing /.%synthesis input)]))
-(exception: .public (wrong_arity {expected Arity} {actual Arity})
+(exception: .public (wrong_arity [expected Arity
+ actual Arity])
(exception.report
["Expected" (%.nat expected)]
["Actual" (%.nat actual)]))
diff --git a/stdlib/source/library/lux/control/parser/text.lux b/stdlib/source/library/lux/control/parser/text.lux
index 256d749bc..9c847ad5c 100644
--- a/stdlib/source/library/lux/control/parser/text.lux
+++ b/stdlib/source/library/lux/control/parser/text.lux
@@ -39,13 +39,15 @@
(-> Offset Text Text)
(|> tape (/.clip_since offset) maybe.trusted))
-(exception: .public (unconsumed_input {offset Offset} {tape Text})
+(exception: .public (unconsumed_input [offset Offset
+ tape Text])
(exception.report
["Offset" (n\encoded offset)]
["Input size" (n\encoded (/.size tape))]
["Remaining input" (..left_over offset tape)]))
-(exception: .public (expected_to_fail {offset Offset} {tape Text})
+(exception: .public (expected_to_fail [offset Offset
+ tape Text])
(exception.report
["Offset" (n\encoded offset)]
["Input" (..left_over offset tape)]))
@@ -118,7 +120,7 @@
[not! Slice ..any!]
)
-(exception: .public (cannot_match {reference Text})
+(exception: .public (cannot_match [reference Text])
(exception.report
["Reference" (/.format reference)]))
@@ -194,7 +196,8 @@
(range (char "A") (char "F"))))
(template [<name>]
- [(exception: .public (<name> {options Text} {character Char})
+ [(exception: .public (<name> [options Text
+ character Char])
(exception.report
["Options" (/.format options)]
["Character" (/.format (/.of_char character))]))]
@@ -241,7 +244,7 @@
[none_of! .not ..character_should_not_be]
)
-(exception: .public (character_does_not_satisfy_predicate {character Char})
+(exception: .public (character_does_not_satisfy_predicate [character Char])
(exception.report
["Character" (/.format (/.of_char character))]))
diff --git a/stdlib/source/library/lux/control/parser/type.lux b/stdlib/source/library/lux/control/parser/type.lux
index 437574acb..735b594d8 100644
--- a/stdlib/source/library/lux/control/parser/type.lux
+++ b/stdlib/source/library/lux/control/parser/type.lux
@@ -26,7 +26,7 @@
[(#.Primitive "" #.End)])
(template [<name>]
- [(exception: .public (<name> {type Type})
+ [(exception: .public (<name> [type Type])
(exception.report
["Type" (%.type type)]))]
@@ -43,7 +43,8 @@
)
(template [<name>]
- [(exception: .public (<name> {expected Type} {actual Type})
+ [(exception: .public (<name> [expected Type
+ actual Type])
(exception.report
["Expected" (%.type expected)]
["Actual" (%.type actual)]))]
@@ -54,7 +55,7 @@
(exception: .public empty_input)
-(exception: .public (unconsumed_input {remaining (List Type)})
+(exception: .public (unconsumed_input [remaining (List Type)])
(exception.report
["Types" (|> remaining
(list\each (|>> %.type (format text.new_line "* ")))
diff --git a/stdlib/source/library/lux/control/parser/xml.lux b/stdlib/source/library/lux/control/parser/xml.lux
index 55d18cab2..a54e68170 100644
--- a/stdlib/source/library/lux/control/parser/xml.lux
+++ b/stdlib/source/library/lux/control/parser/xml.lux
@@ -23,17 +23,19 @@
(exception: .public empty_input)
(exception: .public unexpected_input)
-(exception: .public (wrong_tag {expected Tag} {actual Tag})
+(exception: .public (wrong_tag [expected Tag
+ actual Tag])
(exception.report
["Expected" (%.text (/.tag expected))]
["Actual" (%.text (/.tag actual))]))
-(exception: .public (unknown_attribute {expected Attribute} {available (List Attribute)})
+(exception: .public (unknown_attribute [expected Attribute
+ available (List Attribute)])
(exception.report
["Expected" (%.text (/.attribute expected))]
["Available" (exception.listing (|>> /.attribute %.text) available)]))
-(exception: .public (unconsumed_inputs {inputs (List XML)})
+(exception: .public (unconsumed_inputs [inputs (List XML)])
(exception.report
["Inputs" (exception.listing (\ /.codec encoded) inputs)]))
diff --git a/stdlib/source/library/lux/control/region.lux b/stdlib/source/library/lux/control/region.lux
index 26dd017e8..58f406e3a 100644
--- a/stdlib/source/library/lux/control/region.lux
+++ b/stdlib/source/library/lux/control/region.lux
@@ -31,8 +31,8 @@
"-----------------------------------------" text.new_line
text.new_line))
-(exception: .public [a] (clean_up_error {error Text}
- {output (Try a)})
+(exception: .public [a] (clean_up_error [error Text
+ output (Try a)])
(format error
(case output
(#try.Success _)
diff --git a/stdlib/source/library/lux/control/remember.lux b/stdlib/source/library/lux/control/remember.lux
index a65e9fc2d..b2db48900 100644
--- a/stdlib/source/library/lux/control/remember.lux
+++ b/stdlib/source/library/lux/control/remember.lux
@@ -21,7 +21,10 @@
["[0]" template]
[syntax {"+" [syntax:]}]]]])
-(exception: .public (must_remember {deadline Date} {today Date} {message Text} {focus (Maybe Code)})
+(exception: .public (must_remember [deadline Date
+ today Date
+ message Text
+ focus (Maybe Code)])
(exception.report
["Deadline" (%.date deadline)]
["Today" (%.date today)]
diff --git a/stdlib/source/library/lux/data/binary.lux b/stdlib/source/library/lux/data/binary.lux
index de9481bc5..8d1975b8f 100644
--- a/stdlib/source/library/lux/data/binary.lux
+++ b/stdlib/source/library/lux/data/binary.lux
@@ -22,12 +22,15 @@
["f" frac]
["[0]" i64]]]]])
-(exception: .public (index_out_of_bounds {size Nat} {index Nat})
+(exception: .public (index_out_of_bounds [size Nat
+ index Nat])
(exception.report
["Size" (%.nat size)]
["Index" (%.nat index)]))
-(exception: .public (slice_out_of_bounds {size Nat} {offset Nat} {length Nat})
+(exception: .public (slice_out_of_bounds [size Nat
+ offset Nat
+ length Nat])
(exception.report
["Size" (%.nat size)]
["Offset" (%.nat offset)]
@@ -299,9 +302,9 @@
@.jvm (as_is)}
... Default
- (exception: .public (cannot_copy_bytes {bytes Nat}
- {source_input Nat}
- {target_output Nat})
+ (exception: .public (cannot_copy_bytes [bytes Nat
+ source_input Nat
+ target_output Nat])
(exception.report
["Bytes" (%.nat bytes)]
["Source input space" (%.nat source_input)]
diff --git a/stdlib/source/library/lux/data/collection/row.lux b/stdlib/source/library/lux/data/collection/row.lux
index 438e1a408..5080c4c1c 100644
--- a/stdlib/source/library/lux/data/collection/row.lux
+++ b/stdlib/source/library/lux/data/collection/row.lux
@@ -242,7 +242,8 @@
(exception: incorrect_row_structure)
-(exception: .public [a] (index_out_of_bounds {row (Row a)} {index Nat})
+(exception: .public [a] (index_out_of_bounds [row (Row a)
+ index Nat])
(exception.report ["Size" (\ n.decimal encoded (value@ #size row))]
["Index" (\ n.decimal encoded index)]))
diff --git a/stdlib/source/library/lux/data/format/tar.lux b/stdlib/source/library/lux/data/format/tar.lux
index 7a5d8106b..c0864904c 100644
--- a/stdlib/source/library/lux/data/format/tar.lux
+++ b/stdlib/source/library/lux/data/format/tar.lux
@@ -65,7 +65,7 @@
(list\mix n.* 1)
++))
- (exception: .public (<exception> {value Nat})
+ (exception: .public (<exception> [value Nat])
(exception.report
["Value" (%.nat value)]
["Maximum" (%.nat (-- <limit>))]))
@@ -110,7 +110,8 @@
as_big]
)
-(exception: .public (wrong_character {expected Char} {actual Char})
+(exception: .public (wrong_character [expected Char
+ actual Char])
(exception.report
["Expected" (%.nat expected)]
["Actual" (%.nat actual)]))
@@ -219,7 +220,7 @@
(n.<= ..last_ascii char)))
true)))
-(exception: .public (not_ascii {text Text})
+(exception: .public (not_ascii [text Text])
(exception.report
["Text" (%.text text)]))
@@ -246,7 +247,7 @@
[(abstract: .public <type>
<representation>
- [(exception: .public (<exception> {value Text})
+ [(exception: .public (<exception> [value Text])
(exception.report
["Value" (%.text value)]
["Size" (%.nat (text.size value))]
@@ -416,7 +417,7 @@
<options>
)
- (exception: .public (invalid_link_flag {value Nat})
+ (exception: .public (invalid_link_flag [value Nat])
(exception.report
["Value" (%.nat value)]))
@@ -455,7 +456,7 @@
try.trusted
..small_writer))
- (exception: .public (invalid_mode {value Nat})
+ (exception: .public (invalid_mode [value Nat])
(exception.report
["Value" (%.nat value)]))
@@ -738,7 +739,8 @@
tar)
(format.segment ..end_of_archive_size end_of_archive)))))
-(exception: .public (wrong_checksum {expected Nat} {actual Nat})
+(exception: .public (wrong_checksum [expected Nat
+ actual Nat])
(exception.report
["Expected" (%.nat expected)]
["Actual" (%.nat actual)]))
@@ -800,7 +802,8 @@
#major_device major_device
#minor_device minor_device])))
-(exception: .public (wrong_link_flag {expected Link_Flag} {actual Link_Flag})
+(exception: .public (wrong_link_flag [expected Link_Flag
+ actual Link_Flag])
(exception.report
["Expected" (%.nat (..link_flag expected))]
["Actual" (%.nat (..link_flag actual))]))
diff --git a/stdlib/source/library/lux/data/text/escape.lux b/stdlib/source/library/lux/data/text/escape.lux
index de20d1ee1..db706cc42 100644
--- a/stdlib/source/library/lux/data/text/escape.lux
+++ b/stdlib/source/library/lux/data/text/escape.lux
@@ -140,18 +140,21 @@
(recur (++ offset) previous current limit)))
(format previous current))))
-(exception: .public (dangling_escape {text Text})
+(exception: .public (dangling_escape [text Text])
(exception.report
["In" (%.text text)]
["At" (%.nat (-- (//.size text)))]))
-(exception: .public (invalid_escape {text Text} {offset Nat} {sigil Char})
+(exception: .public (invalid_escape [text Text
+ offset Nat
+ sigil Char])
(exception.report
["In" (%.text text)]
["At" (%.nat offset)]
["Name" (%.text (//.of_char sigil))]))
-(exception: .public (invalid_unicode_escape {text Text} {offset Nat})
+(exception: .public (invalid_unicode_escape [text Text
+ offset Nat])
(exception.report
["In" (%.text text)]
["At" (%.nat offset)]))
diff --git a/stdlib/source/library/lux/data/text/regex.lux b/stdlib/source/library/lux/data/text/regex.lux
index 714a84445..0be5f7ebd 100644
--- a/stdlib/source/library/lux/data/text/regex.lux
+++ b/stdlib/source/library/lux/data/text/regex.lux
@@ -229,7 +229,8 @@
(in (` ((~! together^) ((~! <>.many) (~ base)))))
)))
-(exception: .public (incorrect_quantification {from Nat} {to Nat})
+(exception: .public (incorrect_quantification [from Nat
+ to Nat])
(exception.report
["Input" (format (%.nat from) "," (%.nat to))]
["Should be" (format (%.nat to) "," (%.nat from))]))
diff --git a/stdlib/source/library/lux/debug.lux b/stdlib/source/library/lux/debug.lux
index ffda8f9fe..e8fcb8348 100644
--- a/stdlib/source/library/lux/debug.lux
+++ b/stdlib/source/library/lux/debug.lux
@@ -378,7 +378,7 @@
))
})))
-(exception: .public (cannot_represent_value {type Type})
+(exception: .public (cannot_represent_value [type Type])
(exception.report
["Type" (%.type type)]))
@@ -530,7 +530,8 @@
(-> Text Any)
("lux io log" message))
-(exception: .public (type_hole {location Location} {type Type})
+(exception: .public (type_hole [location Location
+ type Type])
(exception.report
["Location" (%.location location)]
["Type" (%.type type)]))
@@ -551,7 +552,7 @@
(<code>.record (<>.and <code>.local_identifier
(\ <>.monad each (|>> #.Some) <code>.any)))))
-(exception: .public (unknown_local_binding {name Text})
+(exception: .public (unknown_local_binding [name Text])
(exception.report
["Name" (%.text name)]))
diff --git a/stdlib/source/library/lux/documentation.lux b/stdlib/source/library/lux/documentation.lux
index 9ee1db78d..17998d949 100644
--- a/stdlib/source/library/lux/documentation.lux
+++ b/stdlib/source/library/lux/documentation.lux
@@ -466,7 +466,7 @@
(<>.or (<code>.text! "")
<code>.any))
-(exception: .public (unqualified_identifier {name Name})
+(exception: .public (unqualified_identifier [name Name])
(exception.report
["Name" (%.name name)]))
diff --git a/stdlib/source/library/lux/ffi.jvm.lux b/stdlib/source/library/lux/ffi.jvm.lux
index e1b4e93bb..b71944646 100644
--- a/stdlib/source/library/lux/ffi.jvm.lux
+++ b/stdlib/source/library/lux/ffi.jvm.lux
@@ -551,12 +551,12 @@
(<code>.this! (' "abstract"))
(in []))))
-(exception: .public (class_names_cannot_contain_periods {name Text})
+(exception: .public (class_names_cannot_contain_periods [name Text])
(exception.report
["Name" (%.text name)]))
-(exception: .public (class_name_cannot_be_a_type_variable {name Text}
- {type_vars (List (Type Var))})
+(exception: .public (class_name_cannot_be_a_type_variable [name Text
+ type_vars (List (Type Var))])
(exception.report
["Name" (%.text name)]
["Type Variables" (exception.listing parser.name type_vars)]))
@@ -589,8 +589,8 @@
(<code>.form (<>.and class_name^ (<>.some (parameter^ type_vars))))))]
(in (type.class (name.safe name) parameters))))
-(exception: .public (unexpected_type_variable {name Text}
- {type_vars (List (Type Var))})
+(exception: .public (unexpected_type_variable [name Text
+ type_vars (List (Type Var))])
(exception.report
["Unexpected Type Variable" (%.text name)]
["Expected Type Variables" (exception.listing parser.name type_vars)]))
@@ -1704,7 +1704,7 @@
(in (list (` (: (~ (value_type #ManualPrM (type.array type)))
("jvm array new object" (~ g!size))))))))))
-(exception: .public (cannot_convert_to_jvm_type {type .Type})
+(exception: .public (cannot_convert_to_jvm_type [type .Type])
(exception.report
["Lux Type" (%.type type)]))
@@ -1915,7 +1915,7 @@
(syntax: .public (type [type (..type^ (list))])
(in (list (..value_type #ManualPrM type))))
-(exception: .public (cannot_cast_to_non_object {type (Type Value)})
+(exception: .public (cannot_cast_to_non_object [type (Type Value)])
(exception.report
["Signature" (..signature type)]
["Reflection" (..reflection type)]))
diff --git a/stdlib/source/library/lux/macro/local.lux b/stdlib/source/library/lux/macro/local.lux
index 77b5ce94e..ca48592af 100644
--- a/stdlib/source/library/lux/macro/local.lux
+++ b/stdlib/source/library/lux/macro/local.lux
@@ -17,12 +17,13 @@
["[0]" //
["[1][0]" code]])
-(exception: .public (unknown_module {module Text})
+(exception: .public (unknown_module [module Text])
(exception.report
["Module" (text.format module)]))
(template [<name>]
- [(exception: .public (<name> {module Text} {definition Text})
+ [(exception: .public (<name> [module Text
+ definition Text])
(exception.report
["Module" (text.format module)]
["Definition" (text.format definition)]))]
diff --git a/stdlib/source/library/lux/macro/syntax/definition.lux b/stdlib/source/library/lux/macro/syntax/definition.lux
index 3f92e3118..707c44ea2 100644
--- a/stdlib/source/library/lux/macro/syntax/definition.lux
+++ b/stdlib/source/library/lux/macro/syntax/definition.lux
@@ -81,7 +81,7 @@
<code>.bit
))))
-(exception: .public (lacks_type {definition Definition})
+(exception: .public (lacks_type [definition Definition])
(exception.report
["Definition" (%.code (..format definition))]))
diff --git a/stdlib/source/library/lux/macro/syntax/input.lux b/stdlib/source/library/lux/macro/syntax/input.lux
index b7ff83a59..51aa4b5fe 100644
--- a/stdlib/source/library/lux/macro/syntax/input.lux
+++ b/stdlib/source/library/lux/macro/syntax/input.lux
@@ -7,7 +7,9 @@
["<>" parser
["<[0]>" code {"+" [Parser]}]]]
[data
- ["[0]" product]]
+ ["[0]" product]
+ [collection
+ ["[0]" list ("[1]\[0]" monad)]]]
[macro
["[0]" code]]]])
@@ -23,16 +25,19 @@
code.equivalence
))
-(def: .public (format value)
- (-> Input Code)
- (code.record
- (list [(value@ #binding value)
- (value@ #type value)])))
+(def: .public format
+ (-> (List Input) Code)
+ (|>> (list\each (function (_ value)
+ (list (value@ #binding value)
+ (value@ #type value))))
+ list\conjoint
+ code.tuple))
(def: .public parser
- (Parser Input)
- (<code>.record
- ($_ <>.and
- <code>.any
- <code>.any
- )))
+ (Parser (List Input))
+ (<| <code>.tuple
+ <>.some
+ ($_ <>.and
+ <code>.any
+ <code>.any
+ )))
diff --git a/stdlib/source/library/lux/macro/template.lux b/stdlib/source/library/lux/macro/template.lux
index cef131e88..3da90c053 100644
--- a/stdlib/source/library/lux/macro/template.lux
+++ b/stdlib/source/library/lux/macro/template.lux
@@ -133,7 +133,8 @@
#parameters (List Text)
#template (List Code)]))
-(exception: .public (irregular_arguments {expected Nat} {actual Nat})
+(exception: .public (irregular_arguments [expected Nat
+ actual Nat])
(exception.report
["Expected" (\ nat.decimal encoded expected)]
["Actual" (\ nat.decimal encoded actual)]))
diff --git a/stdlib/source/library/lux/math/modular.lux b/stdlib/source/library/lux/math/modular.lux
index a1f8b8bd3..189a4b060 100644
--- a/stdlib/source/library/lux/math/modular.lux
+++ b/stdlib/source/library/lux/math/modular.lux
@@ -46,8 +46,8 @@
[value Int product.right]
)
- (exception: .public [%] (incorrect_modulus {modulus (Modulus %)}
- {parsed Int})
+ (exception: .public [%] (incorrect_modulus [modulus (Modulus %)
+ parsed Int])
(exception.report
["Expected" (i\encoded (//.divisor modulus))]
["Actual" (i\encoded parsed)]))
@@ -140,8 +140,8 @@
_ #.None)))]
)
-(exception: .public [r% s%] (moduli_are_not_equal {reference (Modulus r%)}
- {subject (Modulus s%)})
+(exception: .public [r% s%] (moduli_are_not_equal [reference (Modulus r%)
+ subject (Modulus s%)])
(exception.report
["Reference" (i\encoded (//.divisor reference))]
["Subject" (i\encoded (//.divisor subject))]))
diff --git a/stdlib/source/library/lux/target/jvm/bytecode.lux b/stdlib/source/library/lux/target/jvm/bytecode.lux
index 2c78e57d0..85fa58c78 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode.lux
@@ -112,15 +112,15 @@
[..relative_identity
(value@ #next tracker)]])))
-(exception: .public (label_has_already_been_set {label Label})
+(exception: .public (label_has_already_been_set [label Label])
(exception.report
["Label" (%.nat label)]))
-(exception: .public (mismatched_environments {instruction Name}
- {label Label}
- {address Address}
- {expected Stack}
- {actual Stack})
+(exception: .public (mismatched_environments [instruction Name
+ label Label
+ address Address
+ expected Stack
+ actual Stack])
(exception.report
["Instruction" (%.name instruction)]
["Label" (%.nat label)]
@@ -576,7 +576,7 @@
_ (..arbitrary_double value))))
-(exception: .public (invalid_register {id Nat})
+(exception: .public (invalid_register [id Nat])
(exception.report
["ID" (%.nat id)]))
@@ -678,13 +678,13 @@
[$0 $1 sipush _.sipush S2]
)
-(exception: .public (unknown_label {label Label})
+(exception: .public (unknown_label [label Label])
(exception.report
["Label" (%.nat label)]))
-(exception: .public (cannot_do_a_big_jump {label Label}
- {@from Address}
- {jump Big_Jump})
+(exception: .public (cannot_do_a_big_jump [label Label
+ @from Address
+ jump Big_Jump])
(exception.report
["Label" (%.nat label)]
["Start" (|> @from /address.value //unsigned.value %.nat)]
@@ -708,7 +708,7 @@
(\ ! each (|>> #.Left) (//signed.s4 jump))
(\ ! each (|>> #.Right) (//signed.s2 jump))))))
-(exception: .public (unset_label {label Label})
+(exception: .public (unset_label [label Label])
(exception.report
["Label" (%.nat label)]))
@@ -944,7 +944,7 @@
[register (..register register)]
(..bytecode $0 $0 (/registry.for register) _.iinc [register increase])))
-(exception: .public (multiarray_cannot_be_zero_dimensional {class (Type Object)})
+(exception: .public (multiarray_cannot_be_zero_dimensional [class (Type Object)])
(exception.report ["Class" (..reflection class)]))
(def: .public (multianewarray class dimensions)
@@ -1014,7 +1014,8 @@
[$2 putfield _.putfield/1 _.putfield/2]
)
-(exception: .public (invalid_range_for_try {start Address} {end Address})
+(exception: .public (invalid_range_for_try [start Address
+ end Address])
(exception.report
["Start" (|> start /address.value //unsigned.value %.nat)]
["End" (|> end /address.value //unsigned.value %.nat)]))
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment.lux
index 99bb9946a..9ba2ca0d4 100644
--- a/stdlib/source/library/lux/target/jvm/bytecode/environment.lux
+++ b/stdlib/source/library/lux/target/jvm/bytecode/environment.lux
@@ -63,8 +63,8 @@
(-> Environment Environment)
(with@ #..stack #.None))
-(exception: .public (mismatched_stacks {expected Stack}
- {actual Stack})
+(exception: .public (mismatched_stacks [expected Stack
+ actual Stack])
(exception.report
["Expected" (/stack.format expected)]
["Actual" (/stack.format actual)]))
diff --git a/stdlib/source/library/lux/target/jvm/encoding/signed.lux b/stdlib/source/library/lux/target/jvm/encoding/signed.lux
index 5a13c9619..3bafb4bfc 100644
--- a/stdlib/source/library/lux/target/jvm/encoding/signed.lux
+++ b/stdlib/source/library/lux/target/jvm/encoding/signed.lux
@@ -41,8 +41,8 @@
(def: (< reference sample)
(i.< (:representation reference) (:representation sample))))
- (exception: .public (value_exceeds_the_scope {value Int}
- {scope Nat})
+ (exception: .public (value_exceeds_the_scope [value Int
+ scope Nat])
(exception.report
["Value" (%.int value)]
["Scope (in bytes)" (%.nat scope)]))
diff --git a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux
index 199ea697a..df550075b 100644
--- a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux
+++ b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux
@@ -42,18 +42,18 @@
(n.< (:representation reference)
(:representation sample))))
- (exception: .public (value_exceeds_the_maximum {type Name}
- {value Nat}
- {maximum (Unsigned Any)})
+ (exception: .public (value_exceeds_the_maximum [type Name
+ value Nat
+ maximum (Unsigned Any)])
(exception.report
["Type" (%.name type)]
["Value" (%.nat value)]
["Maximum" (%.nat (:representation maximum))]))
(exception: .public [brand] (subtraction_cannot_yield_negative_value
- {type Name}
- {parameter (Unsigned brand)}
- {subject (Unsigned brand)})
+ [type Name
+ parameter (Unsigned brand)
+ subject (Unsigned brand)])
(exception.report
["Type" (%.name type)]
["Parameter" (%.nat (:representation parameter))]
diff --git a/stdlib/source/library/lux/target/jvm/loader.lux b/stdlib/source/library/lux/target/jvm/loader.lux
index 039ae4c0f..596e57dab 100644
--- a/stdlib/source/library/lux/target/jvm/loader.lux
+++ b/stdlib/source/library/lux/target/jvm/loader.lux
@@ -22,15 +22,16 @@
(type: .public Library
(Atom (Dictionary Text Binary)))
-(exception: .public (already_stored {class Text})
+(exception: .public (already_stored [class Text])
(exception.report
["Class" class]))
-(exception: .public (unknown {class Text})
+(exception: .public (unknown [class Text])
(exception.report
["Class" class]))
-(exception: .public (cannot_define {class Text} {error Text})
+(exception: .public (cannot_define [class Text
+ error Text])
(exception.report
["Class" class]
["Error" error]))
diff --git a/stdlib/source/library/lux/target/jvm/reflection.lux b/stdlib/source/library/lux/target/jvm/reflection.lux
index 5f24cce7f..740d43c63 100644
--- a/stdlib/source/library/lux/target/jvm/reflection.lux
+++ b/stdlib/source/library/lux/target/jvm/reflection.lux
@@ -111,12 +111,12 @@
(getConstructors [] [(java/lang/reflect/Constructor java/lang/Object)])
(getDeclaredMethods [] [java/lang/reflect/Method])])
-(exception: .public (unknown_class {class External})
+(exception: .public (unknown_class [class External])
(exception.report
["Class" (%.text class)]))
(template [<name>]
- [(exception: .public (<name> {jvm_type java/lang/reflect/Type})
+ [(exception: .public (<name> [jvm_type java/lang/reflect/Type])
(exception.report
["Type" (java/lang/reflect/Type::getTypeName jvm_type)]
["Class" (|> jvm_type java/lang/Object::getClass java/lang/Object::toString)]))]
@@ -272,23 +272,23 @@
#.None
<else>)))
-(exception: .public (cannot_correspond {class (java/lang/Class java/lang/Object)}
- {type Type})
+(exception: .public (cannot_correspond [class (java/lang/Class java/lang/Object)
+ type Type])
(exception.report
["Class" (java/lang/Object::toString class)]
["Type" (%.type type)]))
-(exception: .public (type_parameter_mismatch {expected Nat}
- {actual Nat}
- {class (java/lang/Class java/lang/Object)}
- {type Type})
+(exception: .public (type_parameter_mismatch [expected Nat
+ actual Nat
+ class (java/lang/Class java/lang/Object)
+ type Type])
(exception.report
["Expected" (%.nat expected)]
["Actual" (%.nat actual)]
["Class" (java/lang/Object::toString class)]
["Type" (%.type type)]))
-(exception: .public (non_jvm_type {type Type})
+(exception: .public (non_jvm_type [type Type])
(exception.report
["Type" (%.type type)]))
@@ -326,17 +326,17 @@
_
(exception.except ..non_jvm_type [type])))
-(exception: .public (mistaken_field_owner {field java/lang/reflect/Field}
- {owner (java/lang/Class java/lang/Object)}
- {target (java/lang/Class java/lang/Object)})
+(exception: .public (mistaken_field_owner [field java/lang/reflect/Field
+ owner (java/lang/Class java/lang/Object)
+ target (java/lang/Class java/lang/Object)])
(exception.report
["Field" (java/lang/Object::toString field)]
["Owner" (java/lang/Object::toString owner)]
["Target" (java/lang/Object::toString target)]))
(template [<name>]
- [(exception: .public (<name> {field Text}
- {class (java/lang/Class java/lang/Object)})
+ [(exception: .public (<name> [field Text
+ class (java/lang/Class java/lang/Object)])
(exception.report
["Field" (%.text field)]
["Class" (java/lang/Object::toString class)]))]
diff --git a/stdlib/source/library/lux/target/jvm/type/lux.lux b/stdlib/source/library/lux/target/jvm/type/lux.lux
index 0c340843c..023d844e8 100644
--- a/stdlib/source/library/lux/target/jvm/type/lux.lux
+++ b/stdlib/source/library/lux/target/jvm/type/lux.lux
@@ -42,7 +42,7 @@
Mapping
(dictionary.empty text.hash))
-(exception: .public (unknown_var {var Text})
+(exception: .public (unknown_var [var Text])
(exception.report
["Var" (%.text var)]))
diff --git a/stdlib/source/library/lux/test.lux b/stdlib/source/library/lux/test.lux
index a0d2c802d..ae72ceb48 100644
--- a/stdlib/source/library/lux/test.lux
+++ b/stdlib/source/library/lux/test.lux
@@ -362,7 +362,7 @@
(~ (code.text coverage))
(~ test)))))))
-(exception: .public (error_during_execution {error Text})
+(exception: .public (error_during_execution [error Text])
(exception.report
["Error" (%.text error)]))
diff --git a/stdlib/source/library/lux/time.lux b/stdlib/source/library/lux/time.lux
index 1cb95dc1f..de7525d42 100644
--- a/stdlib/source/library/lux/time.lux
+++ b/stdlib/source/library/lux/time.lux
@@ -38,7 +38,7 @@
Nat
(.nat (duration.millis duration.day)))
-(exception: .public (time_exceeds_a_day {time Nat})
+(exception: .public (time_exceeds_a_day [time Nat])
(exception.report
["Time (in milli-seconds)" (n\encoded time)]
["Maximum (in milli-seconds)" (n\encoded (-- limit))]))
@@ -57,7 +57,7 @@
(\ <>.monad in 0)))
(template [<maximum> <parser> <exception> <sub_parser>]
- [(exception: .public (<exception> {value Nat})
+ [(exception: .public (<exception> [value Nat])
(exception.report
["Value" (n\encoded value)]
["Minimum" (n\encoded 0)]
diff --git a/stdlib/source/library/lux/time/date.lux b/stdlib/source/library/lux/time/date.lux
index 74f0d2b8c..a739ff6f5 100644
--- a/stdlib/source/library/lux/time/date.lux
+++ b/stdlib/source/library/lux/time/date.lux
@@ -49,7 +49,9 @@
(or (n.< ..minimum_day day)
(n.> (..month_days year month) day)))
-(exception: .public (invalid_day {year Year} {month Month} {day Nat})
+(exception: .public (invalid_day [year Year
+ month Month
+ day Nat])
(exception.report
["Value" (n\encoded day)]
["Minimum" (n\encoded ..minimum_day)]
@@ -151,7 +153,7 @@
(\ <>.monad in 0)))
(template [<minimum> <maximum> <parser> <exception>]
- [(exception: .public (<exception> {value Nat})
+ [(exception: .public (<exception> [value Nat])
(exception.report
["Value" (n\encoded value)]
["Minimum" (n\encoded <minimum>)]
diff --git a/stdlib/source/library/lux/time/day.lux b/stdlib/source/library/lux/time/day.lux
index 0a5c006d4..ecdbc79ab 100644
--- a/stdlib/source/library/lux/time/day.lux
+++ b/stdlib/source/library/lux/time/day.lux
@@ -91,7 +91,7 @@
#Saturday #Friday
#Sunday #Saturday)))
-(exception: .public (not_a_day_of_the_week {value Text})
+(exception: .public (not_a_day_of_the_week [value Text])
(exception.report
["Value" (text.format value)]))
@@ -146,7 +146,7 @@
[<day> <number>])
(<pairs>)))
- (exception: .public (invalid_day {number Nat})
+ (exception: .public (invalid_day [number Nat])
(exception.report
["Number" (\ n.decimal encoded number)]
["Valid range" ($_ "lux text concat"
diff --git a/stdlib/source/library/lux/time/month.lux b/stdlib/source/library/lux/time/month.lux
index 4ae8ce7f8..57724be44 100644
--- a/stdlib/source/library/lux/time/month.lux
+++ b/stdlib/source/library/lux/time/month.lux
@@ -76,7 +76,7 @@
[<month> <number>])
(<pairs>)))
- (exception: .public (invalid_month {number Nat})
+ (exception: .public (invalid_month [number Nat])
(exception.report
["Number" (\ n.decimal encoded number)]
["Valid range" ($_ "lux text concat"
@@ -200,7 +200,7 @@
#November
#December))
-(exception: .public (not_a_month_of_the_year {value Text})
+(exception: .public (not_a_month_of_the_year [value Text])
(exception.report
["Value" (text.format value)]))
diff --git a/stdlib/source/library/lux/tool/compiler.lux b/stdlib/source/library/lux/tool/compiler.lux
index a91d6846b..21a73b224 100644
--- a/stdlib/source/library/lux/tool/compiler.lux
+++ b/stdlib/source/library/lux/tool/compiler.lux
@@ -44,6 +44,6 @@
(type: .public (Instancer s d o)
(-> (Key d) (List Parameter) (Compiler s d o)))
-(exception: .public (cannot_compile {module Module})
+(exception: .public (cannot_compile [module Module])
(exception.report
["Module" module]))
diff --git a/stdlib/source/library/lux/tool/compiler/default/platform.lux b/stdlib/source/library/lux/tool/compiler/default/platform.lux
index c2442dd78..be5d7df27 100644
--- a/stdlib/source/library/lux/tool/compiler/default/platform.lux
+++ b/stdlib/source/library/lux/tool/compiler/default/platform.lux
@@ -357,18 +357,18 @@
(or (dependence? import (value@ #depends_on) module)
(dependence? module (value@ #depended_by) import))))
- (exception: .public (module_cannot_import_itself {module Module})
+ (exception: .public (module_cannot_import_itself [module Module])
(exception.report
["Module" (%.text module)]))
- (exception: .public (cannot_import_circular_dependency {importer Module}
- {importee Module})
+ (exception: .public (cannot_import_circular_dependency [importer Module
+ importee Module])
(exception.report
["Importer" (%.text importer)]
["importee" (%.text importee)]))
- (exception: .public (cannot_import_twice {importer Module}
- {duplicates (Set Module)})
+ (exception: .public (cannot_import_twice [importer Module
+ duplicates (Set Module)])
(exception.report
["Importer" (%.text importer)]
["Duplicates" (%.list %.text (set.list duplicates))]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux
index c0bc4a79e..0b9e317fe 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/macro.lux
@@ -13,13 +13,17 @@
[/////
["[0]" phase]])
-(exception: .public (expansion_failed {macro Name} {inputs (List Code)} {error Text})
+(exception: .public (expansion_failed [macro Name
+ inputs (List Code)
+ error Text])
(exception.report
["Macro" (%.name macro)]
["Inputs" (exception.listing %.code inputs)]
["Error" error]))
-(exception: .public (must_have_single_expansion {macro Name} {inputs (List Code)} {outputs (List Code)})
+(exception: .public (must_have_single_expansion [macro Name
+ inputs (List Code)
+ outputs (List Code)])
(exception.report
["Macro" (%.name macro)]
["Inputs" (exception.listing %.code inputs)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
index efad246fd..7ed71e658 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/generation.lux
@@ -36,12 +36,12 @@
(type: .public (Buffer directive)
(Row [artifact.ID (Maybe Text) directive]))
-(exception: .public (cannot_interpret {error Text})
+(exception: .public (cannot_interpret [error Text])
(exception.report
["Error" error]))
(template [<name>]
- [(exception: .public (<name> {artifact_id artifact.ID})
+ [(exception: .public (<name> [artifact_id artifact.ID])
(exception.report
["Artifact ID" (%.nat artifact_id)]))]
@@ -257,8 +257,8 @@
[learn_directive artifact.directive]
)
-(exception: .public (unknown_definition {name Name}
- {known_definitions (List Text)})
+(exception: .public (unknown_definition [name Name
+ known_definitions (List Text)])
(exception.report
["Definition" (name.short name)]
["Module" (name.module name)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
index c7f8130fe..c8c2b9fd3 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis.lux
@@ -28,7 +28,7 @@
[meta
[archive {"+" [Archive]}]]]]]])
-(exception: .public (unrecognized_syntax {code Code})
+(exception: .public (unrecognized_syntax [code Code])
(exception.report ["Code" (%.code code)]))
... TODO: Had to split the 'compile' function due to compilation issues
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
index fda27838d..ec8fb396e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
@@ -34,29 +34,33 @@
[///
["[1]" phase]]]]]])
-(exception: .public (cannot_match_with_pattern {type Type} {pattern Code})
+(exception: .public (cannot_match_with_pattern [type Type
+ pattern Code])
(exception.report
["Type" (%.type type)]
["Pattern" (%.code pattern)]))
-(exception: .public (sum_has_no_case {case Nat} {type Type})
+(exception: .public (sum_has_no_case [case Nat
+ type Type])
(exception.report
["Case" (%.nat case)]
["Type" (%.type type)]))
-(exception: .public (not_a_pattern {code Code})
+(exception: .public (not_a_pattern [code Code])
(exception.report ["Code" (%.code code)]))
-(exception: .public (cannot_simplify_for_pattern_matching {type Type})
+(exception: .public (cannot_simplify_for_pattern_matching [type Type])
(exception.report ["Type" (%.type type)]))
-(exception: .public (non_exhaustive_pattern_matching {input Code} {branches (List [Code Code])} {coverage Coverage})
+(exception: .public (non_exhaustive_pattern_matching [input Code
+ branches (List [Code Code])
+ coverage Coverage])
(exception.report
["Input" (%.code input)]
["Branches" (%.code (code.record branches))]
["Coverage" (/coverage.%coverage coverage)]))
-(exception: .public (cannot_have_empty_branches {message Text})
+(exception: .public (cannot_have_empty_branches [message Text])
message)
(def: (re_quantify envs baseT)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux
index 8427dd68b..5dcedd669 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux
@@ -24,7 +24,7 @@
[///
["[1]" phase ("[1]\[0]" monad)]]]])
-(exception: .public (invalid_tuple_pattern)
+(exception: .public invalid_tuple_pattern
"Tuple size must be >= 2")
(def: cases
@@ -167,7 +167,8 @@
... always be a pattern prior to them that would match the input.
... Because of that, the presence of redundant patterns is assumed to
... be a bug, likely due to programmer carelessness.
-(exception: .public (redundant_pattern {so_far Coverage} {addition Coverage})
+(exception: .public (redundant_pattern [so_far Coverage
+ addition Coverage])
(exception.report
["Coverage so-far" (%coverage so_far)]
["Coverage addition" (%coverage addition)]))
@@ -212,7 +213,8 @@
(open: "coverage/[0]" ..equivalence)
-(exception: .public (variants_do_not_match {addition_cases Nat} {so_far_cases Nat})
+(exception: .public (variants_do_not_match [addition_cases Nat
+ so_far_cases Nat])
(exception.report
["So-far Cases" (%.nat so_far_cases)]
["Addition Cases" (%.nat addition_cases)]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux
index 7574d89aa..fe0a32584 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/function.lux
@@ -27,13 +27,18 @@
[reference {"+" []}
[variable {"+" []}]]]]]])
-(exception: .public (cannot_analyse {expected Type} {function Text} {argument Text} {body Code})
+(exception: .public (cannot_analyse [expected Type
+ function Text
+ argument Text
+ body Code])
(ex.report ["Type" (%.type expected)]
["Function" function]
["Argument" argument]
["Body" (%.code body)]))
-(exception: .public (cannot_apply {functionT Type} {functionC Code} {arguments (List Code)})
+(exception: .public (cannot_apply [functionT Type
+ functionC Code
+ arguments (List Code)])
(ex.report ["Function type" (%.type functionT)]
["Function" (%.code functionC)]
["Arguments" (|> arguments
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux
index 96d5b870e..b6d610a7f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux
@@ -28,29 +28,34 @@
[meta
[archive {"+" [Archive]}]]]]]])
-(exception: .public (variant_tag_out_of_bounds {size Nat} {tag Tag} {type Type})
+(exception: .public (variant_tag_out_of_bounds [size Nat
+ tag Tag
+ type Type])
(exception.report
["Tag" (%.nat tag)]
["Variant size" (%.int (.int size))]
["Variant type" (%.type type)]))
-(exception: .public (cannot_infer {type Type} {args (List Code)})
+(exception: .public (cannot_infer [type Type
+ args (List Code)])
(exception.report
["Type" (%.type type)]
["Arguments" (exception.listing %.code args)]))
-(exception: .public (cannot_infer_argument {inferred Type} {argument Code})
+(exception: .public (cannot_infer_argument [inferred Type
+ argument Code])
(exception.report
["Inferred Type" (%.type inferred)]
["Argument" (%.code argument)]))
-(exception: .public (smaller_variant_than_expected {expected Nat} {actual Nat})
+(exception: .public (smaller_variant_than_expected [expected Nat
+ actual Nat])
(exception.report
["Expected" (%.int (.int expected))]
["Actual" (%.int (.int actual))]))
(template [<name>]
- [(exception: .public (<name> {type Type})
+ [(exception: .public (<name> [type Type])
(%.type type))]
[not_a_variant_type]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux
index 845d07f17..31ace4429 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux
@@ -24,12 +24,13 @@
(type: .public Tag Text)
-(exception: .public (unknown_module {module Text})
+(exception: .public (unknown_module [module Text])
(exception.report
["Module" module]))
(template [<name>]
- [(exception: .public (<name> {tags (List Text)} {owner Type})
+ [(exception: .public (<name> [tags (List Text)
+ owner Type])
(exception.report
["Tags" (text.interposed " " tags)]
["Type" (%.type owner)]))]
@@ -38,7 +39,8 @@
[cannot_declare_tags_for_foreign_type]
)
-(exception: .public (cannot_define_more_than_once {name Name} {already_existing Global})
+(exception: .public (cannot_define_more_than_once [name Name
+ already_existing Global])
(exception.report
["Definition" (%.name name)]
["Original" (case already_existing
@@ -57,7 +59,8 @@
(#.Slot _)
(format "slot " (%.name name)))]))
-(exception: .public (can_only_change_state_of_active_module {module Text} {state Module_State})
+(exception: .public (can_only_change_state_of_active_module [module Text
+ state Module_State])
(exception.report
["Module" module]
["Desired state" (case state
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
index 33b1c7e32..f3bc9d282 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
@@ -20,16 +20,17 @@
["[1][0]" reference]
["[1]" phase]]]]])
-(exception: .public (foreign_module_has_not_been_imported {current Text} {foreign Text})
+(exception: .public (foreign_module_has_not_been_imported [current Text
+ foreign Text])
(exception.report
["Current" current]
["Foreign" foreign]))
-(exception: .public (definition_has_not_been_exported {definition Name})
+(exception: .public (definition_has_not_been_exported [definition Name])
(exception.report
["Definition" (%.name definition)]))
-(exception: .public (labels_are_not_definitions {definition Name})
+(exception: .public (labels_are_not_definitions [definition Name])
(exception.report
["Label" (%.name definition)]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux
index 3c18c178b..f6c226e9a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux
@@ -37,14 +37,17 @@
[meta
[archive {"+" [Archive]}]]]]]])
-(exception: .public (invalid_variant_type {type Type} {tag Tag} {code Code})
+(exception: .public (invalid_variant_type [type Type
+ tag Tag
+ code Code])
(exception.report
["Type" (%.type type)]
["Tag" (%.nat tag)]
["Expression" (%.code code)]))
(template [<name>]
- [(exception: .public (<name> {type Type} {members (List Code)})
+ [(exception: .public (<name> [type Type
+ members (List Code)])
(exception.report
["Type" (%.type type)]
["Expression" (%.code (` [(~+ members)]))]))]
@@ -53,11 +56,13 @@
[cannot_analyse_tuple]
)
-(exception: .public (not_a_quantified_type {type Type})
+(exception: .public (not_a_quantified_type [type Type])
(%.type type))
(template [<name>]
- [(exception: .public (<name> {type Type} {tag Tag} {code Code})
+ [(exception: .public (<name> [type Type
+ tag Tag
+ code Code])
(exception.report
["Type" (%.type type)]
["Tag" (%.nat tag)]
@@ -68,7 +73,8 @@
)
(template [<name>]
- [(exception: .public (<name> {key Name} {record (List [Name Code])})
+ [(exception: .public (<name> [key Name
+ record (List [Name Code])])
(exception.report
["Tag" (%.code (code.tag key))]
["Record" (%.code (code.record (list\each (function (_ [keyI valC])
@@ -78,12 +84,16 @@
[cannot_repeat_tag]
)
-(exception: .public (slot_does_not_belong_to_record {key Name} {type Type})
+(exception: .public (slot_does_not_belong_to_record [key Name
+ type Type])
(exception.report
["Tag" (%.code (code.tag key))]
["Type" (%.type type)]))
-(exception: .public (record_size_mismatch {expected Nat} {actual Nat} {type Type} {record (List [Name Code])})
+(exception: .public (record_size_mismatch [expected Nat
+ actual Nat
+ type Type
+ record (List [Name Code])])
(exception.report
["Expected" (%.nat expected)]
["Actual" (%.nat actual)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux
index 7a42fbb7e..3d3163553 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/directive.lux
@@ -28,15 +28,15 @@
[meta
[archive {"+" [Archive]}]]]]])
-(exception: .public (not_a_directive {code Code})
+(exception: .public (not_a_directive [code Code])
(exception.report
["Directive" (%.code code)]))
-(exception: .public (invalid_macro_call {code Code})
+(exception: .public (invalid_macro_call [code Code])
(exception.report
["Code" (%.code code)]))
-(exception: .public (macro_was_not_found {name Name})
+(exception: .public (macro_was_not_found [name Name])
(exception.report
["Name" (%.name name)]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
index 637c7e0a6..d54049e4e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
@@ -61,22 +61,27 @@
(type: .public (Phase s i o)
(//.Phase (State s i o) i o))
-(exception: .public (cannot_overwrite {name Name})
+(exception: .public (cannot_overwrite [name Name])
(exception.report
["Extension" (%.text name)]))
-(exception: .public (incorrect_arity {name Name} {arity Nat} {args Nat})
+(exception: .public (incorrect_arity [name Name
+ arity Nat
+ args Nat])
(exception.report
["Extension" (%.text name)]
["Expected" (%.nat arity)]
["Actual" (%.nat args)]))
-(exception: .public [a] (invalid_syntax {name Name} {%format (Format a)} {inputs (List a)})
+(exception: .public [a] (invalid_syntax [name Name
+ %format (Format a)
+ inputs (List a)])
(exception.report
["Extension" (%.text name)]
["Inputs" (exception.listing %format inputs)]))
-(exception: .public [s i o] (unknown {name Name} {bundle (Bundle s i o)})
+(exception: .public [s i o] (unknown [name Name
+ bundle (Bundle s i o)])
(exception.report
["Extension" (%.text name)]
["Available" (|> bundle
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
index 8591286fb..9ea592c20 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
@@ -115,7 +115,8 @@
(getDeclaredAnnotations [] [java/lang/annotation/Annotation])])
(template [<name>]
- [(exception: .public (<name> {class External} {field Text})
+ [(exception: .public (<name> [class External
+ field Text])
(exception.report
["Class" (%.text class)]
["Field" (%.text field)]))]
@@ -124,13 +125,15 @@
[deprecated_field]
)
-(exception: .public (deprecated_method {class External} {method Text} {type .Type})
+(exception: .public (deprecated_method [class External
+ method Text
+ type .Type])
(exception.report
["Class" (%.text class)]
["Method" (%.text method)]
["Type" (%.type type)]))
-(exception: .public (deprecated_class {class External})
+(exception: .public (deprecated_class [class External])
(exception.report
["Class" (%.text class)]))
@@ -204,7 +207,7 @@
#exceptions (List .Type)]))
(template [<name>]
- [(exception: .public (<name> {type .Type})
+ [(exception: .public (<name> [type .Type])
(exception.report
["Type" (%.type type)]))]
@@ -215,7 +218,7 @@
)
(template [<name>]
- [(exception: .public (<name> {class External})
+ [(exception: .public (<name> [class External])
(exception.report
["Class/type" (%.text class)]))]
@@ -225,10 +228,10 @@
)
(template [<name>]
- [(exception: .public (<name> {class External}
- {method Text}
- {inputsJT (List (Type Value))}
- {hints (List Method_Signature)})
+ [(exception: .public (<name> [class External
+ method Text
+ inputsJT (List (Type Value))
+ hints (List Method_Signature)])
(exception.report
["Class" class]
["Method" method]
@@ -239,14 +242,16 @@
[too_many_candidates]
)
-(exception: .public (cannot_cast {from .Type} {to .Type} {value Code})
+(exception: .public (cannot_cast [from .Type
+ to .Type
+ value Code])
(exception.report
["From" (%.type from)]
["To" (%.type to)]
["Value" (%.code value)]))
(template [<name>]
- [(exception: .public (<name> {message Text})
+ [(exception: .public (<name> [message Text])
message)]
[primitives_cannot_have_type_parameters]
@@ -1589,7 +1594,7 @@
)
(template [<name>]
- [(exception: .public (<name> {methods (List [Text (Type Method)])})
+ [(exception: .public (<name> [methods (List [Text (Type Method)])])
(exception.report
["Methods" (exception.listing
(function (_ [name type])
@@ -1889,12 +1894,15 @@
<code>.any
)))
-(exception: .public (unknown_super {name Text} {supers (List (Type Class))})
+(exception: .public (unknown_super [name Text
+ supers (List (Type Class))])
(exception.report
["Name" (%.text name)]
["Available" (exception.listing (|>> jvm_parser.read_class product.left) supers)]))
-(exception: .public (mismatched_super_parameters {name Text} {expected Nat} {actual Nat})
+(exception: .public (mismatched_super_parameters [name Text
+ expected Nat
+ actual Nat])
(exception.report
["Name" (%.text name)]
["Expected" (%.nat expected)]
@@ -2052,8 +2060,8 @@
not))
sub_set))
-(exception: .public (class_parameter_mismatch {expected (List Text)}
- {actual (List (Type Parameter))})
+(exception: .public (class_parameter_mismatch [expected (List Text)
+ actual (List (Type Parameter))])
(exception.report
["Expected (amount)" (%.nat (list.size expected))]
["Expected (parameters)" (exception.listing %.text expected)]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
index a8e9ae29f..fb283bf9e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
@@ -81,7 +81,7 @@
... TODO: Get rid of this ASAP
(as_is
- (exception: .public (char_text_must_be_size_1 {text Text})
+ (exception: .public (char_text_must_be_size_1 [text Text])
(exception.report
["Text" (%.text text)]))
@@ -199,7 +199,7 @@
(typeA.with_type input
(phase archive valueC))))]))
-(exception: .public (not_a_type {symbol Name})
+(exception: .public (not_a_type [symbol Name])
(exception.report
["Symbol" (%.name symbol)]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
index 1da688392..0ebdde096 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
@@ -305,13 +305,16 @@
(in [#/////directive.imports imports
#/////directive.referrals (list)])))]))
-(exception: .public (cannot_alias_an_alias {local Alias} {foreign Alias} {target Name})
+(exception: .public (cannot_alias_an_alias [local Alias
+ foreign Alias
+ target Name])
(exception.report
["Local alias" (%.name local)]
["Foreign alias" (%.name foreign)]
["Target definition" (%.name target)]))
-(exception: .public (cannot_alias_a_label {local Alias} {foreign Alias})
+(exception: .public (cannot_alias_a_label [local Alias
+ foreign Alias])
(exception.report
["Alias" (%.name local)]
["Label" (%.name foreign)]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
index ac5f0fce9..e0626e0b6 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/generation/jvm/host.lux
@@ -330,7 +330,7 @@
[return Return parser.return]
)
-(exception: .public (not_an_object_array {arrayJT (Type Array)})
+(exception: .public (not_an_object_array [arrayJT (Type Array)])
(exception.report
["JVM Type" (|> arrayJT type.signature signature.signature)]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
index df781631c..6e5030da6 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
@@ -60,18 +60,21 @@
(def: init::type (type.method [(list) type.void (list)]))
(def: init::modifier ($_ modifier\composite method.public method.static method.strict))
-(exception: .public (cannot_load {class Text} {error Text})
+(exception: .public (cannot_load [class Text
+ error Text])
(exception.report
["Class" class]
["Error" error]))
-(exception: .public (invalid_field {class Text} {field Text} {error Text})
+(exception: .public (invalid_field [class Text
+ field Text
+ error Text])
(exception.report
["Class" class]
["Field" field]
["Error" error]))
-(exception: .public (invalid_value {class Text})
+(exception: .public (invalid_value [class Text])
(exception.report
["Class" class]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux
index 3b820934f..4b9ef22e4 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/r/procedure/common.lux
@@ -113,7 +113,7 @@
Unary
(runtimeT.lux//try riskyO))
-(exception: .public (Wrong_Syntax {message Text})
+(exception: .public (Wrong_Syntax [message Text])
message)
(def: .public (wrong_syntax procedure args)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
index 316a1bed0..96139976a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
@@ -27,7 +27,8 @@
["[1]/[0]" variable {"+" [Register Variable]}]]
["[0]" phase ("[1]\[0]" monad)]]]])
-(exception: .public (cannot_find_foreign_variable_in_environment {foreign Register} {environment (Environment Synthesis)})
+(exception: .public (cannot_find_foreign_variable_in_environment [foreign Register
+ environment (Environment Synthesis)])
(exception.report
["Foreign" (%.nat foreign)]
["Environment" (exception.listing /.%synthesis environment)]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
index afa30d83c..91e229d1a 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
@@ -209,7 +209,7 @@
(#.Item head tail)])))))
(template [<name>]
- [(exception: .public (<name> {register Register})
+ [(exception: .public (<name> [register Register])
(exception.report
["Register" (%.nat register)]))]
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux
index ecafe7615..f085683fc 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/program.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/program.lux
@@ -28,7 +28,7 @@
Text
"")
-(exception: .public (cannot_find_program {modules (List Module)})
+(exception: .public (cannot_find_program [modules (List Module)])
(exception.report
["Modules" (exception.listing %.text modules)]))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
index a04571b5b..3df8bb802 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/syntax.lux
@@ -144,7 +144,7 @@
["." name_separator]
)
-(exception: .public (end_of_file {module Text})
+(exception: .public (end_of_file [module Text])
(exception.report
["Module" (%.text module)]))
@@ -155,7 +155,10 @@
(let [end (|> start (!n/+ amount_of_input_shown) (n.min ("lux text size" input)))]
(!clip start end input)))
-(exception: .public (unrecognized_input {[file line column] Location} {context Text} {input Text} {offset Offset})
+(exception: .public (unrecognized_input [[file line column] Location
+ context Text
+ input Text
+ offset Offset])
(exception.report
["File" file]
["Line" (%.nat line)]
@@ -163,7 +166,7 @@
["Context" (%.text context)]
["Input" (input_at offset input)]))
-(exception: .public (text_cannot_contain_new_lines {text Text})
+(exception: .public (text_cannot_contain_new_lines [text Text])
(exception.report
["Text" (%.text text)]))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
index d57f4a08b..d7d2fe237 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive.lux
@@ -41,29 +41,29 @@
(type: .public Output
(Row [artifact.ID (Maybe Text) Binary]))
-(exception: .public (unknown_document {module Module}
- {known_modules (List Module)})
+(exception: .public (unknown_document [module Module
+ known_modules (List Module)])
(exception.report
["Module" (%.text module)]
["Known Modules" (exception.listing %.text known_modules)]))
-(exception: .public (cannot_replace_document {module Module}
- {old (Document Any)}
- {new (Document Any)})
+(exception: .public (cannot_replace_document [module 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))]))
-(exception: .public (module_has_already_been_reserved {module Module})
+(exception: .public (module_has_already_been_reserved [module Module])
(exception.report
["Module" (%.text module)]))
-(exception: .public (module_must_be_reserved_before_it_can_be_added {module Module})
+(exception: .public (module_must_be_reserved_before_it_can_be_added [module Module])
(exception.report
["Module" (%.text module)]))
-(exception: .public (module_is_only_reserved {module Module})
+(exception: .public (module_is_only_reserved [module Module])
(exception.report
["Module" (%.text module)]))
@@ -240,7 +240,8 @@
[version next]
(binary.result ..writer))))
- (exception: .public (version_mismatch {expected Version} {actual Version})
+ (exception: .public (version_mismatch [expected Version
+ actual Version])
(exception.report
["Expected" (%.nat expected)]
["Actual" (%.nat actual)]))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
index e3ad0fd89..a9851c301 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/artifact.lux
@@ -124,7 +124,7 @@
(row\each (value@ #category))
artifacts)))
- (exception: .public (invalid_category {tag Nat})
+ (exception: .public (invalid_category [tag Nat])
(exception.report
["Tag" (%.nat tag)]))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/document.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/document.lux
index ddb71ac93..3fcf381d3 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/document.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/document.lux
@@ -20,7 +20,8 @@
["[0]" key {"+" [Key]}]
[descriptor {"+" [Module]}]])
-(exception: .public (invalid_signature {expected Signature} {actual Signature})
+(exception: .public (invalid_signature [expected Signature
+ actual Signature])
(exception.report
["Expected" (signature.description expected)]
["Actual" (signature.description actual)]))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
index d6a427d0b..1d7baccbd 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/io/archive.lux
@@ -51,9 +51,9 @@
["[0]" directive]
["[1]/[0]" program]]]]]])
-(exception: .public (cannot_prepare {archive file.Path}
- {module_id archive.ID}
- {error Text})
+(exception: .public (cannot_prepare [archive file.Path
+ module_id archive.ID
+ error Text])
(exception.report
["Archive" archive]
["Module ID" (%.nat module_id)]
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 177f552e3..af43ef991 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/io/context.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/io/context.lux
@@ -31,12 +31,13 @@
[descriptor {"+" [Module]}]]
["/[1]" // {"+" [Input]}]]])
-(exception: .public (cannot_find_module {importer Module} {module Module})
+(exception: .public (cannot_find_module [importer Module
+ module Module])
(exception.report
["Module" (%.text module)]
["Importer" (%.text importer)]))
-(exception: .public (cannot_read_module {module Module})
+(exception: .public (cannot_read_module [module Module])
(exception.report
["Module" (%.text module)]))
diff --git a/stdlib/source/library/lux/tool/interpreter.lux b/stdlib/source/library/lux/tool/interpreter.lux
index 6385fe34c..8a12cd2db 100644
--- a/stdlib/source/library/lux/tool/interpreter.lux
+++ b/stdlib/source/library/lux/tool/interpreter.lux
@@ -29,7 +29,7 @@
["[0]" console {"+" [Console]}]]]]
["[0]" /type])
-(exception: .public (error {message Text})
+(exception: .public (error [message Text])
message)
(def: .public module "<INTERPRETER>")
diff --git a/stdlib/source/library/lux/type/check.lux b/stdlib/source/library/lux/type/check.lux
index 310918cee..51bb8d13e 100644
--- a/stdlib/source/library/lux/type/check.lux
+++ b/stdlib/source/library/lux/type/check.lux
@@ -27,26 +27,30 @@
(template: (!text\= reference subject)
[("lux text =" reference subject)])
-(exception: .public (unknown_type_var {id Nat})
+(exception: .public (unknown_type_var [id Nat])
(exception.report
["ID" (n\encoded id)]))
-(exception: .public (unbound_type_var {id Nat})
+(exception: .public (unbound_type_var [id Nat])
(exception.report
["ID" (n\encoded id)]))
-(exception: .public (invalid_type_application {funcT Type} {argT Type})
+(exception: .public (invalid_type_application [funcT Type
+ argT Type])
(exception.report
["Type function" (//.format funcT)]
["Type argument" (//.format argT)]))
-(exception: .public (cannot_rebind_var {id Nat} {type Type} {bound Type})
+(exception: .public (cannot_rebind_var [id Nat
+ type Type
+ bound Type])
(exception.report
["Var" (n\encoded id)]
["Wanted Type" (//.format type)]
["Current Type" (//.format bound)]))
-(exception: .public (type_check_failed {expected Type} {actual Type})
+(exception: .public (type_check_failed [expected Type
+ actual Type])
(exception.report
["Expected" (//.format expected)]
["Actual" (//.format actual)]))
diff --git a/stdlib/source/library/lux/type/dynamic.lux b/stdlib/source/library/lux/type/dynamic.lux
index 2ffccf010..0709b67e2 100644
--- a/stdlib/source/library/lux/type/dynamic.lux
+++ b/stdlib/source/library/lux/type/dynamic.lux
@@ -15,7 +15,8 @@
["[0]" type
abstract]]])
-(exception: .public (wrong_type {expected Type} {actual Type})
+(exception: .public (wrong_type [expected Type
+ actual Type])
(exception.report
["Expected" (%.type expected)]
["Actual" (%.type actual)]))
diff --git a/stdlib/source/library/lux/type/resource.lux b/stdlib/source/library/lux/type/resource.lux
index 5743ab70b..244644d57 100644
--- a/stdlib/source/library/lux/type/resource.lux
+++ b/stdlib/source/library/lux/type/resource.lux
@@ -101,7 +101,7 @@
(\ monad in [keys (:representation resource)])))]
)
-(exception: .public (index_cannot_be_repeated {index Nat})
+(exception: .public (index_cannot_be_repeated [index Nat])
(exception.report
["Index" (%.nat index)]))
diff --git a/stdlib/source/library/lux/world/console.lux b/stdlib/source/library/lux/world/console.lux
index 304c8c3c9..a31de2fdc 100644
--- a/stdlib/source/library/lux/world/console.lux
+++ b/stdlib/source/library/lux/world/console.lux
@@ -60,8 +60,7 @@
("static" out java/io/PrintStream)])
(template [<name>]
- [(exception: .public (<name>)
- "")]
+ [(exception: .public <name>)]
[cannot_open]
[cannot_close]
diff --git a/stdlib/source/library/lux/world/file.lux b/stdlib/source/library/lux/world/file.lux
index 3eb8ea3e6..9cbb0f8e4 100644
--- a/stdlib/source/library/lux/world/file.lux
+++ b/stdlib/source/library/lux/world/file.lux
@@ -142,7 +142,7 @@
(format parent (\ fs separator) child))
(template [<name>]
- [(exception: .public (<name> {file Path})
+ [(exception: .public (<name> [file Path])
(exception.report
["Path" file]))]
@@ -156,7 +156,8 @@
[cannot_read_all_data]
)
-(with_expansions [<for_jvm> (as_is (exception: .public (cannot_modify_file {instant Instant} {file Path})
+(with_expansions [<for_jvm> (as_is (exception: .public (cannot_modify_file [instant Instant
+ file Path])
(exception.report
["Instant" (%.instant instant)]
["Path" file]))
@@ -837,7 +838,7 @@
... (def: default_separator (..DIRECTORY_SEPARATOR))
... (template [<name>]
- ... [(exception: .public (<name> {file Path})
+ ... [(exception: .public (<name> [file Path])
... (exception.report
... ["Path" file]))]
diff --git a/stdlib/source/library/lux/world/file/watch.lux b/stdlib/source/library/lux/world/file/watch.lux
index 73ef783b9..d26778c03 100644
--- a/stdlib/source/library/lux/world/file/watch.lux
+++ b/stdlib/source/library/lux/world/file/watch.lux
@@ -93,7 +93,7 @@
poll)))
(template [<name>]
- [(exception: .public (<name> {path //.Path})
+ [(exception: .public (<name> [path //.Path])
(exception.report
["Path" (%.text path)]))]
diff --git a/stdlib/source/library/lux/world/program.lux b/stdlib/source/library/lux/world/program.lux
index ea0423155..3203a12b1 100644
--- a/stdlib/source/library/lux/world/program.lux
+++ b/stdlib/source/library/lux/world/program.lux
@@ -35,7 +35,7 @@
[file {"+" [Path]}]
[shell {"+" [Exit]}]])
-(exception: .public (unknown_environment_variable {name Text})
+(exception: .public (unknown_environment_variable [name Text])
(exception.report
["Name" (%.text name)]))
diff --git a/stdlib/source/program/aedifex.lux b/stdlib/source/program/aedifex.lux
index a275eebea..682c30099 100644
--- a/stdlib/source/program/aedifex.lux
+++ b/stdlib/source/program/aedifex.lux
@@ -93,8 +93,8 @@
(in (#try.Failure ""))))]
(in output)))
-(exception: (cannot_find_repository {repository Text}
- {options (Dictionary Text Address)})
+(exception: (cannot_find_repository [repository Text
+ options (Dictionary Text Address)])
(exception.report
["Repository" (%.text repository)]
["Options" (exception.listing (function (_ [name repo])
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index 18688bf1a..e5f0f7617 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -32,7 +32,7 @@
(def: min_year +1,000)
(def: max_year +9,999)
-(exception: .public (year_is_out_of_range {year year.Year})
+(exception: .public (year_is_out_of_range [year year.Year])
(exception.report
["Minimum" (%.int ..min_year)]
["Maximum" (%.int ..max_year)]
diff --git a/stdlib/source/program/aedifex/dependency/resolution.lux b/stdlib/source/program/aedifex/dependency/resolution.lux
index 04609b10b..3bb2fb687 100644
--- a/stdlib/source/program/aedifex/dependency/resolution.lux
+++ b/stdlib/source/program/aedifex/dependency/resolution.lux
@@ -60,7 +60,9 @@
["[1]/[0]" snapshot]]]])
(template [<name>]
- [(exception: .public (<name> {artifact Artifact} {extension Extension} {hash Text})
+ [(exception: .public (<name> [artifact Artifact
+ extension Extension
+ hash Text])
(exception.report
["Artifact" (///artifact.format artifact)]
["Extension" (%.text extension)]
@@ -157,7 +159,7 @@
(Equivalence Resolution)
(dictionary.equivalence ///package.equivalence))
-(exception: .public (cannot_resolve {dependency Dependency})
+(exception: .public (cannot_resolve [dependency Dependency])
(exception.report
["Artifact" (%.text (///artifact.format (value@ #//.artifact dependency)))]
["Type" (%.text (value@ #//.type dependency))]))
diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux
index 996858e3e..74e54679f 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -77,14 +77,15 @@
(def: hex_per_chunk
(n.* hex_per_byte i64.bytes_per_i64))
- (exception: .public (not_a_hash {size Nat} {value Text})
+ (exception: .public (not_a_hash [size Nat
+ value Text])
(exception.report
["Pseudo hash" (%.text value)]
["Expected size" (%.nat size)]
["Actual size" (%.nat (text.size value))]))
(template [<name> <size>]
- [(exception: .public (<name> {data Binary})
+ [(exception: .public (<name> [data Binary])
(exception.report
["Pseudo hash" (%.text (..encoded data))]
["Expected size" (%.nat <size>)]
diff --git a/stdlib/source/program/aedifex/project.lux b/stdlib/source/program/aedifex/project.lux
index e7ed18148..1d1d55998 100644
--- a/stdlib/source/program/aedifex/project.lux
+++ b/stdlib/source/program/aedifex/project.lux
@@ -41,11 +41,12 @@
(def: composite
(dictionary.merged_with (\ //.monoid composite))))
-(exception: .public (unknown_profile {name Name})
+(exception: .public (unknown_profile [name Name])
(exception.report
["Name" (%.text name)]))
-(exception: .public (circular_dependency {dependee Name} {dependent Name})
+(exception: .public (circular_dependency [dependee Name
+ dependent Name])
(exception.report
["Dependent" (%.text dependent)]
["Dependee" (%.text dependee)]))
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index 69fd9c255..4f852c2b7 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -34,7 +34,8 @@
URL)
(template [<name>]
- [(exception: .public (<name> {url URL} {status Nat})
+ [(exception: .public (<name> [url URL
+ status Nat])
(exception.report
["URL" (%.text url)]
["Status Code" (%.nat status)]))]
diff --git a/stdlib/source/program/compositor/import.lux b/stdlib/source/program/compositor/import.lux
index b15c95080..6b092e546 100644
--- a/stdlib/source/program/compositor/import.lux
+++ b/stdlib/source/program/compositor/import.lux
@@ -34,7 +34,8 @@
(exception: .public useless_tar_entry)
-(exception: .public (duplicate {library Library} {module Module})
+(exception: .public (duplicate [library Library
+ module Module])
(exception.report
["Module" (%.text module)]
["Library" (%.text library)]))
diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index 7958dc7bb..0cbea2733 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -42,11 +42,11 @@
(-> Version Artifact)
(|>> ["com.github.luxlang" "test-artifact"]))
-(exception: (not_found {uri URI})
+(exception: (not_found [uri URI])
(exception.report
["URI" (%.text uri)]))
-(exception: (cannot_upload {uri URI})
+(exception: (cannot_upload [uri URI])
(exception.report
["URI" (%.text uri)]))
diff --git a/stdlib/source/test/lux/control/concurrency/actor.lux b/stdlib/source/test/lux/control/concurrency/actor.lux
index 7616ea1a9..012a9f796 100644
--- a/stdlib/source/test/lux/control/concurrency/actor.lux
+++ b/stdlib/source/test/lux/control/concurrency/actor.lux
@@ -33,7 +33,7 @@
[((on_mail message state self)
(message state self))
- (message: (count! {increment Nat} state self)
+ (message: (count! [increment Nat] state self)
Nat
(let [state' (n.+ increment state)]
(async\in (#try.Success [state' state']))))]
diff --git a/stdlib/source/test/lux/control/exception.lux b/stdlib/source/test/lux/control/exception.lux
index cbb91dec4..faeac513e 100644
--- a/stdlib/source/test/lux/control/exception.lux
+++ b/stdlib/source/test/lux/control/exception.lux
@@ -20,7 +20,7 @@
(exception: another_exception)
(def: label "YOLO")
-(exception: (custom_exception {value Nat})
+(exception: (custom_exception [value Nat])
(/.report [label (%.nat value)]))
(def: .public test
diff --git a/stdlib/source/test/lux/macro/syntax/input.lux b/stdlib/source/test/lux/macro/syntax/input.lux
index 0f4060cdc..bed8f2768 100644
--- a/stdlib/source/test/lux/macro/syntax/input.lux
+++ b/stdlib/source/test/lux/macro/syntax/input.lux
@@ -10,6 +10,9 @@
["[0]" try]
[parser
["<[0]>" code]]]
+ [data
+ [collection
+ ["[0]" list]]]
[math
["[0]" random {"+" [Random]}]
[number
@@ -37,10 +40,9 @@
(do random.monad
[expected ..random]
(_.cover [/.format /.parser]
- (case (<code>.result /.parser
- (list (/.format expected)))
+ (case (<code>.result /.parser (list (/.format (list expected))))
(#try.Failure _)
false
(#try.Success actual)
- (\ /.equivalence = expected actual)))))))
+ (\ (list.equivalence /.equivalence) = (list expected) actual)))))))
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux
index da4112798..d3ef99670 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/primitive.lux
@@ -65,7 +65,8 @@
[Text code.text (r.unicode 5)]
)))))
-(exception: (wrong_inference {expected Type} {inferred Type})
+(exception: (wrong_inference [expected Type
+ inferred Type])
(exception.report
["Expected" (%.type expected)]
["Inferred" (%.type inferred)]))