From ae2d5697d93a45dcbff768c32c4dc8fb291096cd Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 7 Jan 2023 18:55:20 -0400
Subject: Now wrapping C++ values inside a universal box.

---
 .../compositor/generation/primitive.lux            | 51 ----------------------
 1 file changed, 51 deletions(-)
 delete mode 100644 stdlib/source/specification/compositor/generation/primitive.lux

(limited to 'stdlib/source/specification/compositor/generation/primitive.lux')

diff --git a/stdlib/source/specification/compositor/generation/primitive.lux b/stdlib/source/specification/compositor/generation/primitive.lux
deleted file mode 100644
index 167f219e8..000000000
--- a/stdlib/source/specification/compositor/generation/primitive.lux
+++ /dev/null
@@ -1,51 +0,0 @@
-(.require
- [library
-  [lux (.except)
-   [abstract
-    [monad (.only do)]]
-   [control
-    ["[0]" pipe]
-    ["[0]" try]]
-   [data
-    ["[0]" bit (.use "[1]#[0]" equivalence)]
-    [number
-     ["f" frac]]
-    ["[0]" text (.use "[1]#[0]" equivalence)
-     ["%" \\format (.only format)]]]
-   [math
-    ["r" random]]
-   [meta
-    [compiler
-     ["[0]" synthesis]]]
-   [test
-    ["_" property (.only Test)]]]]
- [///
-  [common (.only Runner)]])
-
-(def (f/=' reference subject)
-  (-> Frac Frac Bit)
-  (or (f.= reference subject)
-      (and (f.not_a_number? reference)
-           (f.not_a_number? subject))))
-
-(def .public (spec run)
-  (-> Runner Test)
-  (`` (all _.and
-           (,, (with_template [<evaluation_name> <synthesis> <gen> <test>]
-                 [(do r.monad
-                    [expected <gen>]
-                    (_.test (%.symbol (symbol <synthesis>))
-                      (|> (run <evaluation_name> (<synthesis> expected))
-                          (pipe.when
-                            {try.#Success actual}
-                            (<test> expected (as_expected actual))
-
-                            {try.#Failure _}
-                            false))))]
-
-                 ["bit" synthesis.bit r.bit bit#=]
-                 ["i64" synthesis.i64 r.i64 .i64_=#]
-                 ["f64" synthesis.f64 r.frac f.=']
-                 ["text" synthesis.text (r.ascii 5) text#=]
-                 ))
-           )))
-- 
cgit v1.2.3