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/function.lux             | 96 ----------------------
 1 file changed, 96 deletions(-)
 delete mode 100644 stdlib/source/specification/compositor/generation/function.lux

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

diff --git a/stdlib/source/specification/compositor/generation/function.lux b/stdlib/source/specification/compositor/generation/function.lux
deleted file mode 100644
index 63b025065..000000000
--- a/stdlib/source/specification/compositor/generation/function.lux
+++ /dev/null
@@ -1,96 +0,0 @@
-(.require
- [library
-  [lux (.except function)
-   [abstract
-    [monad (.only do)]
-    ["[0]" enum]]
-   [control
-    ["[0]" maybe]]
-   [data
-    [number
-     ["n" nat]]
-    [collection
-     ["[0]" list (.use "[1]#[0]" functor)]]]
-   [math
-    ["r" random (.only Random) (.use "[1]#[0]" monad)]]
-   [meta
-    [compiler
-     [analysis (.only Arity)]
-     ["[0]" reference (.only Register)]
-     ["[0]" synthesis (.only Synthesis)]]]]
-  [test
-   ["_" property (.only Test)]]]
- ["[0]" //
-  ["[1][0]" case]
-  [//
-   [common (.only Runner)]]])
-
-(def max_arity
-  Arity
-  10)
-
-(def arity
-  (Random Arity)
-  (|> r.nat (r#each (|>> (n.% max_arity) (n.max 1)))))
-
-(def (local arity)
-  (-> Arity (Random Register))
-  (|> r.nat (r#each (|>> (n.% arity) ++))))
-
-(def function
-  (Random [Arity Register Synthesis])
-  (do r.monad
-    [arity ..arity
-     local (..local arity)]
-    (in [arity local
-         (synthesis.function/abstraction
-          [synthesis.#environment (list)
-           synthesis.#arity arity
-           synthesis.#body (synthesis.variable/local local)])])))
-
-(def .public (spec run)
-  (-> Runner Test)
-  (do [! r.monad]
-    [[arity local functionS] ..function
-     partial_arity (|> r.nat (of ! each (|>> (n.% arity) (n.max 1))))
-     inputs (r.list arity r.safe_frac)
-     .let [expectation (maybe.trusted (list.item (-- local) inputs))
-           inputsS (list#each (|>> synthesis.f64) inputs)]]
-    (all _.and
-         (_.test "Can read arguments."
-           (|> (synthesis.function/apply [synthesis.#function functionS
-                                          synthesis.#arguments inputsS])
-               (run "with_local")
-               (//case.verify expectation)))
-         (_.test "Can partially apply functions."
-           (or (n.= 1 arity)
-               (let [preS (list.first partial_arity inputsS)
-                     postS (list.after partial_arity inputsS)
-                     partialS (synthesis.function/apply [synthesis.#function functionS
-                                                         synthesis.#arguments preS])]
-                 (|> (synthesis.function/apply [synthesis.#function partialS
-                                                synthesis.#arguments postS])
-                     (run "partial_application")
-                     (//case.verify expectation)))))
-         (_.test "Can read environment."
-           (or (n.= 1 arity)
-               (let [environment (|> partial_arity
-                                     (enum.range n.enum 1)
-                                     (list#each (|>> {reference.#Local})))
-                     variableS (if (n.<= partial_arity local)
-                                 (synthesis.variable/foreign (-- local))
-                                 (synthesis.variable/local (|> local (n.- partial_arity))))
-                     inner_arity (n.- partial_arity arity)
-                     innerS (synthesis.function/abstraction
-                             [synthesis.#environment environment
-                              synthesis.#arity inner_arity
-                              synthesis.#body variableS])
-                     outerS (synthesis.function/abstraction
-                             [synthesis.#environment (list)
-                              synthesis.#arity partial_arity
-                              synthesis.#body innerS])]
-                 (|> (synthesis.function/apply [synthesis.#function outerS
-                                                synthesis.#arguments inputsS])
-                     (run "with_foreign")
-                     (//case.verify expectation)))))
-         )))
-- 
cgit v1.2.3