diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/tool/compiler/language/lux/synthesis.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/lux/tool/compiler/language/lux/synthesis.lux index 5b631ab1b..36dd33b23 100644 --- a/stdlib/source/lux/tool/compiler/language/lux/synthesis.lux +++ b/stdlib/source/lux/tool/compiler/language/lux/synthesis.lux @@ -2,8 +2,8 @@ [lux (#- i64 Scope) [abstract [monad (#+ do)] - [hash (#+ Hash)] - ["." equivalence (#+ Equivalence)]] + [equivalence (#+ Equivalence)] + [hash (#+ Hash)]] [control [pipe (#+ case>)] ["." exception (#+ exception:)]] @@ -500,7 +500,7 @@ (^template [<tag> <equivalence>] [[(<tag> reference-cons) (<tag> sample-cons)] - (\ (list.equivalence (equivalence.product <equivalence> =)) = + (\ (list.equivalence (product.equivalence <equivalence> =)) = (#.Cons reference-cons) (#.Cons sample-cons))]) ([#I64-Fork i64.equivalence] |