From 049dcdc0c6dc678786dbf854a20385fb6ef06f9a Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Feb 2023 02:54:39 -0400
Subject: Added an abstraction for interest rates.

---
 stdlib/source/test/lux.lux | 29 -----------------------------
 1 file changed, 29 deletions(-)

(limited to 'stdlib/source/test/lux.lux')

diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 64ac888ac..5597bded0 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -599,35 +599,6 @@
 
                  _
                  false))
-             (_.coverage [/.type_literal]
-               (and (when (/.type_literal [expected/0 expected/1])
-                      {.#Product actual/0 actual/1}
-                      (and (same? expected/0 actual/0)
-                           (same? expected/1 actual/1))
-
-                      _
-                      false)
-                    (when (/.type_literal (/.Or expected/0 expected/1))
-                      {.#Sum actual/0 actual/1}
-                      (and (same? expected/0 actual/0)
-                           (same? expected/1 actual/1))
-
-                      _
-                      false)
-                    (when (/.type_literal (-> expected/0 expected/1))
-                      {.#Function actual/0 actual/1}
-                      (and (same? expected/0 actual/0)
-                           (same? expected/1 actual/1))
-
-                      _
-                      false)
-                    (when (/.type_literal (expected/0 expected/1))
-                      {.#Apply actual/1 actual/0}
-                      (and (same? expected/0 actual/0)
-                           (same? expected/1 actual/1))
-
-                      _
-                      false)))
              (_.coverage [/.type]
                (exec
                  (is /.Type ..for_type/variant)
-- 
cgit v1.2.3