From ab99de20a3d0566a71bf0ef607d9d6e291d7f62a Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 8 Apr 2022 21:59:08 -0400
Subject: Removed (mostly useless) pattern-matching macro for abstract types.

---
 stdlib/source/library/lux/control/security/capability.lux | 2 +-
 stdlib/source/library/lux/control/security/policy.lux     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'stdlib/source/library/lux/control/security')

diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux
index 4878554bf..9affbf537 100644
--- a/stdlib/source/library/lux/control/security/capability.lux
+++ b/stdlib/source/library/lux/control/security/capability.lux
@@ -15,7 +15,7 @@
     [collection
      ["[0]" list ("[1]#[0]" functor)]]]
    [type
-    [abstract {"-" pattern}]]
+    [abstract "*"]]
    ["[0]" meta]
    ["[0]" macro
     ["[0]" code]
diff --git a/stdlib/source/library/lux/control/security/policy.lux b/stdlib/source/library/lux/control/security/policy.lux
index 3e6bb2e0c..de357b6e2 100644
--- a/stdlib/source/library/lux/control/security/policy.lux
+++ b/stdlib/source/library/lux/control/security/policy.lux
@@ -6,7 +6,7 @@
     [apply {"+" Apply}]
     [monad {"+" Monad}]]
    [type
-    [abstract {"-" pattern}]]]])
+    [abstract "*"]]]])
 
 (abstract: .public (Policy brand value label)
   value
-- 
cgit v1.2.3