Added some explicit machinery for the Any type.

2 files changed, 0 insertions, 57 deletions

diff --git a/stdlib/source/specification/lux/abstract/enum.lux b/stdlib/source/specification/lux/abstract/enum.lux
deleted file mode 100644
index 0d367f7c0..000000000
--- a/stdlib/source/specification/lux/abstract/enum.lux
+++ /dev/null
@@ -1,32 +0,0 @@
-(.require
- [library
-  [lux (.except)
-   [abstract
-    [monad (.only do)]
-    ["[0]" order
-     ["[1]T" \\test]]]
-   [math
-    ["[0]" random (.only Random)]]
-   [test
-    ["_" property (.only Test)]]]]
- [\\library
-  ["[0]" /]])
-
-(def .public (spec (open "/#[0]") random)
-  (All (_ a) (-> (/.Enum a) (Random a) Test))
-  (do random.monad
-    [sample random]
-    (<| (_.for [/.Enum])
-        (all _.and
-             (_.for [/.order]
-                    (orderT.spec /#order random))
-             (_.coverage [/.succ /.pred]
-               (and (/#= (|> sample /#succ /#pred)
-                         sample)
-                    (/#= (|> sample /#pred /#succ)
-                         sample)
-                    (not (/#= (/#succ sample)
-                              sample))
-                    (not (/#= (/#pred sample)
-                              sample))))
-             ))))
diff --git a/stdlib/source/specification/lux/abstract/mix.lux b/stdlib/source/specification/lux/abstract/mix.lux
deleted file mode 100644
index 614b7439f..000000000
--- a/stdlib/source/specification/lux/abstract/mix.lux
+++ /dev/null
@@ -1,25 +0,0 @@
-(.require
- [library
-  [lux (.except)
-   [abstract
-    [monad (.only do)]
-    [functor
-     [\\test (.only Injection Comparison)]]]
-   [math
-    ["[0]" random]
-    [number
-     ["n" nat]]]
-   [test
-    ["_" property (.only Test)]]]]
- [\\library
-  ["[0]" /]])
-
-(def .public (spec injection comparison (open "/#[0]"))
-  (All (_ f) (-> (Injection f) (Comparison f) (/.Mix f) Test))
-  (do random.monad
-    [subject random.nat
-     parameter random.nat]
-    (<| (_.for [/.Mix])
-        (_.coverage [/.mix]
-          (n.= (/#mix n.+ parameter (injection subject))
-               (n.+ parameter subject))))))