diff options
Diffstat (limited to 'stdlib/source/lux/target/jvm/bytecode/environment/limit.lux')
-rw-r--r-- | stdlib/source/lux/target/jvm/bytecode/environment/limit.lux | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/lux/target/jvm/bytecode/environment/limit.lux b/stdlib/source/lux/target/jvm/bytecode/environment/limit.lux index 7b75c3593..fc65ac6db 100644 --- a/stdlib/source/lux/target/jvm/bytecode/environment/limit.lux +++ b/stdlib/source/lux/target/jvm/bytecode/environment/limit.lux @@ -2,10 +2,11 @@ [lux (#- Type static) [abstract [monad (#+ do)] - ["." equivalence (#+ Equivalence)]] + [equivalence (#+ Equivalence)]] [control ["." try (#+ Try)]] [data + ["." product] [number ["n" nat]] ["." format #_ @@ -42,7 +43,7 @@ (def: #export equivalence (Equivalence Limit) - ($_ equivalence.product + ($_ product.equivalence /stack.equivalence /registry.equivalence )) |