diff options
Diffstat (limited to '')
24 files changed, 32 insertions, 32 deletions
diff --git a/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux b/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux index 2f56e40be..90e1de102 100644 --- a/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux +++ b/stdlib/source/library/lux/target/jvm/attribute/code/exception.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [abstract [equivalence (.only Equivalence)]] [data diff --git a/stdlib/source/library/lux/target/jvm/attribute/constant.lux b/stdlib/source/library/lux/target/jvm/attribute/constant.lux index b4ba21594..d3a837cea 100644 --- a/stdlib/source/library/lux/target/jvm/attribute/constant.lux +++ b/stdlib/source/library/lux/target/jvm/attribute/constant.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [abstract [equivalence (.only Equivalence)]] [data diff --git a/stdlib/source/library/lux/target/jvm/bytecode/address.lux b/stdlib/source/library/lux/target/jvm/bytecode/address.lux index 812434af4..c20fedb78 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/address.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/address.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [abstract [equivalence (.only Equivalence)] [monad (.only do)]] @@ -15,7 +15,7 @@ [number ["n" nat]]] [type - [primitive "*"]]]] + [primitive (.full)]]]] ["[0]" // "_" [jump (.only Big_Jump)] ["/[1]" // "_" diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux index f79066691..2fe49b1dd 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/registry.lux @@ -14,7 +14,7 @@ [number ["n" nat]]] [type - [primitive "*"]]]] + [primitive (.full)]]]] ["[0]" ///// "_" [encoding ["[1][0]" unsigned (.only U1 U2)]] diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux index cbc4cc941..3e89d3edd 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit/stack.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [abstract ["[0]" equivalence (.only Equivalence)]] [control @@ -12,7 +12,7 @@ [format [binary (.only Writer)]]] [type - [primitive "*"]]]] + [primitive (.full)]]]] ["[0]" ///// "_" [encoding ["[1][0]" unsigned (.only U2)]]]) diff --git a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux index 3aacb4021..45d866c4e 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/instruction.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [ffi (.only)] [abstract [monad (.only do)] @@ -23,7 +23,7 @@ [number (.only hex) ["n" nat]]] [type - [primitive "*"]]]] + [primitive (.full)]]]] ["[0]" // "_" ["[1][0]" address (.only Address)] ["[1][0]" jump (.only Jump Big_Jump)] diff --git a/stdlib/source/library/lux/target/jvm/bytecode/jump.lux b/stdlib/source/library/lux/target/jvm/bytecode/jump.lux index 4d3100069..fa9c1564b 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/jump.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/jump.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [abstract [equivalence (.only Equivalence)]] [data diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux index 25f9cd782..d637900ce 100644 --- a/stdlib/source/library/lux/target/jvm/constant.lux +++ b/stdlib/source/library/lux/target/jvm/constant.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["@" target] ["[0]" ffi (.only import:)] [abstract @@ -22,7 +22,7 @@ ["[0]" int] ["[0]" frac]]] [type - [primitive "*"]]]] + [primitive (.full)]]]] ["[0]" / "_" ["[1][0]" tag] ["/[1]" // "_" diff --git a/stdlib/source/library/lux/target/jvm/constant/pool.lux b/stdlib/source/library/lux/target/jvm/constant/pool.lux index 8c41dbf17..77ae255f3 100644 --- a/stdlib/source/library/lux/target/jvm/constant/pool.lux +++ b/stdlib/source/library/lux/target/jvm/constant/pool.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["[0]" ffi] [abstract [equivalence (.only Equivalence)] diff --git a/stdlib/source/library/lux/target/jvm/constant/tag.lux b/stdlib/source/library/lux/target/jvm/constant/tag.lux index 9b15c3401..157532f8e 100644 --- a/stdlib/source/library/lux/target/jvm/constant/tag.lux +++ b/stdlib/source/library/lux/target/jvm/constant/tag.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [abstract [equivalence (.only Equivalence)]] [control @@ -9,7 +9,7 @@ [format [binary (.only Writer)]]] [type - [primitive "*"]]]] + [primitive (.full)]]]] ["[0]" /// "_" [encoding ["[1][0]" unsigned (.only U1) ("u1//[0]" equivalence)]]]) diff --git a/stdlib/source/library/lux/target/jvm/encoding/name.lux b/stdlib/source/library/lux/target/jvm/encoding/name.lux index 029758c23..ead09ae87 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/name.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/name.lux @@ -1,11 +1,11 @@ (.using [library - [lux "*" + [lux (.full) [data ["[0]" text ["%" format (.only format)]]] [type - [primitive "*"]]]]) + [primitive (.full)]]]]) (def: .public internal_separator "/") (def: .public external_separator ".") diff --git a/stdlib/source/library/lux/target/jvm/encoding/signed.lux b/stdlib/source/library/lux/target/jvm/encoding/signed.lux index cc7e0ad0f..5e4e6ab8f 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/signed.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/signed.lux @@ -20,7 +20,7 @@ ["n" nat] ["i" int]]] [type - [primitive "*"]]]]) + [primitive (.full)]]]]) (primitive: .public (Signed brand) Int diff --git a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux index 5f9b18470..a9796e99e 100644 --- a/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux +++ b/stdlib/source/library/lux/target/jvm/encoding/unsigned.lux @@ -19,7 +19,7 @@ ["n" nat] ["[0]" i64]]] [type - [primitive "*"]]]]) + [primitive (.full)]]]]) (primitive: .public (Unsigned brand) Nat diff --git a/stdlib/source/library/lux/target/jvm/index.lux b/stdlib/source/library/lux/target/jvm/index.lux index ea295478a..341d0a48a 100644 --- a/stdlib/source/library/lux/target/jvm/index.lux +++ b/stdlib/source/library/lux/target/jvm/index.lux @@ -1,13 +1,13 @@ (.using [library - [lux "*" + [lux (.full) [abstract ["[0]" equivalence (.only Equivalence)]] [data [format [binary (.only Writer)]]] [type - [primitive "*"]]]] + [primitive (.full)]]]] ["[0]" // "_" [encoding ["[1][0]" unsigned (.only U2)]]]) diff --git a/stdlib/source/library/lux/target/jvm/loader.lux b/stdlib/source/library/lux/target/jvm/loader.lux index 7e5d090e7..a7870f8fa 100644 --- a/stdlib/source/library/lux/target/jvm/loader.lux +++ b/stdlib/source/library/lux/target/jvm/loader.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) ["@" target] ["[0]" ffi (.only import: object do_to)] [abstract diff --git a/stdlib/source/library/lux/target/jvm/magic.lux b/stdlib/source/library/lux/target/jvm/magic.lux index 756104ae4..f47f24a6c 100644 --- a/stdlib/source/library/lux/target/jvm/magic.lux +++ b/stdlib/source/library/lux/target/jvm/magic.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [control ["[0]" try]] [math diff --git a/stdlib/source/library/lux/target/jvm/modifier.lux b/stdlib/source/library/lux/target/jvm/modifier.lux index 825abf133..8a33a6da9 100644 --- a/stdlib/source/library/lux/target/jvm/modifier.lux +++ b/stdlib/source/library/lux/target/jvm/modifier.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [abstract ["[0]" equivalence (.only Equivalence)] ["[0]" monoid (.only Monoid)]] @@ -18,7 +18,7 @@ ["[0]" number (.only hex) ["[0]" i64]]] [type - [primitive "*"]]]] + [primitive (.full)]]]] ["[0]" // "_" [encoding ["[1][0]" unsigned]]]) diff --git a/stdlib/source/library/lux/target/jvm/type.lux b/stdlib/source/library/lux/target/jvm/type.lux index 4f9497869..919f972eb 100644 --- a/stdlib/source/library/lux/target/jvm/type.lux +++ b/stdlib/source/library/lux/target/jvm/type.lux @@ -15,7 +15,7 @@ [number ["n" nat]]] [type - [primitive "*"]]]] + [primitive (.full)]]]] ["[0]" // "_" [encoding ["[1][0]" name (.only External)]]] diff --git a/stdlib/source/library/lux/target/jvm/type/category.lux b/stdlib/source/library/lux/target/jvm/type/category.lux index 6fe041146..8899f1c2f 100644 --- a/stdlib/source/library/lux/target/jvm/type/category.lux +++ b/stdlib/source/library/lux/target/jvm/type/category.lux @@ -4,7 +4,7 @@ [macro ["[0]" template]] [type - [primitive "*"]]]]) + [primitive (.full)]]]]) (primitive: Void' Any) (primitive: .public (Value' kind) Any) diff --git a/stdlib/source/library/lux/target/jvm/type/descriptor.lux b/stdlib/source/library/lux/target/jvm/type/descriptor.lux index 8561c3156..42c62c7d0 100644 --- a/stdlib/source/library/lux/target/jvm/type/descriptor.lux +++ b/stdlib/source/library/lux/target/jvm/type/descriptor.lux @@ -14,7 +14,7 @@ [number ["n" nat]]] [type - [primitive "*"]]]] + [primitive (.full)]]]] ["[0]" // "_" [category (.only Void Value Return Method Primitive Object Class Array Var Parameter Declaration)] ["/[1]" // "_" diff --git a/stdlib/source/library/lux/target/jvm/type/lux.lux b/stdlib/source/library/lux/target/jvm/type/lux.lux index 79aef5f06..b36f30f5f 100644 --- a/stdlib/source/library/lux/target/jvm/type/lux.lux +++ b/stdlib/source/library/lux/target/jvm/type/lux.lux @@ -16,7 +16,7 @@ ["[0]" array] ["[0]" dictionary (.only Dictionary)]]] [type - [primitive "*"] + [primitive (.full)] ["[0]" check (.only Check) ("[1]#[0]" monad)]]]] ["[0]" // [category (.only Void Value Return Method Primitive Object Class Array Var Parameter)] diff --git a/stdlib/source/library/lux/target/jvm/type/reflection.lux b/stdlib/source/library/lux/target/jvm/type/reflection.lux index 057c4f6d2..69ace7d12 100644 --- a/stdlib/source/library/lux/target/jvm/type/reflection.lux +++ b/stdlib/source/library/lux/target/jvm/type/reflection.lux @@ -7,7 +7,7 @@ ["[0]" text ("[1]#[0]" equivalence) ["%" format (.only format)]]] [type - [primitive "*"]]]] + [primitive (.full)]]]] ["[0]" // "_" [category (.only Void Value Return Method Primitive Object Class Array Var Parameter Declaration)] ["[1][0]" descriptor] diff --git a/stdlib/source/library/lux/target/jvm/type/signature.lux b/stdlib/source/library/lux/target/jvm/type/signature.lux index 49000a408..442dfc471 100644 --- a/stdlib/source/library/lux/target/jvm/type/signature.lux +++ b/stdlib/source/library/lux/target/jvm/type/signature.lux @@ -12,7 +12,7 @@ [collection ["[0]" list ("[1]#[0]" functor)]]] [type - [primitive "*"]]]] + [primitive (.full)]]]] ["[0]" // "_" [category (.only Void Value Return Method Primitive Object Class Array Var Parameter Declaration Inheritance)] ["[1][0]" descriptor] diff --git a/stdlib/source/library/lux/target/jvm/version.lux b/stdlib/source/library/lux/target/jvm/version.lux index 029c95d21..f6c6a4d9e 100644 --- a/stdlib/source/library/lux/target/jvm/version.lux +++ b/stdlib/source/library/lux/target/jvm/version.lux @@ -1,6 +1,6 @@ (.using [library - [lux "*" + [lux (.full) [control ["[0]" try]]]] ["[0]" // "_" |