From 8e4b93bfc90ca81d615bf9dd5af43f29fdd0f5ae Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 13 Mar 2019 21:14:22 -0400 Subject: Replaced the digit separator in numbers from "_" to ",". --- stdlib/source/test/lux.lux | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) (limited to 'stdlib/source/test/lux.lux') diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index c2ca8b3ba..87bf92b1b 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -5,7 +5,6 @@ [case (#+)] [loop (#+)] [function (#+)] - [expression (#+)] [extension (#+) [common (#+)] [host (#+)]])] @@ -40,10 +39,10 @@ [tool [compiler [phase - [translation - [scheme + [generation + [scheme (#+) ] - [js + [js (#+) ]]]]] ## [control ## ["._" contract] @@ -85,7 +84,7 @@ ## ["._" default ## ["._" evaluation] ## [phase - ## ["._" translation + ## ["._" generation ## [scheme ## ["._scheme" function] ## ["._scheme" loop] @@ -397,11 +396,11 @@ (..conversion <=>))] ["Int -> Nat" - i/= .nat .int (r/map (i/% +1_000_000) r.int)] + i/= .nat .int (r/map (i/% +1,000,000) r.int)] ["Nat -> Int" - n/= .int .nat (r/map (n/% 1_000_000) r.nat)] + n/= .int .nat (r/map (n/% 1,000,000) r.nat)] ["Int -> Frac" - i/= int-to-frac frac-to-int (r/map (i/% +1_000_000) r.int)] + i/= int-to-frac frac-to-int (r/map (i/% +1,000,000) r.int)] ["Frac -> Int" f/= frac-to-int int-to-frac (r/map math.floor r.frac)] ["Rev -> Frac" -- cgit v1.2.3