diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/encoding/unsigned.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux index d8299fa65..546d4f516 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux @@ -74,7 +74,7 @@ (-> Nat (Try <name>)) (if (n.<= (:representation <maximum>) value) (#try.Success (:abstraction value)) - (exception.throw ..value_exceeds_the_maximum [(name_of <name>) value <maximum>]))) + (exception.except ..value_exceeds_the_maximum [(name_of <name>) value <maximum>]))) (def: #export (<+> parameter subject) (-> <name> <name> (Try <name>)) @@ -88,7 +88,7 @@ subject' (:representation subject)] (if (n.<= subject' parameter') (#try.Success (:abstraction (n.- parameter' subject'))) - (exception.throw ..subtraction_cannot_yield_negative_value [(name_of <name>) parameter subject])))) + (exception.except ..subtraction_cannot_yield_negative_value [(name_of <name>) parameter subject])))) (def: #export (<max> left right) (-> <name> <name> <name>) |