From 0abd5bd3c0e38e352e9ba38268e04e1c858ab01e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 15 Jul 2021 00:45:15 -0400
Subject: Re-named "spec" hierarchy to "specification".

---
 .../spec/compositor/generation/reference.lux       | 60 ----------------------
 1 file changed, 60 deletions(-)
 delete mode 100644 stdlib/source/spec/compositor/generation/reference.lux

(limited to 'stdlib/source/spec/compositor/generation/reference.lux')

diff --git a/stdlib/source/spec/compositor/generation/reference.lux b/stdlib/source/spec/compositor/generation/reference.lux
deleted file mode 100644
index 665175ab4..000000000
--- a/stdlib/source/spec/compositor/generation/reference.lux
+++ /dev/null
@@ -1,60 +0,0 @@
-(.module:
-  [lux #*
-   ["_" test (#+ Test)]
-   [abstract
-    [monad (#+ do)]]
-   [control
-    [pipe (#+ case>)]
-    ["." try]]
-   [data
-    [number
-     ["n" nat]
-     ["f" frac]]]
-   [tool
-    [compiler
-     ["." reference]
-     ["." synthesis]]]
-   [math
-    ["r" random (#+ Random)]]]
-  [///
-   [common (#+ Runner Definer)]])
-
-(def: name
-  (Random Name)
-  (let [name-part (r.ascii/upper-alpha 5)]
-    [(r.and name-part name-part)]))
-
-(def: (definition define)
-  (-> Definer Test)
-  (do r.monad
-    [name ..name
-     expected r.safe-frac]
-    (_.test "Definitions."
-            (|> (define name (synthesis.f64 expected))
-                (case> (#try.Success actual)
-                       (f.= expected (:as Frac actual))
-
-                       (#try.Failure _)
-                       false)))))
-
-(def: (variable run)
-  (-> Runner Test)
-  (do {! r.monad}
-    [register (|> r.nat (\ ! map (n.% 100)))
-     expected r.safe-frac]
-    (_.test "Local variables."
-            (|> (synthesis.branch/let [(synthesis.f64 expected)
-                                       register
-                                       (synthesis.variable/local register)])
-                (run "variable")
-                (case> (#try.Success actual)
-                       (f.= expected (:as Frac actual))
-
-                       (#try.Failure _)
-                       false)))))
-
-(def: #export (spec runner definer)
-  (-> Runner Definer Test)
-  ($_ _.and
-      (..definition definer)
-      (..variable runner)))
-- 
cgit v1.2.3