diff options
Diffstat (limited to '')
16 files changed, 38 insertions, 38 deletions
diff --git a/stdlib/source/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/lux/tool/compiler/language/lux/analysis.lux index d2382537a..bbbe43b27 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/analysis.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/analysis.lux @@ -106,7 +106,7 @@ (type: #export Match (Match' Analysis)) -(structure: primitive_equivalence +(implementation: primitive_equivalence (Equivalence Primitive) (def: (= reference sample) @@ -127,7 +127,7 @@ _ false))) -(structure: #export (composite_equivalence (^open "/\.")) +(implementation: #export (composite_equivalence (^open "/\.")) (All [a] (-> (Equivalence a) (Equivalence (Composite a)))) (def: (= reference sample) @@ -144,7 +144,7 @@ _ false))) -(structure: #export (composite_hash super) +(implementation: #export (composite_hash super) (All [a] (-> (Hash a) (Hash (Composite a)))) (def: &equivalence @@ -163,7 +163,7 @@ (\ (list.hash super) hash members)) ))) -(structure: pattern_equivalence +(implementation: pattern_equivalence (Equivalence Pattern) (def: (= reference sample) @@ -180,14 +180,14 @@ _ false))) -(structure: (branch_equivalence equivalence) +(implementation: (branch_equivalence equivalence) (-> (Equivalence Analysis) (Equivalence Branch)) (def: (= [reference_pattern reference_body] [sample_pattern sample_body]) (and (\ pattern_equivalence = reference_pattern sample_pattern) (\ equivalence = reference_body sample_body)))) -(structure: #export equivalence +(implementation: #export equivalence (Equivalence Analysis) (def: (= reference sample) diff --git a/stdlib/source/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/lux/tool/compiler/language/lux/generation.lux index 8606b5701..372ed2c17 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/generation.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/generation.lux @@ -48,7 +48,7 @@ [no_buffer_for_saving_code] ) -(signature: #export (Host expression directive) +(interface: #export (Host expression directive) (: (-> Context expression (Try Any)) evaluate!) (: (-> directive (Try Any)) diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux index af5a12c37..4a3afc3f5 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux @@ -177,7 +177,7 @@ _ (list coverage))) -(structure: equivalence (Equivalence Coverage) +(implementation: equivalence (Equivalence Coverage) (def: (= reference sample) (case [reference sample] [#Exhaustive #Exhaustive] diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux index 977396fab..2e4488b00 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux @@ -5,7 +5,7 @@ [/// [reference (#+ System)]]) -(structure: #export system +(implementation: #export system (System (Expression Any)) (def: constant _.var) diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/js/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/js/reference.lux index b748318e5..6361e3d09 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/js/reference.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/js/reference.lux @@ -5,7 +5,7 @@ [/// [reference (#+ System)]]) -(structure: #export system +(implementation: #export system (System Expression) (def: constant _.var) diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux index 12954ff51..0e7a2c776 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux @@ -147,7 +147,7 @@ (io (let [library (loader.new-library []) loader (loader.memory library)] (: //runtime.Host - (structure + (implementation (def: (evaluate! temp-label valueG) (let [eval-class (|> temp-label name.normalize (text.replace-all " " "$"))] (\ try.monad map product.left diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux index 965ac68b3..72a54569c 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux @@ -5,7 +5,7 @@ [/// [reference (#+ System)]]) -(structure: #export system +(implementation: #export system (System Expression) (def: constant _.var) diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/php/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/php/reference.lux index 776245b61..de532a9dc 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/php/reference.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/php/reference.lux @@ -5,7 +5,7 @@ [/// [reference (#+ System)]]) -(structure: #export system +(implementation: #export system (System Expression) (def: constant _.global) diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/python/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/python/reference.lux index 0f7629614..1fe57fb8c 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/python/reference.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/python/reference.lux @@ -5,7 +5,7 @@ [/// [reference (#+ System)]]) -(structure: #export system +(implementation: #export system (System (Expression Any)) (def: constant _.var) diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/r/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/r/reference.lux index c3f2e8289..c986bc2a0 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/r/reference.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/r/reference.lux @@ -5,7 +5,7 @@ [/// [reference (#+ System)]]) -(structure: #export system +(implementation: #export system (System Expression) (def: constant _.var) diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/reference.lux index 9cca8b8e5..cdcc5a134 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/reference.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/reference.lux @@ -43,7 +43,7 @@ "m" (%.nat module) "a" (%.nat artifact))) -(signature: #export (System expression) +(interface: #export (System expression) (: (-> Text expression) constant) (: (-> Text expression) diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux index 1149b2e8d..1ea2cca00 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux @@ -5,7 +5,7 @@ [/// [reference (#+ System)]]) -(structure: #export system +(implementation: #export system (System Expression) (def: constant _.global) diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux index 4e8ae26cf..f24134d9f 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux @@ -5,7 +5,7 @@ [/// [reference (#+ System)]]) -(structure: #export system +(implementation: #export system (System Expression) (def: constant _.var) diff --git a/stdlib/source/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/lux/tool/compiler/language/lux/synthesis.lux index 5b79a72a8..0b2086f25 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/synthesis.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/synthesis.lux @@ -412,7 +412,7 @@ (Format Path) (%path' %synthesis)) -(structure: #export primitive_equivalence +(implementation: #export primitive_equivalence (Equivalence Primitive) (def: (= reference sample) @@ -430,7 +430,7 @@ _ false))) -(structure: primitive_hash +(implementation: primitive_hash (Hash Primitive) (def: &equivalence ..primitive_equivalence) @@ -456,7 +456,7 @@ (Hash Member) (sum.hash n.hash n.hash)) -(structure: #export access_equivalence +(implementation: #export access_equivalence (Equivalence Access) (def: (= reference sample) @@ -470,7 +470,7 @@ _ false))) -(structure: access_hash +(implementation: access_hash (Hash Access) (def: &equivalence ..access_equivalence) @@ -484,7 +484,7 @@ ([#Side] [#Member]))))) -(structure: #export (path'_equivalence equivalence) +(implementation: #export (path'_equivalence equivalence) (All [a] (-> (Equivalence a) (Equivalence (Path' a)))) (def: (= reference sample) @@ -527,7 +527,7 @@ _ false))) -(structure: (path'_hash super) +(implementation: (path'_hash super) (All [a] (-> (Hash a) (Hash (Path' a)))) (def: &equivalence @@ -572,7 +572,7 @@ (n.* 29 (\ super hash body)) ))) -(structure: (branch_equivalence (^open "\.")) +(implementation: (branch_equivalence (^open "\.")) (All [a] (-> (Equivalence a) (Equivalence (Branch a)))) (def: (= reference sample) @@ -602,7 +602,7 @@ _ false))) -(structure: (branch_hash super) +(implementation: (branch_hash super) (All [a] (-> (Hash a) (Hash (Branch a)))) (def: &equivalence @@ -633,7 +633,7 @@ (\ (..path'_hash super) hash path)) ))) -(structure: (loop_equivalence (^open "\.")) +(implementation: (loop_equivalence (^open "\.")) (All [a] (-> (Equivalence a) (Equivalence (Loop a)))) (def: (= reference sample) @@ -650,7 +650,7 @@ _ false))) -(structure: (loop_hash super) +(implementation: (loop_hash super) (All [a] (-> (Hash a) (Hash (Loop a)))) (def: &equivalence @@ -669,7 +669,7 @@ (\ (list.hash super) hash resets)) ))) -(structure: (function_equivalence (^open "\.")) +(implementation: (function_equivalence (^open "\.")) (All [a] (-> (Equivalence a) (Equivalence (Function a)))) (def: (= reference sample) @@ -688,7 +688,7 @@ _ false))) -(structure: (function_hash super) +(implementation: (function_hash super) (All [a] (-> (Hash a) (Hash (Function a)))) (def: &equivalence @@ -708,7 +708,7 @@ (\ (list.hash super) hash arguments)) ))) -(structure: (control_equivalence (^open "\.")) +(implementation: (control_equivalence (^open "\.")) (All [a] (-> (Equivalence a) (Equivalence (Control a)))) (def: (= reference sample) @@ -723,7 +723,7 @@ _ false))) -(structure: (control_hash super) +(implementation: (control_hash super) (All [a] (-> (Hash a) (Hash (Control a)))) (def: &equivalence @@ -739,7 +739,7 @@ [5 #Function ..function_hash]) ))) -(structure: #export equivalence +(implementation: #export equivalence (Equivalence Synthesis) (def: (= reference sample) @@ -760,7 +760,7 @@ (Equivalence Path) (path'_equivalence equivalence)) -(structure: #export hash +(implementation: #export hash (Hash Synthesis) (def: &equivalence ..equivalence) diff --git a/stdlib/source/lux/tool/compiler/reference.lux b/stdlib/source/lux/tool/compiler/reference.lux index 856435fe8..98a1f0c07 100644 --- a/stdlib/source/lux/tool/compiler/reference.lux +++ b/stdlib/source/lux/tool/compiler/reference.lux @@ -22,7 +22,7 @@ (#Variable Variable) (#Constant Constant)) -(structure: #export equivalence +(implementation: #export equivalence (Equivalence Reference) (def: (= reference sample) @@ -36,7 +36,7 @@ _ false))) -(structure: #export hash +(implementation: #export hash (Hash Reference) (def: &equivalence diff --git a/stdlib/source/lux/tool/compiler/reference/variable.lux b/stdlib/source/lux/tool/compiler/reference/variable.lux index 8106d9257..84aea58ab 100644 --- a/stdlib/source/lux/tool/compiler/reference/variable.lux +++ b/stdlib/source/lux/tool/compiler/reference/variable.lux @@ -20,7 +20,7 @@ (#Local Register) (#Foreign Register)) -(structure: #export equivalence +(implementation: #export equivalence (Equivalence Variable) (def: (= reference sample) @@ -33,7 +33,7 @@ _ #0))) -(structure: #export hash +(implementation: #export hash (Hash Variable) (def: &equivalence |