diff options
| author | Eduardo Julian | 2020-12-12 01:40:48 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-12-12 01:40:48 -0400 |
| commit | 71ade9a07f08c0d61ebd70e64c2745f1ba33cb54 (patch) | |
| tree | 736b881f4b1db0775211baa5df611b9e40abeac1 /stdlib/source/lux/target/jvm/attribute/code.lux | |
| parent | dff517cbdb9a1c80028782c62ad91c71ddb34909 (diff) | |
Removed several unnecessary imports.
Diffstat (limited to 'stdlib/source/lux/target/jvm/attribute/code.lux')
| -rw-r--r-- | stdlib/source/lux/target/jvm/attribute/code.lux | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/lux/target/jvm/attribute/code.lux b/stdlib/source/lux/target/jvm/attribute/code.lux index 251eca660..29d027b4d 100644 --- a/stdlib/source/lux/target/jvm/attribute/code.lux +++ b/stdlib/source/lux/target/jvm/attribute/code.lux @@ -2,8 +2,9 @@ [lux (#- Code) [type (#+ :share)] [abstract - ["." equivalence (#+ Equivalence)]] + [equivalence (#+ Equivalence)]] [data + ["." product] ["." binary (#+ Binary)] [number ["n" nat]] @@ -54,7 +55,7 @@ (def: #export (equivalence attribute-equivalence) (All [attribute] (-> (Equivalence attribute) (Equivalence (Code attribute)))) - ($_ equivalence.product + ($_ product.equivalence ///limit.equivalence binary.equivalence (row.equivalence /exception.equivalence) |