diff options
Diffstat (limited to 'stdlib')
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))] |