diff options
| author | Eduardo Julian | 2020-12-29 00:38:21 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-12-29 00:38:21 -0400 |
| commit | 832a9361b632331e82a64c07baa560487ca8abde (patch) | |
| tree | 5fec882399315def4d789ecef1746d90e761df93 /lux-jvm/source/luxc/lang/translation/jvm/structure.lux | |
| parent | 92dca9f487c625d27f6c291784ef709b0cc13a72 (diff) | |
Moved "lux/data/number" to "lux/math/number".
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/structure.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/structure.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux index d91ed3d14..a93b4845f 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux @@ -35,7 +35,7 @@ ["." // ["#." runtime]]) -(exception: #export (not-a-tuple {size Nat}) +(exception: #export (not_a_tuple {size Nat}) (exception.report ["Expected size" ">= 2"] ["Actual size" (%.nat size)])) @@ -44,7 +44,7 @@ (Generator (List Synthesis)) (do {@ phase.monad} [#let [size (list.size members)] - _ (phase.assert not-a-tuple size + _ (phase.assert ..not_a_tuple size (n.>= 2 size)) membersI (|> members list.enumeration |