From f11afb9d2dfe2d59b41e8056eb8c4ae65268415f Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sat, 9 Apr 2022 00:46:03 -0400 Subject: Re-branded "abstract" types as "primitive" types. --- stdlib/source/library/lux/control/security/capability.lux | 4 ++-- stdlib/source/library/lux/control/security/policy.lux | 6 +++--- 2 files changed, 5 insertions(+), 5 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 9affbf537..84f146614 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 "*"]] + [primitive "*"]] ["[0]" meta] ["[0]" macro ["[0]" code] @@ -23,7 +23,7 @@ ["|[0]|" export] ["|[0]|" declaration]]]]]) -(abstract: .public (Capability brand input output) +(primitive: .public (Capability brand input output) (-> input output) (def: capability diff --git a/stdlib/source/library/lux/control/security/policy.lux b/stdlib/source/library/lux/control/security/policy.lux index de357b6e2..a05faeae2 100644 --- a/stdlib/source/library/lux/control/security/policy.lux +++ b/stdlib/source/library/lux/control/security/policy.lux @@ -6,9 +6,9 @@ [apply {"+" Apply}] [monad {"+" Monad}]] [type - [abstract "*"]]]]) + [primitive "*"]]]]) -(abstract: .public (Policy brand value label) +(primitive: .public (Policy brand value label) value (type: .public (Can_Upgrade brand label value) @@ -77,7 +77,7 @@ ) (template [ ] - [(abstract: .public + [(primitive: .public Any (type: .public -- cgit v1.2.3