From 26d72ce56ed1e9066edfbb3fedd8f5570d0cb5f4 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Thu, 21 Sep 2017 21:11:13 -0700 Subject: Overhaul of invocations/specs. Much cleaner and more consistent now, with less code duplication. --- lib/permissions.nom | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'lib/permissions.nom') diff --git a/lib/permissions.nom b/lib/permissions.nom index fd55ec8..41d559e 100644 --- a/lib/permissions.nom +++ b/lib/permissions.nom @@ -6,8 +6,8 @@ require "lib/collections.nom" # Permission functions rule [restrict %rules to within %elite-rules] =: say ".."|Restricting \%rules\ to within \%elite-rules\ - %rules =: compiler "get_invocations" [%rules] - %elite-rules =: compiler "get_invocations" [%elite-rules] + %rules =: keys in (compiler "get_aliases" [%rules]) + %elite-rules =: keys in (compiler "get_aliases" [%elite-rules]) for all (flatten [%elite-rules, %rules]): assert ((compiler's "defs") has key %it) ".."|Undefined function: \%it\ for all %rules: @@ -20,8 +20,8 @@ rule [restrict %rules to within %elite-rules] =: rule [allow %elite-rules to use %rules] =: say ".."|Allowing \%elite-rules\ to use \%rules\ - %rules =: compiler "get_invocations" [%rules] - %elite-rules =: compiler "get_invocations" [%elite-rules] + %rules =: keys in (compiler "get_aliases" [%rules]) + %elite-rules =: keys in (compiler "get_aliases" [%elite-rules]) for all (flatten [%elite-rules, %rules]): assert ((compiler's "defs") has key %it) ".."|Undefined function: \%it\ for %fn in %rules: @@ -33,8 +33,8 @@ rule [allow %elite-rules to use %rules] =: rule [forbid %pleb-rules to use %rules] =: say ".."|Forbidding \%pleb-rules\ to use \%rules\ - %rules =: compiler "get_invocations" [%rules] - %pleb-rules =: compiler "get_invocations" [%pleb-rules] + %rules =: keys in (compiler "get_aliases" [%rules]) + %pleb-rules =: keys in (compiler "get_aliases" [%pleb-rules]) for all (flatten [%pleb-rules, %used]): assert ((compiler's "defs") has key %it) ".."|Undefined function: \%it\ for all %rules: -- cgit v1.2.3