aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEduardo Julian2022-01-19 06:06:10 -0400
committerEduardo Julian2022-01-19 06:06:10 -0400
commitf47fb7404bcbd9fac5df8697e57e08f03ec468ac (patch)
tree0e744df7371ffbfed6fac03911e4a1982f32a0ec
parent4fb3c45f9d0e91cbfe5714c7de2189cddb0abad7 (diff)
Fixes for the pure-Lux JVM compiler machinery. [Part 8]
Diffstat (limited to '')
-rw-r--r--documentation/bookmark/back_end/c++.md4
-rw-r--r--lux-jvm/source/luxc/lang/translation/jvm/runtime.lux9
-rw-r--r--stdlib/source/documentation/lux/tool/compiler/language/lux/analysis.lux4
-rw-r--r--stdlib/source/library/lux.lux124
-rw-r--r--stdlib/source/library/lux/control/parser/analysis.lux9
-rw-r--r--stdlib/source/library/lux/data/text/escape.lux38
-rw-r--r--stdlib/source/library/lux/target/ruby.lux53
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux102
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux (renamed from stdlib/source/library/lux/tool/compiler/language/lux/analysis/composite.lux)8
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux27
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux14
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux10
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux53
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux31
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux116
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux3
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux2
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux19
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux10
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux12
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux6
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux14
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux18
-rw-r--r--stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux16
-rw-r--r--stdlib/source/library/lux/tool/compiler/meta/archive/dependency.lux8
-rw-r--r--stdlib/source/test/lux/data.lux44
-rw-r--r--stdlib/source/test/lux/data/text/escape.lux62
-rw-r--r--stdlib/source/test/lux/target/ruby.lux68
-rw-r--r--stdlib/source/test/lux/tool.lux9
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux439
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux (renamed from stdlib/source/test/lux/tool/compiler/language/lux/analysis/composite.lux)4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux108
37 files changed, 1080 insertions, 388 deletions
diff --git a/documentation/bookmark/back_end/c++.md b/documentation/bookmark/back_end/c++.md
new file mode 100644
index 000000000..63919fe0b
--- /dev/null
+++ b/documentation/bookmark/back_end/c++.md
@@ -0,0 +1,4 @@
+# Reference
+
+0. [Exceptional C++ - Victor Ciura - CppCon 2021](https://www.youtube.com/watch?v=SjlfhyZn2yA)
+
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
index 518e921cd..cec04d529 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/runtime.lux
@@ -31,7 +31,8 @@
["[0]" generation]]]
[meta
[archive {"+" Output}
- ["[0]" artifact {"+" Registry}]]]]]]]
+ ["[0]" artifact]
+ ["[0]" registry {"+" Registry}]]]]]]]
[luxc
[lang
[host
@@ -412,10 +413,10 @@
[runtime_payload ..translate_runtime
... function_payload ..translate_function
]
- (in [(|> artifact.empty
- (artifact.resource true artifact.no_dependencies)
+ (in [(|> registry.empty
+ (registry.resource true artifact.no_dependencies)
product.right
- ... (artifact.resource true artifact.no_dependencies)
+ ... (registry.resource true artifact.no_dependencies)
... product.right
)
(sequence.sequence runtime_payload
diff --git a/stdlib/source/documentation/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/documentation/lux/tool/compiler/language/lux/analysis.lux
index 92f6991ab..153ed2a11 100644
--- a/stdlib/source/documentation/lux/tool/compiler/language/lux/analysis.lux
+++ b/stdlib/source/documentation/lux/tool/compiler/language/lux/analysis.lux
@@ -31,7 +31,7 @@
($.default /.composite_equivalence)
($.default /.composite_hash)
($.default /.equivalence)
- ($.default /.control/case)
+ ($.default /.case)
($.default /.unit)
($.default /.bit)
($.default /.nat)
@@ -60,7 +60,7 @@
($.default /.pattern/frac)
($.default /.pattern/text)
($.default /.pattern/bind)
- ($.default /.%analysis)
+ ($.default /.format)
($.default /.State+)
($.default /.Operation)
($.default /.Phase)
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index 9655f0afa..4ae552aba 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -2079,42 +2079,98 @@
(in_meta (list token))}
token))
-(def:''' .private (full_expansion syntax)
- (-> Code ($' Meta ($' List Code)))
- ({[_ {#Form {#Item [_ {#Symbol name}] args}}]
- (do meta_monad
- [name' (normal name)
- ?macro (macro' name')]
- ({{#Some macro}
- (do meta_monad
- [expansion (("lux type as" Macro' macro) args)
- expansion' (monad#each meta_monad full_expansion expansion)]
- (in (list#conjoint expansion')))
-
- {#None}
- (do meta_monad
- [args' (monad#each meta_monad full_expansion args)]
- (in (list (form$ {#Item (symbol$ name) (list#conjoint args')}))))}
- ?macro))
+(def:''' .private (full_expansion' full_expansion name args)
+ (-> (-> Code ($' Meta ($' List Code))) Symbol ($' List Code) ($' Meta ($' List Code)))
+ (do meta_monad
+ [name' (normal name)
+ ?macro (macro' name')]
+ ({{#Some macro}
+ (do meta_monad
+ [expansion (("lux type as" Macro' macro) args)
+ expansion' (monad#each meta_monad full_expansion expansion)]
+ (in (list#conjoint expansion')))
+
+ {#None}
+ (do meta_monad
+ [args' (monad#each meta_monad full_expansion args)]
+ (in (list (form$ {#Item (symbol$ name) (list#conjoint args')}))))}
+ ?macro)))
- [_ {#Form members}]
- (do meta_monad
- [members' (monad#each meta_monad full_expansion members)]
- (in (list (form$ (list#conjoint members')))))
+(def:''' .private (in_module module meta)
+ (All (_ a)
+ (-> Text ($' Meta a) ($' Meta a)))
+ (function' [lux]
+ ({[..#info info ..#source source
+ ..#current_module current_module ..#modules modules
+ ..#scopes scopes ..#type_context type_context
+ ..#host host ..#seed seed
+ ..#expected expected ..#location location
+ ..#extensions extensions ..#scope_type_vars scope_type_vars
+ ..#eval eval]
+ ({{#Left error}
+ {#Left error}
+
+ {#Right [[..#info info' ..#source source'
+ ..#current_module _ ..#modules modules'
+ ..#scopes scopes' ..#type_context type_context'
+ ..#host host' ..#seed seed'
+ ..#expected expected' ..#location location'
+ ..#extensions extensions' ..#scope_type_vars scope_type_vars'
+ ..#eval eval']
+ output]}
+ {#Right [[..#info info' ..#source source'
+ ..#current_module current_module ..#modules modules'
+ ..#scopes scopes' ..#type_context type_context'
+ ..#host host' ..#seed seed'
+ ..#expected expected' ..#location location'
+ ..#extensions extensions' ..#scope_type_vars scope_type_vars'
+ ..#eval eval']
+ output]}}
+ (meta [..#info info ..#source source
+ ..#current_module {.#Some module} ..#modules modules
+ ..#scopes scopes ..#type_context type_context
+ ..#host host ..#seed seed
+ ..#expected expected ..#location location
+ ..#extensions extensions ..#scope_type_vars scope_type_vars
+ ..#eval eval]))}
+ lux)))
+
+(def:''' .private (full_expansion expand_in_module?)
+ (-> Bit Code ($' Meta ($' List Code)))
+ (function' again [syntax]
+ ({[_ {#Form {#Item head tail}}]
+ ({[_ {#Form {#Item [_ {#Text "lux in-module"}]
+ {#Item [_ {#Text module}]
+ {#Item [_ {#Symbol name}]
+ {#End}}}}}]
+ (if expand_in_module?
+ (..in_module module (..full_expansion' again name tail))
+ (do meta_monad
+ [members' (monad#each meta_monad again {#Item head tail})]
+ (in (list (form$ (list#conjoint members'))))))
+
+ [_ {#Symbol name}]
+ (..full_expansion' again name tail)
- [_ {#Variant members}]
- (do meta_monad
- [members' (monad#each meta_monad full_expansion members)]
- (in (list (variant$ (list#conjoint members')))))
+ _
+ (do meta_monad
+ [members' (monad#each meta_monad again {#Item head tail})]
+ (in (list (form$ (list#conjoint members')))))}
+ head)
- [_ {#Tuple members}]
- (do meta_monad
- [members' (monad#each meta_monad full_expansion members)]
- (in (list (tuple$ (list#conjoint members')))))
+ [_ {#Variant members}]
+ (do meta_monad
+ [members' (monad#each meta_monad again members)]
+ (in (list (variant$ (list#conjoint members')))))
- _
- (in_meta (list syntax))}
- syntax))
+ [_ {#Tuple members}]
+ (do meta_monad
+ [members' (monad#each meta_monad again members)]
+ (in (list (tuple$ (list#conjoint members')))))
+
+ _
+ (in_meta (list syntax))}
+ syntax)))
(def:''' .private (text#encoded original)
(-> Text Text)
@@ -2218,7 +2274,7 @@
[initialized_quantification? (function' [lux] {#Right [lux (initialized_quantification? lux)]})]
(if initialized_quantification?
(do meta_monad
- [type+ (full_expansion type)]
+ [type+ (full_expansion #0 type)]
({{#Item type' {#End}}
(in (list (normal_type type')))
@@ -2381,7 +2437,7 @@
(case tokens
{#Item [_ {#Form {#Item pattern {#End}}}] {#Item body branches}}
(do meta_monad
- [pattern+ (full_expansion pattern)]
+ [pattern+ (full_expansion #1 pattern)]
(case pattern+
{#Item pattern' {#End}}
(in (list& pattern' body branches))
diff --git a/stdlib/source/library/lux/control/parser/analysis.lux b/stdlib/source/library/lux/control/parser/analysis.lux
index 73889de68..fbe5f943c 100644
--- a/stdlib/source/library/lux/control/parser/analysis.lux
+++ b/stdlib/source/library/lux/control/parser/analysis.lux
@@ -30,24 +30,23 @@
[variable {"+" }]]
[language
[lux
- ["/" analysis {"+" Environment Analysis}
- ["[1][0]" composite]]]]]]]]
+ ["/" analysis {"+" Environment Analysis}]]]]]]]
["[0]" //])
(def: (remaining_inputs asts)
(-> (List Analysis) Text)
(format text.new_line "Remaining input: "
(|> asts
- (list#each /.%analysis)
+ (list#each /.format)
(text.interposed " "))))
(exception: .public (cannot_parse [input (List Analysis)])
(exception.report
- ["Input" (exception.listing /.%analysis input)]))
+ ["Input" (exception.listing /.format input)]))
(exception: .public (unconsumed_input [input (List Analysis)])
(exception.report
- ["Input" (exception.listing /.%analysis input)]))
+ ["Input" (exception.listing /.format input)]))
(type: .public Parser
(//.Parser (List Analysis)))
diff --git a/stdlib/source/library/lux/data/text/escape.lux b/stdlib/source/library/lux/data/text/escape.lux
index d3bfa17b0..c30343aac 100644
--- a/stdlib/source/library/lux/data/text/escape.lux
+++ b/stdlib/source/library/lux/data/text/escape.lux
@@ -1,23 +1,23 @@
(.using
- [library
- [lux "*"
- ["[0]" meta]
- [abstract
- [monad {"+" do}]]
- [control
- ["[0]" maybe]
- ["[0]" try {"+" Try}]
- ["[0]" exception {"+" exception:}]
- ["<>" parser
- ["<[0]>" code]]]
- [math
- [number {"+" hex}
- ["n" nat]]]
- [macro
- [syntax {"+" syntax:}]
- ["[0]" code]]]]
- ["[0]" // {"+" Char}
- ["%" format {"+" format}]])
+ [library
+ [lux "*"
+ ["[0]" meta]
+ [abstract
+ [monad {"+" do}]]
+ [control
+ ["[0]" maybe]
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" exception:}]
+ ["<>" parser
+ ["<[0]>" code]]]
+ [math
+ [number {"+" hex}
+ ["n" nat]]]
+ [macro
+ [syntax {"+" syntax:}]
+ ["[0]" code]]]]
+ ["[0]" // {"+" Char}
+ ["%" format {"+" format}]])
(def: sigil "\")
diff --git a/stdlib/source/library/lux/target/ruby.lux b/stdlib/source/library/lux/target/ruby.lux
index eb3c30c2f..1d96e72ff 100644
--- a/stdlib/source/library/lux/target/ruby.lux
+++ b/stdlib/source/library/lux/target/ruby.lux
@@ -77,6 +77,7 @@
[Literal [Computation' Expression' Code]]
[Access [Location' Computation' Expression' Code]]
+ [CVar [Var' Location' Computation' Expression' Code]]
[GVar [Var' Location' Computation' Expression' Code]]
[IVar [Var' Location' Computation' Expression' Code]]
[SVar [Var' Location' Computation' Expression' Code]]
@@ -89,15 +90,13 @@
(-> Text <var>)
(|>> (format <prefix>) :abstraction))]
+ [LVar "l_" local]
+ [CVar "C_" constant]
[GVar "$" global]
[IVar "@" instance]
[SVar "@@" static]
)
- (def: .public local
- (-> Text LVar)
- (|>> :abstraction))
-
(template [<var> <prefix> <modifier> <unpacker>]
[(template [<name> <input> <output>]
[(def: .public <name>
@@ -133,7 +132,8 @@
(template [<ruby_name> <lux_name>]
[(def: .public <lux_name>
- (..local <ruby_name>))]
+ CVar
+ (..manual <ruby_name>))]
["ARGV" command_line_arguments]
)
@@ -367,6 +367,10 @@
[break "break"]
)
+ (def: .public initialize
+ LVar
+ (..manual "initialize"))
+
(def: .public (function name args body!)
(-> LVar (List LVar) Statement Statement)
(<| :abstraction
@@ -433,27 +437,34 @@
(:abstraction (format "# " (..safe commentary) \n+
(:representation on))))
- (def: .public (class name definition)
- (-> LVar Statement Statement)
- (:abstraction
- (format "class " (:representation name)
- (control_structure
- (nested
- (:representation definition))))))
-
- (def: .public (attribute_readers attributes)
- (-> (List Text) Statement)
- (..statement
- (..apply/* (list#each ..string attributes) {.#None} (..local "attr_reader"))))
+ (template [<name>]
+ [(`` (def: .public ((~~ (template.symbol [<name> "/*"])) attributes)
+ (-> (List Text) Statement)
+ (..statement
+ (..apply/* (list#each ..string attributes) {.#None} (..manual <name>)))))]
+
+ ["attr_reader"]
+ ["attr_writer"]
+ ["attr_accessor"])
)
(def: .public (do method arguments block object)
(-> Text (List Expression) (Maybe Block) Expression Computation)
(|> object (..the method) (..apply/* arguments block)))
+(def: .public new
+ (-> (List Expression) (Maybe Block) Expression Computation)
+ (..do "new"))
+
+(def: .public (class definition)
+ (-> Block Computation)
+ (|> (..manual "Class")
+ (..new (list) {.#Some definition})))
+
(def: .public (apply_lambda/* args lambda)
(-> (List Expression) Expression Computation)
- (..do "call" args {.#None} lambda))
+ (|> lambda
+ (..do "call" args {.#None})))
(syntax: (arity_inputs [arity <code>.nat])
(in (case arity
@@ -473,7 +484,7 @@
(template [<function>]
[(`` (def: .public ((~~ (template.symbol [<function> "/" <arity>])) <inputs>)
(-> <types> Computation)
- (..apply/* (.list <inputs>) {.#None} (..local <function>))))]
+ (..apply/* (.list <inputs>) {.#None} (..manual <function>))))]
<definitions>))]
@@ -490,8 +501,8 @@
(def: .public (throw/1 error)
(-> Expression Statement)
- (..statement (..apply/* (list error) {.#None} (..local "throw"))))
+ (..statement (..apply/* (list error) {.#None} (..manual "throw"))))
(def: .public (throw/2 tag value)
(-> Expression Expression Statement)
- (..statement (..apply/* (list tag value) {.#None} (..local "throw"))))
+ (..statement (..apply/* (list tag value) {.#None} (..manual "throw"))))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
index 108c5670e..0f1d59581 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux {"-" Tuple Variant nat int rev}
+ [lux {"-" Tuple Variant nat int rev case}
[abstract
[equivalence {"+" Equivalence}]
[hash {"+" Hash}]
@@ -9,14 +9,18 @@
["[0]" function]
["[0]" maybe]
["[0]" try]
- ["[0]" exception {"+" Exception}]]
+ ["[0]" exception {"+" Exception}]
+ [parser
+ ["<[0]>" code]]]
[data
["[0]" product]
["[0]" bit ("[1]#[0]" equivalence)]
["[0]" text ("[1]#[0]" equivalence)
- ["%" format {"+" Format format}]]
+ ["%" format {"+" Format}]]
[collection
["[0]" list ("[1]#[0]" functor mix)]]]
+ [macro
+ [syntax {"+" syntax:}]]
[math
[number
["n" nat]
@@ -27,14 +31,14 @@
["[0]" location]]]]
["[0]" / "_"
["[1][0]" simple {"+" Simple}]
- ["[1][0]" composite {"+" Tuple Variant Composite}]
+ ["[1][0]" complex {"+" Tuple Variant Complex}]
["[1][0]" pattern {"+" Pattern}]
[//
[phase
["[0]" extension {"+" Extension}]]
[///
[arity {"+" Arity}]
- [version {"+" Version}]
+ ["[0]" version {"+" Version}]
["[0]" phase]
["[0]" reference {"+" Reference}
["[0]" variable {"+" Register Variable}]]]]])
@@ -54,7 +58,7 @@
(Rec Analysis
(.Variant
{#Simple Simple}
- {#Structure (Composite Analysis)}
+ {#Structure (Complex Analysis)}
{#Reference Reference}
{#Case Analysis (Match' Analysis)}
{#Function (Environment Analysis) Analysis}
@@ -78,12 +82,12 @@
(Equivalence Analysis)
(def: (= reference sample)
- (case [reference sample]
+ (.case [reference sample]
[{#Simple reference} {#Simple sample}]
(# /simple.equivalence = reference sample)
[{#Structure reference} {#Structure sample}]
- (# (/composite.equivalence =) = reference sample)
+ (# (/complex.equivalence =) = reference sample)
[{#Reference reference} {#Reference sample}]
(# reference.equivalence = reference sample)
@@ -113,7 +117,7 @@
[(template: .public (<name> content)
[{<tag> content}])]
- [control/case ..#Case]
+ [case ..#Case]
)
(template: .public (unit)
@@ -156,7 +160,7 @@
(-> Analysis (Application Analysis))
(loop [abstraction analysis
inputs (list)]
- (case abstraction
+ (.case abstraction
{#Apply input next}
(again next {.#Item input inputs})
@@ -164,16 +168,16 @@
[abstraction inputs])))
(template [<name> <tag>]
- [(template: .public (<name> content)
- [(.<| {..#Reference}
- <tag>
- content)])]
+ [(syntax: .public (<name> [content <code>.any])
+ (in (list (` (.<| {..#Reference}
+ <tag>
+ (~ content))))))]
[variable {reference.#Variable}]
[constant {reference.#Constant}]
- [variable/local (reference.local)]
- [variable/foreign (reference.foreign)]
+ [variable/local ((~! reference.local))]
+ [variable/foreign ((~! reference.foreign))]
)
(template [<name> <tag>]
@@ -182,47 +186,54 @@
{<tag>}
content)])]
- [variant /composite.#Variant]
- [tuple /composite.#Tuple]
+ [variant /complex.#Variant]
+ [tuple /complex.#Tuple]
)
-(def: .public (%analysis analysis)
+(def: .public (format analysis)
(Format Analysis)
- (case analysis
+ (.case analysis
{#Simple it}
(/simple.format it)
{#Structure it}
- (/composite.format %analysis it)
+ (/complex.format format it)
{#Reference reference}
(reference.format reference)
{#Case analysis match}
- "{?}"
+ (%.format "({"
+ (|> {.#Item match}
+ (list#each (function (_ [when then])
+ (%.format (/pattern.format when) " " (format then))))
+ (text.interposed " "))
+ "} "
+ (format analysis)
+ ")")
{#Function environment body}
- (|> (%analysis body)
- (format " ")
- (format (|> environment
- (list#each %analysis)
- (text.interposed " ")
- (text.enclosed ["[" "]"])))
+ (|> (format body)
+ (%.format " ")
+ (%.format (|> environment
+ (list#each format)
+ (text.interposed " ")
+ (text.enclosed ["[" "]"])))
(text.enclosed ["(" ")"]))
{#Apply _}
(|> analysis
..application
{.#Item}
- (list#each %analysis)
+ (list#each format)
(text.interposed " ")
(text.enclosed ["(" ")"]))
{#Extension name parameters}
(|> parameters
- (list#each %analysis)
+ (list#each format)
(text.interposed " ")
- (format (%.text name) " ")
+ (%.format (%.text name) " ")
(text.enclosed ["(" ")"]))))
(template [<special> <general>]
@@ -240,7 +251,7 @@
(All (_ a) (-> Source (Operation a) (Operation a)))
(function (_ [bundle state])
(let [old_source (value@ .#source state)]
- (case (action [bundle (with@ .#source source state)])
+ (.case (action [bundle (with@ .#source source state)])
{try.#Success [[bundle' state'] output]}
{try.#Success [[bundle' (with@ .#source old_source state')]
output]}
@@ -263,9 +274,9 @@
(def: .public (with_scope action)
(All (_ a) (-> (Operation a) (Operation [Scope a])))
(function (_ [bundle state])
- (case (action [bundle (revised@ .#scopes (|>> {.#Item fresh_scope}) state)])
+ (.case (action [bundle (revised@ .#scopes (|>> {.#Item fresh_scope}) state)])
{try.#Success [[bundle' state'] output]}
- (case (value@ .#scopes state')
+ (.case (value@ .#scopes state')
{.#Item head tail}
{try.#Success [[bundle' (with@ .#scopes tail state')]
[head output]]}
@@ -283,7 +294,7 @@
(def: .public (without_scopes action)
(All (_ a) (-> (Operation a) (Operation a)))
(function (_ [bundle state])
- (case (action [bundle (with@ .#scopes ..scope_reset state)])
+ (.case (action [bundle (with@ .#scopes ..scope_reset state)])
{try.#Success [[bundle' state'] output]}
{try.#Success [[bundle' (with@ .#scopes (value@ .#scopes state) state')]
output]}
@@ -303,7 +314,7 @@
action
(function (_ [bundle state])
(let [old_location (value@ .#location state)]
- (case (action [bundle (with@ .#location location state)])
+ (.case (action [bundle (with@ .#location location state)])
{try.#Success [[bundle' state'] output]}
{try.#Success [[bundle' (with@ .#location old_location state')]
output]}
@@ -313,8 +324,8 @@
(def: (locate_error location error)
(-> Location Text Text)
- (format (%.location location) text.new_line
- error))
+ (%.format (%.location location) text.new_line
+ error))
(def: .public (failure error)
(-> Text Operation)
@@ -331,20 +342,11 @@
(# phase.monad in [])
(..except exception parameters)))
-(def: .public (failure' error)
- (-> Text (phase.Operation Lux))
- (function (_ state)
- {try.#Failure (locate_error (value@ .#location state) error)}))
-
-(def: .public (except' exception parameters)
- (All (_ e) (-> (Exception e) e (phase.Operation Lux)))
- (..failure' (exception.error exception parameters)))
-
(def: .public (with_stack exception message action)
(All (_ e o) (-> (Exception e) e (Operation o) (Operation o)))
(function (_ bundle,state)
- (case (exception.with exception message
- (action bundle,state))
+ (.case (exception.with exception message
+ (action bundle,state))
{try.#Success output}
{try.#Success output}
@@ -389,7 +391,7 @@
(def: .public (info version host)
(-> Version Text Info)
[.#target host
- .#version (%.nat version)
+ .#version (version.format version)
.#mode {.#Build}])
(def: .public (state info)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/composite.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux
index c85f332f9..b3a2f635f 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/composite.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/complex.lux
@@ -23,7 +23,7 @@
(type: .public (Tuple a)
(List a))
-(type: .public (Composite a)
+(type: .public (Complex a)
(.Variant
{#Variant (Variant a)}
{#Tuple (Tuple a)}))
@@ -50,7 +50,7 @@
right?]))
(implementation: .public (equivalence (^open "/#[0]"))
- (All (_ a) (-> (Equivalence a) (Equivalence (Composite a))))
+ (All (_ a) (-> (Equivalence a) (Equivalence (Complex a))))
(def: (= reference sample)
(case [reference sample]
@@ -67,7 +67,7 @@
false)))
(implementation: .public (hash super)
- (All (_ a) (-> (Hash a) (Hash (Composite a))))
+ (All (_ a) (-> (Hash a) (Hash (Complex a))))
(def: &equivalence
(..equivalence (# super &equivalence)))
@@ -86,7 +86,7 @@
)))
(def: .public (format %it it)
- (All (_ a) (-> (Format a) (Format (Composite a))))
+ (All (_ a) (-> (Format a) (Format (Complex a))))
(case it
{#Variant [lefts right? it]}
(%.format "{" (%.nat lefts) " " (%.bit right?) " " (%it it) "}")
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux
index 9aaf606ac..21b6218ba 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/analysis/pattern.lux
@@ -3,21 +3,24 @@
[lux {"-" nat int rev}
[abstract
[equivalence {"+" Equivalence}]]
+ [data
+ [text
+ ["%" format {"+" Format}]]]
[math
[number
["n" nat]]]]]
["[0]" // "_"
["[1][0]" simple {"+" Simple}]
- ["[1][0]" composite {"+" Composite}]
+ ["[1][0]" complex {"+" Complex}]
[////
[reference
- [variable {"+" Register}]]]])
+ ["[1][0]" variable {"+" Register}]]]])
(type: .public Pattern
(Rec Pattern
(.Variant
{#Simple Simple}
- {#Complex (Composite Pattern)}
+ {#Complex (Complex Pattern)}
{#Bind Register})))
(implementation: .public equivalence
@@ -29,7 +32,7 @@
(# //simple.equivalence = reference sample)
[{#Complex reference} {#Complex sample}]
- (# (//composite.equivalence =) = reference sample)
+ (# (//complex.equivalence =) = reference sample)
[{#Bind reference} {#Bind sample}]
(n.= reference sample)
@@ -37,14 +40,26 @@
_
false)))
+(def: .public (format it)
+ (Format Pattern)
+ (case it
+ {#Simple it}
+ (//simple.format it)
+
+ {#Complex it}
+ (//complex.format format it)
+
+ {#Bind it}
+ (//variable.format {//variable.#Local it})))
+
(template [<name> <tag>]
[(template: .public (<name> content)
[(.<| {..#Complex}
<tag>
content)])]
- [variant {//composite.#Variant}]
- [tuple {//composite.#Tuple}]
+ [variant {//complex.#Variant}]
+ [tuple {//complex.#Tuple}]
)
(template: .public (unit)
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
index 03ff2ea6e..e2d411efe 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case.lux
@@ -32,7 +32,7 @@
[//
["/" analysis {"+" Analysis Operation Phase}
["[1][0]" simple]
- ["[1][0]" composite]
+ ["[1][0]" complex]
["[1][0]" pattern {"+" Pattern}]]
[///
["[1]" phase]]]]]])
@@ -287,7 +287,7 @@
(let [flat_sum (type.flat_variant inputT')
size_sum (list.size flat_sum)
num_cases (maybe.else size_sum num_tags)
- idx (/composite.tag right? lefts)]
+ idx (/complex.tag right? lefts)]
(.case (list.item idx flat_sum)
(^multi {.#Some caseT}
(n.< num_cases idx))
@@ -324,7 +324,7 @@
[idx group variantT] (///extension.lifted (meta.tag tag))
_ (//type.with_env
(check.check inputT variantT))
- .let [[lefts right?] (/composite.choice (list.size group) idx)]]
+ .let [[lefts right?] (/complex.choice (list.size group) idx)]]
(analyse_pattern {.#Some (list.size group)} inputT (` {(~ (code.nat lefts)) (~ (code.bit right?)) (~+ values)}) next)))
_
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux
index aa66b8c01..7ec92c76b 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux
@@ -26,7 +26,7 @@
[//
["/" analysis {"+" Operation}
["[1][0]" simple]
- ["[1][0]" composite]
+ ["[1][0]" complex]
["[1][0]" pattern {"+" Pattern}]]
[///
["[1]" phase ("[1]#[0]" monad)]]]])
@@ -140,7 +140,7 @@
... Tuple patterns can be exhaustive if there is exhaustiveness for all of
... their sub-patterns.
- {/pattern.#Complex {/composite.#Tuple membersP+}}
+ {/pattern.#Complex {/complex.#Tuple membersP+}}
(case (list.reversed membersP+)
(^or {.#End} {.#Item _ {.#End}})
(/.except ..invalid_tuple_pattern [])
@@ -162,7 +162,7 @@
... Variant patterns can be shown to be exhaustive if all the possible
... cases are handled exhaustively.
- {/pattern.#Complex {/composite.#Variant [lefts right? value]}}
+ {/pattern.#Complex {/complex.#Variant [lefts right? value]}}
(do ////.monad
[value_coverage (determine value)
.let [idx (if right?
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux
index 6c94f14bd..6c0b9a429 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/inference.lux
@@ -23,7 +23,7 @@
["[1][0]" extension]
[//
["/" analysis {"+" Analysis Operation Phase}
- [composite {"+" Tag}]]
+ [complex {"+" Tag}]]
[///
["[1]" phase ("[1]#[0]" monad)]
[meta
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux
index 76cf4f82a..3ca157f38 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/module.lux
@@ -132,7 +132,8 @@
[]]}
{.#Some already_existing}
- ((/.except' ..cannot_define_more_than_once [[self_name name] already_existing]) state))))))
+ ((///extension.up (/.except ..cannot_define_more_than_once [[self_name name] already_existing]))
+ state))))))
(def: .public (create hash name)
(-> Nat Text (Operation Any))
@@ -167,11 +168,12 @@
(plist.has module_name (with@ .#module_state {<tag>} module))
state)
[]]}
- ((/.except' can_only_change_state_of_active_module [module_name {<tag>}])
+ ((///extension.up (/.except can_only_change_state_of_active_module [module_name {<tag>}]))
state)))
{.#None}
- ((/.except' unknown_module module_name) state)))))
+ ((///extension.up (/.except unknown_module module_name))
+ state)))))
(def: .public (<asker> module_name)
(-> Text (Operation Bit))
@@ -185,7 +187,8 @@
_ #0)]}
{.#None}
- ((/.except' unknown_module module_name) state)))))]
+ ((///extension.up (/.except unknown_module module_name))
+ state)))))]
[set_active active? .#Active]
[set_compiled compiled? .#Compiled]
@@ -201,7 +204,8 @@
{try.#Success [state (value@ .#module_hash module)]}
{.#None}
- ((/.except' unknown_module module_name) state)))))
+ ((///extension.up (/.except unknown_module module_name))
+ state)))))
(def: .public (declare_tags record? tags exported? type)
(-> Bit (List Tag) Bit Type (Operation Any))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
index abee40e63..87337d8b6 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/reference.lux
@@ -21,10 +21,12 @@
["[1]" phase]]]]])
(exception: .public (foreign_module_has_not_been_imported [current Text
- foreign Text])
+ foreign Text
+ definition Symbol])
(exception.report
["Current" current]
- ["Foreign" foreign]))
+ ["Foreign" foreign]
+ ["Definition" (%.symbol definition)]))
(exception: .public (definition_has_not_been_exported [definition Symbol])
(exception.report
@@ -55,7 +57,7 @@
[imported! (///extension.lifted (meta.imported_by? ::module current))]
(if imported!
<return>
- (/.except foreign_module_has_not_been_imported [current ::module])))
+ (/.except foreign_module_has_not_been_imported [current ::module def_name])))
(/.except definition_has_not_been_exported def_name))))
{.#Type [exported? value labels]}
@@ -70,7 +72,7 @@
[imported! (///extension.lifted (meta.imported_by? ::module current))]
(if imported!
<return>
- (/.except foreign_module_has_not_been_imported [current ::module])))
+ (/.except foreign_module_has_not_been_imported [current ::module def_name])))
(/.except definition_has_not_been_exported def_name))))
{.#Tag _}
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux
index 54eca8afb..bcc0a82fe 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/analysis/structure.lux
@@ -33,7 +33,7 @@
["[1][0]" extension]
[//
["/" analysis {"+" Analysis Operation Phase}
- ["[1][0]" composite {"+" Tag}]]
+ ["[1][0]" complex {"+" Tag}]]
[///
["[1]" phase]
[meta
@@ -109,7 +109,7 @@
(def: .public (sum analyse lefts right? archive)
(-> Phase Nat Bit Phase)
- (let [tag (/composite.tag right? lefts)]
+ (let [tag (/complex.tag right? lefts)]
(function (again valueC)
(do [! ///.monad]
[expectedT (///extension.lifted meta.expected_type)
@@ -290,7 +290,7 @@
[tag (///extension.lifted (meta.normal tag))
[idx group variantT] (///extension.lifted (meta.tag tag))
.let [case_size (list.size group)
- [lefts right?] (/composite.choice case_size idx)]
+ [lefts right?] (/complex.choice case_size idx)]
expectedT (///extension.lifted meta.expected_type)]
(case expectedT
{.#Var _}
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
index 568e061a6..0f1848eff 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension.lux
@@ -1,25 +1,25 @@
(.using
- [library
- [lux "*"
- [abstract
- [equivalence {"+" Equivalence}]
- [hash {"+" Hash}]
- ["[0]" monad {"+" do}]]
- [control
- ["[0]" function]
- ["[0]" try {"+" Try}]
- ["[0]" exception {"+" exception:}]]
- [data
- ["[0]" product]
- ["[0]" text ("[1]#[0]" order)
- ["%" format {"+" Format format}]]
- [collection
- ["[0]" list]
- ["[0]" dictionary {"+" Dictionary}]]]]]
- [/////
- ["//" phase]
- [meta
- [archive {"+" Archive}]]])
+ [library
+ [lux "*"
+ [abstract
+ [equivalence {"+" Equivalence}]
+ [hash {"+" Hash}]
+ ["[0]" monad {"+" do}]]
+ [control
+ ["[0]" function]
+ ["[0]" try {"+" Try}]
+ ["[0]" exception {"+" exception:}]]
+ [data
+ ["[0]" product]
+ ["[0]" text ("[1]#[0]" order)
+ ["%" format {"+" Format format}]]
+ [collection
+ ["[0]" list]
+ ["[0]" dictionary {"+" Dictionary}]]]]]
+ [/////
+ ["//" phase]
+ [meta
+ [archive {"+" Archive}]]])
(type: .public Name
Text)
@@ -180,3 +180,14 @@
{try.#Failure error}
{try.#Failure error})))
+
+(def: .public (up it)
+ (All (_ s i o v)
+ (-> (Operation s i o v) (//.Operation s v)))
+ (function (_ state)
+ (case (it [..empty state])
+ {try.#Success [[_ state'] output]}
+ {try.#Success [state' output]}
+
+ {try.#Failure error}
+ {try.#Failure error})))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
index db5642a25..1e6c6af8e 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/analysis/jvm.lux
@@ -51,7 +51,7 @@
["[0]" scope]]
["/[1]" // "_"
["[1][0]" analysis {"+" Analysis Operation Phase Handler Bundle}
- ["[1]/[0]" composite]
+ ["[1]/[0]" complex]
["[1]/[0]" pattern]]
["[1][0]" synthesis]
[///
@@ -169,7 +169,9 @@
... TODO: Get rid of this template block and use the definition in
... lux/ffi.jvm.lux ASAP
(template [<name> <class>]
- [(def: .public <name> .Type {.#Primitive <class> {.#End}})]
+ [(def: .public <name>
+ .Type
+ {.#Primitive <class> {.#End}})]
... Boxes
[Boolean box.boolean]
@@ -206,7 +208,7 @@
(Record
[#method .Type
#deprecated? Bit
- #exceptions (List .Type)]))
+ #throws (List .Type)]))
(template [<name>]
[(exception: .public (<name> [type .Type])
@@ -1749,6 +1751,27 @@
(<code>.tuple (<>.some ..class))
<code>.any)))
+(type: .public (Method_Declaration a)
+ (Record
+ [#name Text
+ #annotations (List (Annotation a))
+ #type_variables (List (Type Var))
+ #exceptions (List (Type Class))
+ #arguments (List (Type Value))
+ #return (Type Return)]))
+
+(def: .public method_declaration
+ (Parser (Method_Declaration Code))
+ (<code>.form
+ ($_ <>.and
+ <code>.text
+ (<code>.tuple (<>.some ..annotation))
+ (<code>.tuple (<>.some ..var))
+ (<code>.tuple (<>.some ..class))
+ (<code>.tuple (<>.some ..type))
+ ..return
+ )))
+
(def: .public (analyse_virtual_method analyse archive selfT mapping method)
(-> Phase Archive .Type Mapping (Virtual_Method Code) (Operation Analysis))
(let [[method_name visibility
@@ -1982,7 +2005,7 @@
{/////analysis.#Case (/////analysis.unit)
[[/////analysis.#when
{/////analysis/pattern.#Complex
- {/////analysis/composite.#Tuple
+ {/////analysis/complex.#Tuple
(|> arity
list.indices
(list#each (|>> (n.+ 2) {/////analysis/pattern.#Bind})))}}
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
index b7693e24b..5442fafdb 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/extension/directive/jvm.lux
@@ -7,8 +7,8 @@
[control
[pipe {"+" case>}]
["<>" parser ("[1]#[0]" monad)
- ["<c>" code {"+" Parser}]
- ["<t>" text]]]
+ ["<[0]>" code {"+" Parser}]
+ ["<[0]>" text]]]
[data
["[0]" product]
[text
@@ -16,7 +16,9 @@
[collection
["[0]" list ("[1]#[0]" functor mix)]
["[0]" dictionary]
- ["[0]" sequence]]]
+ ["[0]" sequence]]
+ ["[0]" format "_"
+ ["[1]" binary]]]
[macro
["[0]" template]]
[math
@@ -29,13 +31,14 @@
["[0]" attribute]
["[0]" field]
["[0]" version]
+ ["[0]" method {"+" Method}]
["[0]" class]
["[0]" constant
["[0]" pool {"+" Resource}]]
[encoding
- ["[0]" name]]
+ ["[0]" name {"+" External}]]
["[0]" type {"+" Type Constraint Argument Typed}
- [category {"+" Void Value Return Method Primitive Object Class Array Var Parameter}]
+ [category {"+" Void Value Return Primitive Object Class Array Var Parameter}]
["[0]T" lux {"+" Mapping}]
["[0]" signature]
["[0]" descriptor {"+" Descriptor}]
@@ -44,7 +47,8 @@
[compiler
["[0]" phase]
[meta
- [archive {"+" Archive}]]
+ [archive {"+" Archive}
+ ["[0]" artifact]]]
[language
[lux
["[0]" analysis]
@@ -56,7 +60,7 @@
["[0]A" type]]
[generation
[jvm
- [runtime {"+" Anchor Definition Extender}]]]
+ ["[0]" runtime {"+" Anchor Definition Extender}]]]
["[0]" extension
["[0]" bundle]
[analysis
@@ -76,13 +80,13 @@
(def: declaration
(Parser Declaration)
- (<c>.form (<>.and <c>.text (<>.some jvm.var))))
+ (<code>.form (<>.and <code>.text (<>.some jvm.var))))
(def: visibility
(Parser (Modifier field.Field))
(`` ($_ <>.either
(~~ (template [<label> <modifier>]
- [(<>.after (<c>.text! <label>) (<>#in <modifier>))]
+ [(<>.after (<code>.text! <label>) (<>#in <modifier>))]
["public" field.public]
["private" field.private]
@@ -93,7 +97,7 @@
(Parser (Modifier class.Class))
(`` ($_ <>.either
(~~ (template [<label> <modifier>]
- [(<>.after (<c>.text! <label>) (<>#in <modifier>))]
+ [(<>.after (<code>.text! <label>) (<>#in <modifier>))]
["final" class.final]
["abstract" class.abstract]
@@ -103,7 +107,7 @@
(Parser (Modifier field.Field))
(`` ($_ <>.either
(~~ (template [<label> <modifier>]
- [(<>.after (<c>.text! <label>) (<>#in <modifier>))]
+ [(<>.after (<code>.text! <label>) (<>#in <modifier>))]
["volatile" field.volatile]
["final" field.final]
@@ -113,24 +117,24 @@
(def: annotation
(Parser Annotation)
- <c>.any)
+ <code>.any)
(def: field_type
(Parser (Type Value))
- (<t>.then parser.value <c>.text))
+ (<text>.then parser.value <code>.text))
(type: Constant
[Text (List Annotation) (Type Value) Code])
(def: constant
(Parser Constant)
- (<| <c>.form
- (<>.after (<c>.text! "constant"))
+ (<| <code>.form
+ (<>.after (<code>.text! "constant"))
($_ <>.and
- <c>.text
- (<c>.tuple (<>.some ..annotation))
+ <code>.text
+ (<code>.tuple (<>.some ..annotation))
..field_type
- <c>.any
+ <code>.any
)))
(type: Variable
@@ -138,13 +142,13 @@
(def: variable
(Parser Variable)
- (<| <c>.form
- (<>.after (<c>.text! "variable"))
+ (<| <code>.form
+ (<>.after (<code>.text! "variable"))
($_ <>.and
- <c>.text
+ <code>.text
..visibility
..state
- (<c>.tuple (<>.some ..annotation))
+ (<code>.tuple (<>.some ..annotation))
..field_type
)))
@@ -254,11 +258,11 @@
[($_ <>.and
..declaration
jvm.class
- (<c>.tuple (<>.some jvm.class))
+ (<code>.tuple (<>.some jvm.class))
..inheritance
- (<c>.tuple (<>.some ..annotation))
- (<c>.tuple (<>.some ..field))
- (<c>.tuple (<>.some ..method)))
+ (<code>.tuple (<>.some ..annotation))
+ (<code>.tuple (<>.some ..field))
+ (<code>.tuple (<>.some ..method)))
(function (_ extension phase archive
[[name parameters]
super_class
@@ -304,9 +308,66 @@
... (list) ... TODO: Add methods
... (sequence.sequence))]))
_ (directive.lifted_generation
- (generation.log! (format "Class " name)))]
+ (generation.log! (format "JVM Class " name)))]
(in directive.no_requirements)))]))
+(def: (method_declaration (^open "it[0]"))
+ (-> (jvm.Method_Declaration Code) (Resource Method))
+ (let [type (type.method [it#type_variables it#arguments it#return it#exceptions])]
+ (method.method ($_ modifier#composite
+ method.public
+ method.abstract)
+ it#name
+ type
+ (list)
+ {.#None})))
+
+(template [<name> <type> <parser>]
+ [(def: <name>
+ (Parser <type>)
+ (do [! <>.monad]
+ [raw <code>.text]
+ (<>.lifted (<text>.result <parser> raw))))]
+
+ [class_declaration [External (List (Type Var))] parser.declaration']
+ )
+
+(def: jvm::class::interface
+ (Handler Anchor (Bytecode Any) Definition)
+ (/.custom
+ [($_ <>.and
+ ..class_declaration
+ (<code>.tuple (<>.some jvm.class))
+ (<code>.tuple (<>.some ..annotation))
+ (<>.some jvm.method_declaration))
+ (function (_ extension_name phase archive [[name parameters] supers annotations method_declarations])
+ (directive.lifted_generation
+ (do [! phase.monad]
+ [bytecode (<| (# ! each (format.result class.writer))
+ phase.lifted
+ (class.class version.v6_0
+ ($_ modifier#composite
+ class.public
+ class.abstract
+ class.interface)
+ (name.internal name)
+ (name.internal "java.lang.Object")
+ (list#each (|>> parser.read_class product.left name.internal)
+ supers)
+ (list)
+ (list#each ..method_declaration method_declarations)
+ (sequence.sequence)))
+ ... module generation.module
+ ... module_id (generation.module_id module archive)
+ artifact_id (generation.learn_custom name artifact.no_dependencies)
+ .let [artifact [name
+ ... (runtime.class_name [module_id artifact_id])
+ bytecode]]
+ _ (generation.execute! artifact)
+ _ (generation.save! artifact_id {.#Some name} artifact)
+ _ (generation.log! (format "JVM Interface " (%.text name)))]
+ (in directive.no_requirements))))]))
+
(import: java/lang/ClassLoader)
(def: .public (bundle class_loader extender)
@@ -315,4 +376,5 @@
(|> bundle.empty
... TODO: Finish handling methods and un-comment.
... (dictionary.has "class" jvm::class)
+ (dictionary.has "class interface" ..jvm::class::interface)
)))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux
index c166c3aed..ffd226015 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/case.lux
@@ -324,4 +324,5 @@
value!
//runtime.push
path!
- (_.set_label @end)))))
+ (<| (_.when_acknowledged @end)
+ (_.set_label @end))))))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux
index e7cfad2c2..4b0b2c145 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/jvm/structure.lux
@@ -24,7 +24,7 @@
["///[1]" //// "_"
["[1][0]" synthesis {"+" Synthesis}]
[analysis
- [composite {"+" Variant Tuple}]]
+ [complex {"+" Variant Tuple}]]
[///
["[0]" phase]]]])
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
index d82d5e7ba..bccbf9fff 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/generation/ruby/runtime.lux
@@ -82,12 +82,17 @@
(def: module_id
0)
+(def: $Numeric
+ !.CVar
+ (_.manual "Numeric"))
+
(def: mruby?
_.Expression
- (_.and (_.not (_.do "method_defined?" (list (_.string "remainder")) {.#None}
- (_.local "Numeric")))
- (_.do "method_defined?" (list (_.string "remainder_of_divide")) {.#None}
- (_.local "Numeric"))))
+ (_.and (|> $Numeric
+ (_.do "method_defined?" (list (_.string "remainder")) {.#None})
+ _.not)
+ (|> $Numeric
+ (_.do "method_defined?" (list (_.string "remainder_of_divide")) {.#None}))))
(def: normal_ruby?
_.Expression
@@ -107,8 +112,8 @@
(case declaration
{.#Left name}
(macro.with_symbols [g!_]
- (let [runtime (code.local_symbol (format "C" (///reference.artifact [..module_id runtime_id])))
- runtime_name (` (_.local (~ (code.text (%.code runtime)))))
+ (let [runtime (code.local_symbol (///reference.artifact [..module_id runtime_id]))
+ runtime_name (` (_.constant (~ (code.text (%.code runtime)))))
g!name (code.local_symbol name)]
(in (list (` (def: .public (~ g!name) LVar (~ runtime_name)))
(` (def: (~ (code.local_symbol (format "@" name)))
@@ -602,7 +607,7 @@
(_.statement
(_.alias_method/2 (_.string "remainder")
(_.string "remainder_of_divide")))]}
- (_.local "Numeric"))))
+ $Numeric)))
runtime//adt
runtime//lux
runtime//i64
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux
index 7edfdb599..428e3438c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis.lux
@@ -20,7 +20,7 @@
["/" synthesis {"+" Synthesis Phase}]
["[1][0]" analysis {"+" Analysis}
["[2][0]" simple]
- ["[2][0]" composite]]
+ ["[2][0]" complex]]
[///
["[0]" phase ("[1]#[0]" monad)]
[reference {"+"}
@@ -59,12 +59,12 @@
{///analysis.#Structure structure}
(/.with_currying? false
(case structure
- {///composite.#Variant variant}
+ {///complex.#Variant variant}
(do phase.monad
- [valueS (optimization' (value@ ///composite.#value variant))]
- (in (/.variant (with@ ///composite.#value valueS variant))))
+ [valueS (optimization' (value@ ///complex.#value variant))]
+ (in (/.variant (with@ ///complex.#value valueS variant))))
- {///composite.#Tuple tuple}
+ {///complex.#Tuple tuple}
(|> tuple
(monad.each phase.monad optimization')
(phase#each (|>> /.tuple)))))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux
index 89d432d68..c4e0c5fad 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/case.lux
@@ -23,7 +23,7 @@
["/" synthesis {"+" Path Synthesis Operation Phase}]
["[1][0]" analysis {"+" Match Analysis}
["[2][0]" simple]
- ["[2][0]" composite]
+ ["[2][0]" complex]
["[2][0]" pattern {"+" Pattern}]]
[///
["[1]" phase ("[1]#[0]" monad)]
@@ -65,7 +65,7 @@
/.with_new_local
thenC)
- {///pattern.#Complex {///composite.#Variant [lefts right? value_pattern]}}
+ {///pattern.#Complex {///complex.#Variant [lefts right? value_pattern]}}
(<| (///#each (|>> {/.#Seq {/.#Access {/.#Side (if right?
{.#Right lefts}
{.#Left lefts})}}}))
@@ -73,7 +73,7 @@
(when> [(new> (not end?) [])] [(///#each ..clean_up)])
thenC)
- {///pattern.#Complex {///composite.#Tuple tuple}}
+ {///pattern.#Complex {///complex.#Tuple tuple}}
(let [tuple::last (-- (list.size tuple))]
(list#mix (function (_ [tuple::lefts tuple::member] nextC)
(.case tuple::member
@@ -194,7 +194,7 @@
<default>)))
(def: (get patterns @selection)
- (-> (///composite.Tuple Pattern) Register (List /.Member))
+ (-> (///complex.Tuple Pattern) Register (List /.Member))
(loop [lefts 0
patterns patterns]
(with_expansions [<failure> (as_is (list))
@@ -217,7 +217,7 @@
(list <member>)
<continue>)
- {///pattern.#Complex {///composite.#Tuple sub_patterns}}
+ {///pattern.#Complex {///complex.#Tuple sub_patterns}}
(case (get sub_patterns @selection)
{.#End}
<continue>
@@ -266,7 +266,7 @@
(.list)]])
(def: .public (synthesize_get synthesize archive input patterns @member)
- (-> Phase Archive Synthesis (///composite.Tuple Pattern) Register (Operation Synthesis))
+ (-> Phase Archive Synthesis (///complex.Tuple Pattern) Register (Operation Synthesis))
(case (..get patterns @member)
{.#End}
(..synthesize_case synthesize archive input (!get patterns @member))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
index 5e171165e..d7fa84bfd 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/function.lux
@@ -20,7 +20,7 @@
["[1][0]" loop {"+" Transform}]
["//[1]" /// "_"
["[1][0]" analysis {"+" Environment Analysis}
- ["[1]/[0]" composite]]
+ ["[1]/[0]" complex]]
["/" synthesis {"+" Path Abstraction Synthesis Operation Phase}]
[///
[arity {"+" Arity}]
@@ -144,12 +144,12 @@
(case expression
{/.#Structure structure}
(case structure
- {////analysis/composite.#Variant [lefts right? subS]}
+ {////analysis/complex.#Variant [lefts right? subS]}
(|> subS
(grow environment)
(phase#each (|>> [lefts right?] /.variant)))
- {////analysis/composite.#Tuple membersS+}
+ {////analysis/complex.#Tuple membersS+}
(|> membersS+
(monad.each phase.monad (grow environment))
(phase#each (|>> /.tuple))))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux
index eea8ea951..080bc436c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/loop.lux
@@ -13,7 +13,7 @@
["n" nat]]]]]
[////
["[0]" analysis {"+" Environment}
- ["[1]/[0]" composite]]
+ ["[1]/[0]" complex]]
["/" synthesis {"+" Path Abstraction Synthesis}]
[///
[arity {"+" Arity}]
@@ -85,14 +85,14 @@
{/.#Structure structure}
(case structure
- {analysis/composite.#Variant variant}
+ {analysis/complex.#Variant variant}
(do maybe.monad
- [value' (|> variant (value@ analysis/composite.#value) (again false))]
+ [value' (|> variant (value@ analysis/complex.#value) (again false))]
(in (|> variant
- (with@ analysis/composite.#value value')
+ (with@ analysis/complex.#value value')
/.variant)))
- {analysis/composite.#Tuple tuple}
+ {analysis/complex.#Tuple tuple}
(|> tuple
(monad.each maybe.monad (again false))
(maybe#each (|>> /.tuple))))
@@ -191,11 +191,11 @@
matches (monad.each !
(function (_ match)
(case match
- (^ {/.#Structure {analysis/composite.#Tuple (list when then)}})
+ (^ {/.#Structure {analysis/complex.#Tuple (list when then)}})
(do !
[when (again false when)
then (again return? then)]
- (in {/.#Structure {analysis/composite.#Tuple (list when then)}}))
+ (in {/.#Structure {analysis/complex.#Tuple (list when then)}}))
_
(again false match)))
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
index 0389a03af..2d9e8ce5c 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
@@ -21,7 +21,7 @@
[////
["/" synthesis {"+" Path Synthesis}]
["[0]" analysis
- ["[1]/[0]" composite]]
+ ["[1]/[0]" complex]]
[///
[arity {"+" Arity}]
["[0]" reference
@@ -113,11 +113,11 @@
{/.#Structure structure}
{/.#Structure (case structure
- {analysis/composite.#Variant [lefts right value]}
- {analysis/composite.#Variant [lefts right (again value)]}
+ {analysis/complex.#Variant [lefts right value]}
+ {analysis/complex.#Variant [lefts right (again value)]}
- {analysis/composite.#Tuple tuple}
- {analysis/composite.#Tuple (list#each again tuple)})}
+ {analysis/complex.#Tuple tuple}
+ {analysis/complex.#Tuple (list#each again tuple)})}
{/.#Reference reference}
(case reference
@@ -336,17 +336,17 @@
{/.#Structure structure}
(case structure
- {analysis/composite.#Variant [lefts right value]}
+ {analysis/complex.#Variant [lefts right value]}
(do try.monad
[[redundancy value] (optimization' [redundancy value])]
(in [redundancy
- {/.#Structure {analysis/composite.#Variant [lefts right value]}}]))
+ {/.#Structure {analysis/complex.#Variant [lefts right value]}}]))
- {analysis/composite.#Tuple tuple}
+ {analysis/complex.#Tuple tuple}
(do try.monad
[[redundancy tuple] (..list_optimization optimization' [redundancy tuple])]
(in [redundancy
- {/.#Structure {analysis/composite.#Tuple tuple}}])))
+ {/.#Structure {analysis/complex.#Tuple tuple}}])))
{/.#Reference reference}
(case reference
diff --git a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
index 2bd2bd22e..f2b061315 100644
--- a/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
+++ b/stdlib/source/library/lux/tool/compiler/language/lux/synthesis.lux
@@ -26,7 +26,7 @@
["f" frac]]]]]
[//
["[0]" analysis {"+" Environment Analysis}
- ["[1]/[0]" composite {"+" Composite}]]
+ ["[1]/[0]" complex {"+" Complex}]]
[phase
["[0]" extension {"+" Extension}]]
[///
@@ -132,7 +132,7 @@
(Rec Synthesis
(Variant
{#Primitive Primitive}
- {#Structure (Composite Synthesis)}
+ {#Structure (Complex Synthesis)}
{#Reference Reference}
{#Control (Control Synthesis)}
{#Extension (Extension Synthesis)})))
@@ -239,8 +239,8 @@
{<tag>}
content)])]
- [variant analysis/composite.#Variant]
- [tuple analysis/composite.#Tuple]
+ [variant analysis/complex.#Variant]
+ [tuple analysis/complex.#Tuple]
)
(template [<name> <tag>]
@@ -351,12 +351,12 @@
{#Structure structure}
(case structure
- {analysis/composite.#Variant [lefts right? content]}
+ {analysis/complex.#Variant [lefts right? content]}
(|> (%synthesis content)
(format (%.nat lefts) " " (%.bit right?) " ")
(text.enclosed ["{" "}"]))
- {analysis/composite.#Tuple members}
+ {analysis/complex.#Tuple members}
(|> members
(list#each %synthesis)
(text.interposed " ")
@@ -776,7 +776,7 @@
[[{<tag> reference'} {<tag> sample'}]
(# <equivalence> = reference' sample')])
([#Primitive ..primitive_equivalence]
- [#Structure (analysis/composite.equivalence =)]
+ [#Structure (analysis/complex.equivalence =)]
[#Reference reference.equivalence]
[#Control (control_equivalence =)]
[#Extension (extension.equivalence =)])
@@ -800,7 +800,7 @@
[{<tag> value}
(# <hash> hash value)])
([#Primitive ..primitive_hash]
- [#Structure (analysis/composite.hash again_hash)]
+ [#Structure (analysis/complex.hash again_hash)]
[#Reference reference.hash]
[#Control (..control_hash again_hash)]
[#Extension (extension.hash again_hash)])))))
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/dependency.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/dependency.lux
index 0962b5b61..1e6613015 100644
--- a/stdlib/source/library/lux/tool/compiler/meta/archive/dependency.lux
+++ b/stdlib/source/library/lux/tool/compiler/meta/archive/dependency.lux
@@ -24,7 +24,7 @@
[language
[lux
["[0]" analysis
- ["[1]/[0]" composite]]
+ ["[1]/[0]" complex]]
["[0]" synthesis {"+" Synthesis Path}]
["[0]" generation {"+" Context Operation}]]]
[meta
@@ -81,12 +81,12 @@
{synthesis.#Structure value}
(case value
- {analysis/composite.#Variant value}
+ {analysis/complex.#Variant value}
(|> value
- (value@ analysis/composite.#value)
+ (value@ analysis/complex.#value)
references)
- {analysis/composite.#Tuple value}
+ {analysis/complex.#Tuple value}
(|> value
(list#each references)
list#conjoint))
diff --git a/stdlib/source/test/lux/data.lux b/stdlib/source/test/lux/data.lux
index 40112aeb9..631a72b76 100644
--- a/stdlib/source/test/lux/data.lux
+++ b/stdlib/source/test/lux/data.lux
@@ -1,26 +1,26 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [monad {"+" do}]]
- [math
- ["[0]" random]]]]
- ["[0]" / "_"
- ["[1][0]" binary]
- ["[1][0]" bit]
- ["[1][0]" color
- ["[1]/[0]" named]]
- ["[1][0]" identity]
- ["[1][0]" product]
- ["[1][0]" sum]
- ["[1][0]" text]
- ["[1][0]" format "_"
- ["[1]/[0]" binary]
- ["[1]/[0]" json]
- ["[1]/[0]" tar]
- ["[1]/[0]" xml]]
- ["[1][0]" collection]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [monad {"+" do}]]
+ [math
+ ["[0]" random]]]]
+ ["[0]" / "_"
+ ["[1][0]" binary]
+ ["[1][0]" bit]
+ ["[1][0]" color
+ ["[1]/[0]" named]]
+ ["[1][0]" identity]
+ ["[1][0]" product]
+ ["[1][0]" sum]
+ ["[1][0]" text]
+ ["[1][0]" format "_"
+ ["[1]/[0]" binary]
+ ["[1]/[0]" json]
+ ["[1]/[0]" tar]
+ ["[1]/[0]" xml]]
+ ["[1][0]" collection]])
... TODO: Get rid of this ASAP
(template: (!bundle body)
diff --git a/stdlib/source/test/lux/data/text/escape.lux b/stdlib/source/test/lux/data/text/escape.lux
index 7a55f2594..6abb32e94 100644
--- a/stdlib/source/test/lux/data/text/escape.lux
+++ b/stdlib/source/test/lux/data/text/escape.lux
@@ -1,35 +1,35 @@
(.using
- [library
- [lux "*"
- ["_" test {"+" Test}]
- ["[0]" debug]
- ["[0]" meta]
- [abstract
- [monad {"+" do}]]
- [control
- ["[0]" try]
- ["[0]" exception]
- [parser
- ["<[0]>" code]]]
- [data
- ["[0]" bit ("[1]#[0]" equivalence)]
- ["[0]" text {"+" Char} ("[1]#[0]" equivalence)
- ["%" format {"+" format}]]
- [collection
- ["[0]" set {"+" Set}]]]
- [macro
- [syntax {"+" syntax:}]
- ["[0]" code]
- ["[0]" template]]
- [math
- ["[0]" random {"+" Random}]
- [number {"+" hex}
- ["n" nat]]]]]
- [\\library
- ["[0]" /
- [//
- ["[0]" unicode "_"
- ["[1]" set]]]]])
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ ["[0]" debug]
+ ["[0]" meta]
+ [abstract
+ [monad {"+" do}]]
+ [control
+ ["[0]" try]
+ ["[0]" exception]
+ [parser
+ ["<[0]>" code]]]
+ [data
+ ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" text {"+" Char} ("[1]#[0]" equivalence)
+ ["%" format {"+" format}]]
+ [collection
+ ["[0]" set {"+" Set}]]]
+ [macro
+ [syntax {"+" syntax:}]
+ ["[0]" code]
+ ["[0]" template]]
+ [math
+ ["[0]" random {"+" Random}]
+ [number {"+" hex}
+ ["n" nat]]]]]
+ [\\library
+ ["[0]" /
+ [//
+ ["[0]" unicode "_"
+ ["[1]" set]]]]])
(def: (range max min)
(-> Char Char (Random Char))
diff --git a/stdlib/source/test/lux/target/ruby.lux b/stdlib/source/test/lux/target/ruby.lux
index 5e2cecbde..2a2f9667d 100644
--- a/stdlib/source/test/lux/target/ruby.lux
+++ b/stdlib/source/test/lux/target/ruby.lux
@@ -230,7 +230,21 @@
(do [! random.monad]
[size (# ! each (|>> (n.% 10) ++) random.nat)
index (# ! each (n.% size) random.nat)
- items (random.list size random.safe_frac)]
+ items (random.list size random.safe_frac)
+ $class (# ! each (|>> %.nat (format "class_") /.local)
+ random.nat)
+ $method/0 (# ! each (|>> %.nat (format "method_") /.local)
+ random.nat)
+ $method/1 (|> random.nat
+ (# ! each (|>> %.nat (format "method_") /.local))
+ (random.only (|>> (# /.equivalence = $method/0) not)))
+ $arg/0 (# ! each (|>> %.nat (format "arg_") /.local)
+ random.nat)
+ $state (# ! each (|>> %.nat (format "instance_") /.instance)
+ random.nat)
+ single random.safe_frac
+ .let [double (/.function $method/0 (list $arg/0)
+ (/.return (/.+ $arg/0 $arg/0)))]]
($_ _.and
(_.cover [/.the]
(expression (|>> (:as Int) (i.= (.int size)))
@@ -243,6 +257,44 @@
(|>> (:as Frac) (f.= expected)))
(|> (/.array (list#each /.float items))
(/.do "at" (list (/.int (.int index))) {.#None}))))
+ (_.cover [/.class]
+ (expression (|>> (:as Frac) (f.= (f.+ single single)))
+ (|> ($_ /.then
+ (/.set (list $class) (/.class [/.#parameters (list)
+ /.#body double]))
+ (/.return (|> $class
+ (/.new (list) {.#None})
+ (/.do (/.code $method/0) (list (/.float single)) {.#None}))))
+ [(list)] (/.lambda {.#None})
+ (/.apply_lambda/* (list)))))
+ (_.cover [/.new /.initialize]
+ (expression (|>> (:as Frac) (f.= single))
+ (|> ($_ /.then
+ (/.set (list $class) (/.class [/.#parameters (list)
+ /.#body ($_ /.then
+ (/.function /.initialize (list $arg/0)
+ (/.set (list $state) $arg/0))
+ (/.function $method/0 (list)
+ (/.return $state))
+ )]))
+ (/.return (|> $class
+ (/.new (list (/.float single)) {.#None})
+ (/.do (/.code $method/0) (list) {.#None}))))
+ [(list)] (/.lambda {.#None})
+ (/.apply_lambda/* (list)))))
+ (_.cover [/.alias_method/2]
+ (expression (|>> (:as Frac) (f.= (f.+ single single)))
+ (|> ($_ /.then
+ (/.set (list $class) (/.class [/.#parameters (list)
+ /.#body ($_ /.then
+ double
+ (/.statement (/.alias_method/2 (/.string (/.code $method/1))
+ (/.string (/.code $method/0)))))]))
+ (/.return (|> $class
+ (/.new (list) {.#None})
+ (/.do (/.code $method/1) (list (/.float single)) {.#None}))))
+ [(list)] (/.lambda {.#None})
+ (/.apply_lambda/* (list)))))
)))
(def: test|computation
@@ -306,6 +358,16 @@
($_ _.and
(<| (_.for [/.Var])
($_ _.and
+ (_.cover [/.defined?/1]
+ (and (expression (|>> (:as Bit))
+ (|> (/.defined?/1 $foreign)
+ (/.= /.nil)))
+ (expression (|>> (:as Text) (text#= "local-variable"))
+ (|> ($_ /.then
+ (/.set (list $foreign) (/.float float/0))
+ (/.return (/.defined?/1 $foreign)))
+ [(list)] (/.lambda {.#None})
+ (/.apply_lambda/* (list))))))
(_.cover [/.LVar /.local /.set]
(expression (|>> (:as Frac) (f.= (f.+ float/0 float/0)))
(|> ($_ /.then
@@ -534,7 +596,7 @@
(/.statement (/.raise (/.string error)))
(/.return (/.float dummy)))
(list [(list) $ex (/.return ($_ /.and
- (/.do "kind_of?" (list (/.local "Array")) {.#None} /.latest_error_location)
+ (/.do "kind_of?" (list (: /.CVar (/.manual "Array"))) {.#None} /.latest_error_location)
(/.> (/.int +0) (/.the "length" /.latest_error_location))))]))
[(list)] (/.lambda {.#None})
(/.apply_lambda/* (list))))))
@@ -652,7 +714,7 @@
[(list $arg/0 $arg/1)] (/.lambda {.#None})
(/.apply_lambda/* (list (/.float float/0) (/.float float/1))))))
(_.cover [/.require/1]
- (let [$JSON (/.local "JSON")]
+ (let [$JSON (: /.CVar (/.manual "JSON"))]
(expression (|>> (:as Text) (text#= expected))
(|> ($_ /.then
(/.statement (/.require/1 (/.string "json")))
diff --git a/stdlib/source/test/lux/tool.lux b/stdlib/source/test/lux/tool.lux
index 6dc3eabd9..635322a92 100644
--- a/stdlib/source/test/lux/tool.lux
+++ b/stdlib/source/test/lux/tool.lux
@@ -11,10 +11,7 @@
[language
[lux
... ["[1][0]" syntax]
- ["[1][0]" analysis "_"
- ["[1]/[0]" simple]
- ["[1]/[0]" composite]
- ["[1]/[0]" pattern]]
+ ["[1][0]" analysis]
["[1][0]" phase "_"
["[1]/[0]" extension]
... ["[1]/[0]" analysis]
@@ -35,9 +32,7 @@
/version.test
/reference.test
/phase.test
- /analysis/simple.test
- /analysis/composite.test
- /analysis/pattern.test
+ /analysis.test
/meta/archive/artifact.test
/meta/archive/signature.test
/meta/archive/key.test
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux
new file mode 100644
index 000000000..210d6d29a
--- /dev/null
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis.lux
@@ -0,0 +1,439 @@
+(.using
+ [library
+ [lux "*"
+ ["_" test {"+" Test}]
+ ["[0]" static]
+ [abstract
+ [monad {"+" do}]
+ [\\specification
+ ["$[0]" equivalence]]]
+ [control
+ [pipe {"+" case>}]
+ ["[0]" maybe]
+ ["[0]" try]
+ ["[0]" exception {"+" exception:}]]
+ [data
+ ["[0]" bit ("[1]#[0]" equivalence)]
+ ["[0]" text ("[1]#[0]" equivalence)]
+ [collection
+ ["[0]" list]]]
+ [macro
+ ["[0]" template]]
+ [math
+ ["[0]" random {"+" Random} ("[1]#[0]" monad)]
+ [number
+ ["f" frac]]]]]
+ ["[0]" / "_"
+ ["[1][0]" simple]
+ ["[1][0]" complex]
+ ["[1][0]" pattern]
+ [////
+ ["[1][0]" reference
+ ["[2][0]" variable]]
+ [///
+ [meta
+ ["[1][0]" symbol]
+ ["[0]" location "_"
+ ["[2][1]" /]
+ ["[1]" \\library ("[1]#[0]" equivalence)]]]]]]
+ [\\library
+ ["[0]" /
+ [//
+ [phase
+ ["[0]" extension]]
+ [///
+ ["[0]" phase]
+ ["[0]" version]]]]])
+
+(def: (random_branch random)
+ (All (_ a) (-> (Random a) (Random (/.Branch' a))))
+ ($_ random.and
+ /pattern.random
+ random
+ ))
+
+(def: (random_match multiplicity random)
+ (All (_ a) (-> Nat (Random a) (Random (/.Match' a))))
+ ($_ random.and
+ (..random_branch random)
+ (random.list multiplicity (..random_branch random))
+ ))
+
+(def: .public (random multiplicity)
+ (-> Nat (Random /.Analysis))
+ (<| random.rec
+ (function (_ random))
+ (let [random|case ($_ random.and
+ random
+ (..random_match multiplicity random)
+ )
+ random|function ($_ random.and
+ (random.list multiplicity random)
+ random
+ )
+ random|apply ($_ random.and
+ random
+ random
+ )
+ random|extension ($_ random.and
+ (random.ascii/lower 1)
+ (random.list multiplicity random)
+ )])
+ ($_ random.or
+ /simple.random
+ (/complex.random multiplicity random)
+ /reference.random
+ random|case
+ random|function
+ random|apply
+ random|extension
+ )))
+
+(def: test|simple
+ Test
+ (do random.monad
+ [bit random.bit
+ nat random.nat
+ int random.int
+ rev random.rev
+ frac random.frac
+ text (random.ascii/lower 1)]
+ (`` ($_ _.and
+ (_.cover [/.unit]
+ (case (/.unit)
+ (^ (/.unit))
+ true
+
+ _
+ false))
+ (~~ (template [<tag> <expected>]
+ [(_.cover [<tag>]
+ (case (<tag> <expected>)
+ (^ (<tag> actual))
+ (same? <expected> actual)
+
+ _
+ false))]
+
+ [/.bit bit]
+ [/.nat nat]
+ [/.int int]
+ [/.rev rev]
+ [/.frac frac]
+ [/.text text]))
+ ))))
+
+(def: test|complex
+ Test
+ (do random.monad
+ [expected_left (..random 2)
+ expected_right (..random 2)
+ expected_lefts random.nat
+ expected_right? random.bit]
+ ($_ _.and
+ (_.cover [/.variant]
+ (let [expected (if expected_right?
+ expected_right
+ expected_left)]
+ (case (/.variant [expected_lefts expected_right? expected])
+ (^ (/.variant [actual_lefts actual_right? actual]))
+ (and (same? expected_lefts actual_lefts)
+ (same? expected_right? actual_right?)
+ (same? expected actual))
+
+ _
+ false)))
+ (_.cover [/.tuple]
+ (case (/.tuple (list expected_left expected_right))
+ (^ (/.tuple (list actual_left actual_right)))
+ (and (same? expected_left actual_left)
+ (same? expected_right actual_right))
+
+ _
+ false))
+ )))
+
+(def: test|reference
+ Test
+ (do random.monad
+ [expected_register random.nat
+ expected_constant (/symbol.random 1 1)
+ expected_variable /variable.random]
+ (`` ($_ _.and
+ (~~ (template [<tag> <expected>]
+ [(_.cover [<tag>]
+ (case (<tag> <expected>)
+ (^ (<tag> actual))
+ (same? <expected> actual)
+
+ _
+ false))]
+
+ [/.variable/local expected_register]
+ [/.variable/foreign expected_register]
+ [/.constant expected_constant]
+ [/.variable expected_variable]
+ ))
+ ))))
+
+(template: (tagged? <tag> <it>)
+ [(case <it>
+ {<tag> _}
+ true
+
+ _
+ false)])
+
+(def: test|application
+ Test
+ (do random.monad
+ [expected_abstraction (random.only (|>> (..tagged? /.#Apply) not)
+ (..random 2))
+ expected_parameter/0 (..random 2)
+ expected_parameter/1 (..random 2)]
+ ($_ _.and
+ (_.cover [/.apply /.application]
+ (case (|> [expected_abstraction (list expected_parameter/0 expected_parameter/1)]
+ /.apply
+ /.application)
+ (^ [actual_abstraction (list actual_parameter/0 actual_parameter/1)])
+ (and (same? expected_abstraction actual_abstraction)
+ (same? expected_parameter/0 actual_parameter/0)
+ (same? expected_parameter/1 actual_parameter/1))
+
+ _
+ false))
+ (_.cover [/.no_op]
+ (case (/.no_op expected_parameter/0)
+ (^ (/.no_op actual))
+ (same? expected_parameter/0 actual)
+
+ _
+ false))
+ )))
+
+(def: test|case
+ Test
+ (do random.monad
+ [expected_input (..random 2)
+ expected_match (random_match 2 (..random 2))]
+ ($_ _.and
+ (_.cover [/.case]
+ (case (/.case [expected_input expected_match])
+ (^ (/.case [actual_input actual_match]))
+ (and (same? expected_input actual_input)
+ (same? expected_match actual_match))
+
+ _
+ false))
+ )))
+
+(with_expansions [<id> (static.random_nat)
+ <exception> (template.symbol ["exception_" <id>])]
+ (exception: <exception>)
+
+ (def: test|phase
+ Test
+ (do random.monad
+ [version random.nat
+ host (random.ascii/lower 5)
+ expected_error (random.ascii/lower 10)
+ location /location.random
+ .let [state (with@ .#location location
+ (/.state (/.info version host)))]]
+ ($_ _.and
+ (_.cover [/.failure]
+ (|> (/.failure expected_error)
+ (phase.result [extension.#bundle extension.empty
+ extension.#state state])
+ (case> {try.#Failure actual_error}
+ (and (text.contains? expected_error actual_error)
+ (text.contains? (location.format location) actual_error))
+
+ _
+ false)))
+ (_.cover [/.except]
+ (|> (/.except <exception> [])
+ (phase.result [extension.#bundle extension.empty
+ extension.#state state])
+ (case> {try.#Failure actual_error}
+ (and (text.contains? (exception.error <exception> []) actual_error)
+ (text.contains? (location.format location) actual_error))
+
+ _
+ false)))
+ (_.cover [/.assertion]
+ (and (|> (/.assertion <exception> [] false)
+ (phase.result [extension.#bundle extension.empty
+ extension.#state state])
+ (case> {try.#Failure actual_error}
+ (and (text.contains? (exception.error <exception> []) actual_error)
+ (text.contains? (location.format location) actual_error))
+
+ _
+ false))
+ (|> (/.assertion <exception> [] true)
+ (phase.result [extension.#bundle extension.empty
+ extension.#state state])
+ (case> {try.#Success _}
+ true
+
+ _
+ false))))
+ ))))
+
+(def: test|state
+ Test
+ (do random.monad
+ [version random.nat
+ host (random.ascii/lower 5)
+
+ expected_module (random.ascii/lower 10)
+ dummy_module (random.ascii/lower 11)
+
+ location /location.random
+
+ expected_file (random.ascii/lower 12)
+ expected_code (random.ascii/lower 13)
+
+ .let [state (with@ .#location location
+ (/.state (/.info version host)))]]
+ ($_ _.and
+ (_.cover [/.info]
+ (let [it (/.info version host)]
+ (and (text#= (version.format version)
+ (value@ .#version it))
+ (same? host
+ (value@ .#target it))
+ (..tagged? .#Build (value@ .#mode it)))))
+ (_.cover [/.state]
+ (let [info (/.info version host)
+ it (/.state info)]
+ (and (same? info
+ (value@ .#info it))
+ (same? location.dummy
+ (value@ .#location it))
+ (..tagged? .#None (value@ .#current_module it))
+ (..tagged? .#None (value@ .#expected it))
+ (list.empty? (value@ .#modules it))
+ (list.empty? (value@ .#scopes it))
+ (list.empty? (value@ [.#type_context .#var_bindings] it))
+ (case (value@ .#source it)
+ [location 0 ""]
+ (same? location.dummy location)
+
+ _
+ false))))
+ (_.cover [/.set_current_module]
+ (|> (do phase.monad
+ [_ (/.set_current_module expected_module)]
+ (extension.read (|>> (value@ .#current_module) (maybe.else ""))))
+ (phase.result [extension.#bundle extension.empty
+ extension.#state state])
+ (case> {try.#Success actual}
+ (same? expected_module actual)
+
+ _
+ false)))
+ (_.cover [/.with_current_module]
+ (let [current_module (extension.read (|>> (value@ .#current_module) (maybe.else "")))]
+ (|> (do phase.monad
+ [_ (/.set_current_module expected_module)
+ pre current_module
+ mid (/.with_current_module dummy_module
+ current_module)
+ post current_module]
+ (in (and (same? expected_module pre)
+ (same? dummy_module mid)
+ (same? expected_module post))))
+ (phase.result [extension.#bundle extension.empty
+ extension.#state state])
+ (try.else false))))
+ (_.cover [/.location /.set_location]
+ (let [expected (/.location expected_file)]
+ (|> (do phase.monad
+ [_ (/.set_location expected)]
+ (extension.read (value@ .#location)))
+ (phase.result [extension.#bundle extension.empty
+ extension.#state state])
+ (case> {try.#Success actual}
+ (same? expected actual)
+
+ _
+ false))))
+ (_.cover [/.with_location]
+ (let [expected (/.location expected_file)
+ dummy (/.location expected_code)
+ location (extension.read (value@ .#location))]
+ (|> (do phase.monad
+ [_ (/.set_location expected)
+ pre location
+ mid (/.with_location dummy
+ location)
+ post location]
+ (in (and (same? expected pre)
+ (same? dummy mid)
+ (same? expected post))))
+ (phase.result [extension.#bundle extension.empty
+ extension.#state state])
+ (try.else false))))
+ (_.cover [/.source /.set_source_code]
+ (let [expected (/.source expected_file expected_code)]
+ (|> (do phase.monad
+ [_ (/.set_source_code expected)]
+ (extension.read (value@ .#source)))
+ (phase.result [extension.#bundle extension.empty
+ extension.#state state])
+ (case> {try.#Success actual}
+ (same? expected actual)
+
+ _
+ false))))
+ (_.cover [/.with_source_code]
+ (let [expected (/.source expected_file expected_code)
+ dummy (/.source expected_code expected_file)
+ source (extension.read (value@ .#source))]
+ (|> (do phase.monad
+ [_ (/.set_source_code expected)
+ pre source
+ mid (/.with_source_code dummy
+ source)
+ post source]
+ (in (and (same? expected pre)
+ (same? dummy mid)
+ (same? expected post))))
+ (phase.result [extension.#bundle extension.empty
+ extension.#state state])
+ (try.else false))))
+ )))
+
+(def: .public test
+ Test
+ (<| (_.covering /._)
+ (_.for [/.Analysis])
+ (do random.monad
+ [left (..random 2)
+ right (..random 2)]
+ ($_ _.and
+ (_.for [/.equivalence]
+ ($equivalence.spec /.equivalence (..random 2)))
+
+ ..test|simple
+ ..test|complex
+ ..test|reference
+ (_.for [/.Application]
+ ..test|application)
+ (_.for [/.Branch /.Branch' /.Match /.Match']
+ ..test|case)
+ (_.for [/.Operation /.Phase /.Handler /.Bundle]
+ ..test|phase)
+ (_.for [/.State+]
+ ..test|state)
+ (_.cover [/.format]
+ (bit#= (# /.equivalence = left right)
+ (text#= (/.format left) (/.format right))))
+
+ /simple.test
+ /complex.test
+ /pattern.test
+ ))))
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/composite.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux
index 8c74718b8..c6454b07f 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/composite.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/complex.lux
@@ -44,7 +44,7 @@
(def: .public (random multiplicity it)
(All (_ a)
- (-> Nat (Random a) (Random (/.Composite a))))
+ (-> Nat (Random a) (Random (/.Complex a))))
($_ random.or
($_ random.and
(random#each (n.% (-- multiplicity)) random.nat)
@@ -57,7 +57,7 @@
Test
(let [random (..random 3 random.nat)]
(<| (_.covering /._)
- (_.for [/.Composite /.Variant /.Tuple])
+ (_.for [/.Complex /.Variant /.Tuple])
($_ _.and
(_.for [/.equivalence]
($equivalence.spec (/.equivalence n.equivalence) random))
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux
index 7a1d4c66d..85a701185 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/analysis/pattern.lux
@@ -17,7 +17,7 @@
["[0]" /]]
["[0]" // "_"
["[1][0]" simple]
- ["[1][0]" composite]])
+ ["[1][0]" complex]])
(def: .public random
(Random /.Pattern)
@@ -25,7 +25,7 @@
(function (_ random)
($_ random.or
//simple.random
- (//composite.random 4 random)
+ (//complex.random 4 random)
random.nat
))))
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux
index 97cfd277b..beb9c4a34 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux
@@ -1,54 +1,54 @@
(.using
- [lux "*"
- ["_" test {"+" Test}]
- [abstract
- [hash {"+" Hash}]
- ["[0]" monad {"+" do}]]
- [control
- [pipe {"+" case>}]
- ["[0]" try ("[1]#[0]" functor)]]
- [data
- ["[0]" sum]
- ["[0]" text
- ["%" format {"+" format}]]
- [number
- ["n" nat]
- ["[0]" int]
- ["[0]" rev]
- ["[0]" frac]]
- [collection
- ["[0]" list ("[1]#[0]" functor mix monoid)]
- ["[0]" set]]]
- [math
- ["[0]" random {"+" Random}]]]
- ["[0]" // "_"
- ["[1][0]" primitive]]
- [\\
- ["[0]" /
- ["/[1]" //
- ["/[1]" // "_"
- [extension
- ["[1][0]" bundle]]
- ["/[1]" //
- ["[0]" analysis {"+" Branch Match Analysis}]
- ["[0]" synthesis {"+" Path Synthesis}]
- [///
- ["[1][0]" reference
- [variable {"+" Register}]]
- ["[0]" phase]
- [meta
- ["[0]" archive]]]]]]]])
+ [lux "*"
+ ["_" test {"+" Test}]
+ [abstract
+ [hash {"+" Hash}]
+ ["[0]" monad {"+" do}]]
+ [control
+ [pipe {"+" case>}]
+ ["[0]" try ("[1]#[0]" functor)]]
+ [data
+ ["[0]" sum]
+ ["[0]" text
+ ["%" format {"+" format}]]
+ [number
+ ["n" nat]
+ ["[0]" int]
+ ["[0]" rev]
+ ["[0]" frac]]
+ [collection
+ ["[0]" list ("[1]#[0]" functor mix monoid)]
+ ["[0]" set]]]
+ [math
+ ["[0]" random {"+" Random}]]]
+ ["[0]" // "_"
+ ["[1][0]" primitive]]
+ [\\
+ ["[0]" /
+ ["/[1]" //
+ ["/[1]" // "_"
+ [extension
+ ["[1][0]" bundle]]
+ ["/[1]" //
+ ["[0]" analysis {"+" Branch Match Analysis}]
+ ["[0]" synthesis {"+" Path Synthesis}]
+ [///
+ ["[1][0]" reference
+ [variable {"+" Register}]]
+ ["[0]" phase]
+ [meta
+ ["[0]" archive]]]]]]]])
(def: masking_test
Test
(do [! random.monad]
[maskedA //primitive.primitive
temp (|> random.nat (# ! each (n.% 100)))
- .let [maskA (analysis.control/case
- [maskedA
- [[{analysis.#Bind temp}
- {analysis.#Reference (////reference.local temp)}]
- (list)]])]]
+ .let [maskA (analysis.case
+ [maskedA
+ [[{analysis.#Bind temp}
+ {analysis.#Reference (////reference.local temp)}]
+ (list)]])]]
(_.cover [/.synthesize_masking]
(|> maskA
(//.phase archive.empty)
@@ -62,11 +62,11 @@
[registerA random.nat
inputA //primitive.primitive
outputA //primitive.primitive
- .let [letA (analysis.control/case
- [inputA
- [[{analysis.#Bind registerA}
- outputA]
- (list)]])]]
+ .let [letA (analysis.case
+ [inputA
+ [[{analysis.#Bind registerA}
+ outputA]
+ (list)]])]]
(_.cover [/.synthesize_let]
(|> letA
(//.phase archive.empty)
@@ -93,8 +93,8 @@
[{analysis.#Simple {analysis.#Bit false}}
elseA])
ifA (if then|else
- (analysis.control/case [inputA [thenB (list elseB)]])
- (analysis.control/case [inputA [elseB (list thenB)]]))]]
+ (analysis.case [inputA [thenB (list elseB)]])
+ (analysis.case [inputA [elseB (list thenB)]]))]]
(_.cover [/.synthesize_if]
(|> ifA
(//.phase archive.empty)
@@ -151,9 +151,9 @@
(# ! each (|>> analysis.tuple)))
pathA ..random_path
[pattern @member] (get_pattern pathA)
- .let [getA (analysis.control/case [recordA [[pattern
- {analysis.#Reference (////reference.local @member)}]
- (list)]])]]
+ .let [getA (analysis.case [recordA [[pattern
+ {analysis.#Reference (////reference.local @member)}]
+ (list)]])]]
(_.cover [/.synthesize_get]
(|> getA
(//.phase archive.empty)