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.

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

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

diff --git a/stdlib/source/specification/compositor.lux b/stdlib/source/specification/compositor.lux
deleted file mode 100644
index f6fb3f280..000000000
--- a/stdlib/source/specification/compositor.lux
+++ /dev/null
@@ -1,69 +0,0 @@
-(.require
- [library
-  [lux (.except)
-   [abstract
-    [monad (.only do)]]
-   [control
-    ["[0]" io (.only IO)]
-    ["[0]" try]]
-   [math
-    ["r" random]]
-   [meta
-    [compiler
-     ["[0]" analysis]
-     ["[0]" declaration]
-     [phase
-      [macro (.only Expander)]
-      [translation (.only Bundle)]]
-     [default
-      [platform (.only Platform)]]]]
-   [test
-    ["_" property (.only Test)]]]]
- ["[0]" /
-  ["[1][0]" common (.only Runner Definer)]
-  ["[1]./" analysis
-   ["[1][0]" type]]
-  ["[1]./" translation
-   ["[1][0]" primitive]
-   ["[1][0]" structure]
-   ["[1][0]" reference]
-   ["[1][0]" when]
-   ["[1][0]" function]
-   ["[1][0]" common]]])
-
-(def (test runner definer state expander)
-  (-> Runner Definer analysis.State Expander Test)
-  (all _.and
-       (/analysis/type.spec expander state)
-       (/translation/primitive.spec runner)
-       (/translation/structure.spec runner)
-       (/translation/reference.spec runner definer)
-       (/translation/when.spec runner)
-       (/translation/function.spec runner)
-       (/translation/common.spec runner)
-       ))
-
-(def .public (spec platform bundle expander program)
-  (All (_ anchor expression declaration)
-    (-> (IO (Platform IO anchor expression declaration))
-        (Bundle anchor expression declaration)
-        Expander
-        (-> expression declaration)
-        Test))
-  (do r.monad
-    [_ (in [])
-     .let [?state,runner,definer (<| io.run!
-                                     (do io.monad
-                                       [platform platform])
-                                     (/common.executors platform
-                                                        bundle
-                                                        expander
-                                                        program))]]
-    (when ?state,runner,definer
-      {try.#Success [[declaration_bundle declaration_state] runner definer]}
-      (..test runner definer
-        (the [declaration.#analysis declaration.#state] declaration_state)
-        expander)
-
-      {try.#Failure error}
-      (_.failure error))))
-- 
cgit v1.2.3