diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/host/jvm/attribute.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/lux/host/jvm/attribute.lux b/stdlib/source/lux/host/jvm/attribute.lux index 41928e704..9008dd658 100644 --- a/stdlib/source/lux/host/jvm/attribute.lux +++ b/stdlib/source/lux/host/jvm/attribute.lux @@ -22,13 +22,13 @@ #length U4 #info about}) -(def: #export (Equivalence<Info> Equivalence<about>) +(def: #export (info-equivalence Equivalence<about>) (All [about] (-> (Equivalence about) (Equivalence (Info about)))) ($_ equivalence.product - //index.Equivalence<Index> - //encoding.Equivalence<U4> + //index.equivalence + //encoding.u4-equivalence Equivalence<about>)) (def: (info-format about) @@ -43,9 +43,9 @@ (type: #export Constant (Info (Index (Value Any)))) -(def: #export Equivalence<Constant> +(def: #export constant-equivalence (Equivalence Constant) - (..Equivalence<Info> //index.Equivalence<Index>)) + (..info-equivalence //index.equivalence)) (def: constant-format (Format Constant) @@ -76,14 +76,14 @@ ## <Code>) ) -(def: #export Equivalence<Attribute> +(def: #export equivalence (Equivalence Attribute) - ..Equivalence<Constant>) + ..constant-equivalence) (def: #export (constant index) (-> (Index (Value Any)) (State Pool Attribute)) - (do state.Monad<State> + (do state.monad [@name (//pool.utf8 "ConstantValue")] (wrap (#Constant {#name @name #length (//encoding.to-u4 //encoding.u2-bytes) @@ -91,7 +91,7 @@ ## (def: #export (code specification) ## (-> Code' (State Pool Attribute)) -## (do state.Monad<State> +## (do state.monad ## [@name (//pool.utf8 "Code")] ## (wrap (#Code {#name @name ## #length (undefined) |