1 files changed, 0 insertions, 27 deletions
diff --git a/stdlib/source/spec/lux/abstract/enum.lux b/stdlib/source/spec/lux/abstract/enum.lux
deleted file mode 100644
index ddb2a80f1..000000000
--- a/stdlib/source/spec/lux/abstract/enum.lux
+++ /dev/null
@@ -1,27 +0,0 @@
-(.module:
-  [library
-   [lux #*
-    ["_" test (#+ Test)]
-    [abstract
-     [monad (#+ do)]]
-    [math
-     ["." random (#+ Random)]]]]
-  [\\library
-   ["." /]])
-
-(def: #export (spec (^open "\.") gen-sample)
-  (All [a] (-> (/.Enum a) (Random a) Test))
-  (do random.monad
-    [sample gen-sample]
-    (<| (_.for [/.Enum])
-        ($_ _.and
-            (_.test "Successor and predecessor are inverse functions."
-                    (and (\= (|> sample \succ \pred)
-                             sample)
-                         (\= (|> sample \pred \succ)
-                             sample)
-                         (not (\= (\succ sample)
-                                  sample))
-                         (not (\= (\pred sample)
-                                  sample))))
-            ))))