diff options
Diffstat (limited to 'stdlib/source/library/lux/target/jvm')
-rw-r--r-- | stdlib/source/library/lux/target/jvm/bytecode.lux | 4 | ||||
-rw-r--r-- | stdlib/source/library/lux/target/jvm/encoding/unsigned.lux | 8 |
2 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/target/jvm/bytecode.lux b/stdlib/source/library/lux/target/jvm/bytecode.lux index 1e49699c7..b269b69b7 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode.lux @@ -116,13 +116,13 @@ (exception.report ["Label" (%.nat label)])) -(exception: .public (mismatched_environments [instruction Name +(exception: .public (mismatched_environments [instruction Symbol label Label address Address expected Stack actual Stack]) (exception.report - ["Instruction" (%.name instruction)] + ["Instruction" (%.symbol instruction)] ["Label" (%.nat label)] ["Address" (/address.format address)] ["Expected" (/stack.format expected)] diff --git a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux index b43c060a4..bff5a4439 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux @@ -42,20 +42,20 @@ (n.< (:representation reference) (:representation sample)))) - (exception: .public (value_exceeds_the_maximum [type Name + (exception: .public (value_exceeds_the_maximum [type Symbol value Nat maximum (Unsigned Any)]) (exception.report - ["Type" (%.name type)] + ["Type" (%.symbol type)] ["Value" (%.nat value)] ["Maximum" (%.nat (:representation maximum))])) (exception: .public [brand] (subtraction_cannot_yield_negative_value - [type Name + [type Symbol parameter (Unsigned brand) subject (Unsigned brand)]) (exception.report - ["Type" (%.name type)] + ["Type" (%.symbol type)] ["Parameter" (%.nat (:representation parameter))] ["Subject" (%.nat (:representation subject))])) |