From 891b1cfc82322f8017f0a4f6b707d6fe52024545 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 3 Sep 2021 21:51:30 -0400
Subject: Unified tuple and record syntax.

---
 stdlib/source/library/lux/control/security/policy.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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

diff --git a/stdlib/source/library/lux/control/security/policy.lux b/stdlib/source/library/lux/control/security/policy.lux
index c9e840698..44d233cde 100644
--- a/stdlib/source/library/lux/control/security/policy.lux
+++ b/stdlib/source/library/lux/control/security/policy.lux
@@ -21,8 +21,8 @@
 
   (type: .public (Privilege brand label)
     (Record
-     {#can_upgrade (Can_Upgrade brand label)
-      #can_downgrade (Can_Downgrade brand label)}))
+     [#can_upgrade (Can_Upgrade brand label)
+      #can_downgrade (Can_Downgrade brand label)]))
 
   (type: .public (Delegation brand from to)
     (All (_ value)
@@ -41,8 +41,8 @@
 
   (def: privilege
     Privilege
-    {#can_upgrade (|>> :abstraction)
-     #can_downgrade (|>> :representation)})
+    [#can_upgrade (|>> :abstraction)
+     #can_downgrade (|>> :representation)])
 
   (def: .public (with_policy context)
     (All (_ brand scope)
-- 
cgit v1.2.3