aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib')
-rw-r--r--stdlib/source/lux/compiler/default/phase/synthesis/case.lux2
-rw-r--r--stdlib/source/lux/compiler/default/phase/translation/scheme/case.jvm.lux8
-rw-r--r--stdlib/test/test/lux/compiler/default/phase/synthesis/primitive.lux6
3 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/source/lux/compiler/default/phase/synthesis/case.lux b/stdlib/source/lux/compiler/default/phase/synthesis/case.lux
index eaa7621f6..3e59637a8 100644
--- a/stdlib/source/lux/compiler/default/phase/synthesis/case.lux
+++ b/stdlib/source/lux/compiler/default/phase/synthesis/case.lux
@@ -103,7 +103,7 @@
rightP
<default>))
([#//.Bit bit/=]
- [#//.I64 (:coerce (Equivalence I64) i/=)]
+ [#//.I64 "lux i64 ="]
[#//.F64 frac/=]
[#//.Text text/=])
diff --git a/stdlib/source/lux/compiler/default/phase/translation/scheme/case.jvm.lux b/stdlib/source/lux/compiler/default/phase/translation/scheme/case.jvm.lux
index 5ab0c56dd..1d9415a99 100644
--- a/stdlib/source/lux/compiler/default/phase/translation/scheme/case.jvm.lux
+++ b/stdlib/source/lux/compiler/default/phase/translation/scheme/case.jvm.lux
@@ -121,10 +121,10 @@
(^ (<tag> value))
(operation/wrap (_.when (|> value <format> (<=> cursor-top) _.not/1)
fail-pm!)))
- ([synthesis.path/bit _.bool _.eqv?/2]
- [synthesis.path/i64 _.int _.=/2]
- [synthesis.path/f64 _.float _.=/2]
- [synthesis.path/text _.string _.eqv?/2])
+ ([synthesis.path/bit _.bool _.eqv?/2]
+ [synthesis.path/i64 (<| _.int .int) _.=/2]
+ [synthesis.path/f64 _.float _.=/2]
+ [synthesis.path/text _.string _.eqv?/2])
(^template [<pm> <flag> <prep>]
(^ (<pm> idx))
diff --git a/stdlib/test/test/lux/compiler/default/phase/synthesis/primitive.lux b/stdlib/test/test/lux/compiler/default/phase/synthesis/primitive.lux
index 9587919a2..fbe190a93 100644
--- a/stdlib/test/test/lux/compiler/default/phase/synthesis/primitive.lux
+++ b/stdlib/test/test/lux/compiler/default/phase/synthesis/primitive.lux
@@ -46,15 +46,15 @@
[(#//.Primitive (#//.I64 valueS))
(#analysis.Primitive (#analysis.Nat valueA))]
- (is? valueS (.i64 valueA))
+ (is? (.i64 valueS) (.i64 valueA))
[(#//.Primitive (#//.I64 valueS))
(#analysis.Primitive (#analysis.Int valueA))]
- (is? valueS (.i64 valueA))
+ (is? (.i64 valueS) (.i64 valueA))
[(#//.Primitive (#//.I64 valueS))
(#analysis.Primitive (#analysis.Rev valueA))]
- (is? valueS (.i64 valueA))
+ (is? (.i64 valueS) (.i64 valueA))
[(#//.Primitive (#//.F64 valueS))
(#analysis.Primitive (#analysis.Frac valueA))]