From 41b83b7a2d3be8f454f780dca497c4eeed900bbf Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 28 Apr 2019 01:48:04 -0400 Subject: Turned all "lux frac ???" extensions to "lux f64 ???". --- stdlib/source/spec/compositor/generation/common.lux | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'stdlib/source/spec/compositor/generation') diff --git a/stdlib/source/spec/compositor/generation/common.lux b/stdlib/source/spec/compositor/generation/common.lux index c92859639..8ed524efe 100644 --- a/stdlib/source/spec/compositor/generation/common.lux +++ b/stdlib/source/spec/compositor/generation/common.lux @@ -157,15 +157,15 @@ (run (..sanitize )) (//case.verify )))] - ["lux f64 min" ("lux frac min")] - ["lux f64 max" ("lux frac max")] - ["lux f64 smallest" ("lux frac smallest")] + ["lux f64 min" ("lux f64 min")] + ["lux f64 max" ("lux f64 max")] + ["lux f64 smallest" ("lux f64 smallest")] )) - (_.test "'lux f64 to-i64' && 'lux i64 to-f64'" - (|> (run (..sanitize "lux f64 to-i64") + (_.test "'lux f64 i64 && 'lux i64 f64'" + (|> (run (..sanitize "lux f64 i64") (|> subject synthesis.f64 - (list) (#synthesis.Extension "lux f64 to-i64") - (list) (#synthesis.Extension "lux i64 to-f64"))) + (list) (#synthesis.Extension "lux f64 i64") + (list) (#synthesis.Extension "lux i64 f64"))) (//case.verify subject))) )))) -- cgit v1.2.3