From 801eb2c5dbc5b7b05ecd79454e2db686a0337430 Mon Sep 17 00:00:00 2001 From: Michel Jouvin Date: Sun, 3 Jun 2018 15:36:47 +0200 Subject: [PATCH] pan/functions: miscellaneous code cleanup --- pan/functions.pan | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/pan/functions.pan b/pan/functions.pan index 469cb578a..2be2f5c7c 100644 --- a/pan/functions.pan +++ b/pan/functions.pan @@ -83,9 +83,8 @@ function npush = { n = dict(); index = 0; while (index < ARGC) { - if (!is_string(ARGV[index])) - error(format("key is not a string: %s", ARGV[index])); - n[ARGV[index]] = ARGV[index + 1]; + if (!is_string(ARGV[index])) error(format("key is not a string: %s", ARGV[index])); + n[ARGV[index]] = ARGV[index+1]; index = index + 2; }; @@ -138,7 +137,6 @@ function push_if = { }; } else { - # Return either SELF or an empty list. if (is_defined(SELF)) { v = SELF; @@ -190,7 +188,7 @@ function domain_from_object = { # Check if a default domain has been defined if ( ARGC == 1 ) { # Default domain name is no longer used and passing the argument is deprecaded - deprecated(0, 'Using default_domain argument is deprecated. Use domain_from_object() instead'); + deprecated(0, 'Using default_domain argument is deprecated. Use domain_from_object() instead'); } else if ( ARGC > 1 ) { error("usage: domain_from_object()"); };