skeem 0.2.15 → 0.2.16

data/lib/skeem/primitive/primitive_procedure.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require_relative '../s_expr_nodes'
 
 module Skeem
@@ -17,7 +19,7 @@ module Skeem
       def callable?
         true
       end
-      
+
       def procedure?
         true
       end
@@ -76,10 +78,8 @@ module Skeem
           if (anArity.low + 2) != count_param
             discrepancy_arity_argument_count(anArity.low, count_param, 2)
           end
-        else # fixed arity...
-          if (anArity.high + 1) != count_param
-            discrepancy_arity_argument_count(anArity.high, count_param, 1)
-          end
+        elsif (anArity.high + 1) != count_param # fixed arity...
+          discrepancy_arity_argument_count(anArity.high, count_param, 1)
         end
 
         anArity
@@ -102,10 +102,8 @@ module Skeem
           if count_actuals > arity.high
             wrong_number_arguments(arity.high, count_actuals)
           end
-        else # fixed non-zero arity...
-          if count_actuals != arity.high
-            wrong_number_arguments(arity.high, count_actuals)
-          end
+        elsif count_actuals != arity.high # fixed non-zero arity...
+          wrong_number_arguments(arity.high, count_actuals)
         end
       end
 
@@ -114,11 +112,11 @@ module Skeem
           result = code.call(aRuntime)
         elsif arity.variadic? || (arity.low < arity.high)
           if arity.low.zero?
-            if ['and', 'or', 'append'].include? identifier
+            if %w[and or append].include? identifier
               # Defer the evaluation of arguments to the primitive
               result = code.call(aRuntime, operands)
             else
-              evaluated_args = operands.map {|opernd| opernd.evaluate(aRuntime) }
+              evaluated_args = operands.map { |opernd| opernd.evaluate(aRuntime) }
               result = code.call(aRuntime, evaluated_args)
             end
           else
@@ -134,14 +132,13 @@ module Skeem
             # p args.inspect
             result = code.send(:call, aRuntime, *args)
           end
-        else # Fixed arity...
-          if identifier.value =~ /^set-[a-zA-Z]+!/ || identifier.value =~ /[a-zA-Z]+-set!/
-            # Defer evaluation inside the primitive
-            result = code.send(:call, aRuntime, *operands)
-          else
-            evaluated_args = operands.map {|opernd| opernd.evaluate(aRuntime) }
-            result = code.send(:call, aRuntime, *evaluated_args)          
-          end
+        elsif identifier.value =~ /^set-[a-zA-Z]+!/ || identifier.value =~ /[a-zA-Z]+-set!/
+          # Fixed arity...
+          # Defer evaluation inside the primitive
+          result = code.send(:call, aRuntime, *operands)
+        else
+          evaluated_args = operands.map { |opernd| opernd.evaluate(aRuntime) }
+          result = code.send(:call, aRuntime, *evaluated_args)
         end
 
         result
@@ -166,4 +163,4 @@ module Skeem
       end
     end # class
   end # module
-end # module
+end # module

data/lib/skeem/runtime.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require_relative 's_expr_nodes'
 
 module Skeem
@@ -41,13 +43,12 @@ module Skeem
         result = nil
         begin
           result = entry.evaluate(self)
-
-        rescue NoMethodError => exc
+        rescue NoMethodError => e
           # $stderr.puts 'In rescue block'
           # $stderr.puts key_value.inspect
           # $stderr.puts entry.inspect
           # $stderr.puts entry.expression.inspect
-          raise exc
+          raise e
         end
         result
       else
@@ -66,13 +67,14 @@ module Skeem
       invokation.evaluate(self)
     end
 
-    def nest()
+    def nest
       nested = SkmFrame.new(environment)
       push(nested)
     end
 
     def unnest
       raise StandardError, 'Cannot unnest environment' unless environment.parent
+
       environment.bindings.clear
       pop
     end
@@ -90,6 +92,7 @@ module Skeem
       if env_stack.empty?
         raise StandardError, 'Skeem environment stack empty!'
       end
+
       env_stack.pop
     end
 
@@ -110,6 +113,7 @@ module Skeem
       if call_stack.empty?
         raise StandardError, 'Skeem call stack empty!'
       end
+
       call_stack.pop
     end
 
@@ -132,4 +136,4 @@ module Skeem
       result
     end
   end # class
-end # module
+end # module

data/lib/skeem/s_expr_builder.rb

@@ -1,3 +1,5 @@
+# frozen_string_literal: true
+
 require 'stringio'
 require_relative 'skm_pair'
 require_relative 'skm_binding'
@@ -43,11 +45,23 @@ module Skeem
     def reduce_main(_production, _range, _tokens, theChildren)
       last_child = theChildren.last
       # $stderr.puts last_child.inspect
-      result = if last_child.length == 1
-                  last_child.car
-                else
-                  last_child
-                end
+      if last_child.length == 1
+        last_child.car
+      else
+        last_child
+      end
+    end
+
+    # Default semantic action for rules of the form:
+    # rule 'some_symbol_star' => 'some_symbol_star some_symbol'
+    def reduce_star_default(_production, _range, _tokens, theChildren)
+      theChildren[0] << theChildren[1]
+    end
+
+    # Default semantic action for rules of the form:
+    # rule 'some_symbol_star' => []
+    def reduce_star_base(_production, _range, _tokens, _children)
+      []
     end
 
     # rule('cmd_or_def_plus' => 'cmd_or_def_plus cmd_or_def').as 'multiple_cmd_def'
@@ -81,7 +95,7 @@ module Skeem
     end
 
     # rule('definition' => 'LPAREN BEGIN definition_star RPAREN').as 'definitions_within_begin'
-    def reduce_definitions_within_begin(_production, aRange, _tokens, theChildren)
+    def reduce_definitions_within_begin(_production, _range, _tokens, theChildren)
       SkmSequencingBlock.new(SkmPair.create_from_a(theChildren[2]))
     end
 
@@ -135,20 +149,10 @@ module Skeem
     end
 
     # rule('vector' => 'VECTOR_BEGIN datum_star RPAREN').as 'vector'
-    def reduce_vector(_production, aRange, _tokens, theChildren)
+    def reduce_vector(_production, _range, _tokens, theChildren)
       SkmVector.new(theChildren[1])
     end
 
-    # rule('datum_star' => 'datum_star datum').as 'datum_star'
-    def reduce_datum_star(_production, aRange, _tokens, theChildren)
-      theChildren[0] << theChildren[1]
-    end
-
-    # rule('datum_star' => []).as 'no_datum_yet'
-    def reduce_no_datum_yet(_production, aRange, _tokens, theChildren)
-      []
-    end
-
     # rule('procedure_call' => 'LPAREN operator RPAREN').as 'proc_call_nullary'
     def reduce_proc_call_nullary(_production, aRange, _tokens, theChildren)
       ProcedureCall.new(aRange, theChildren[1], [])
@@ -174,11 +178,6 @@ module Skeem
       [theChildren.last]
     end
 
-    # rule('operand_plus' => 'operand').as 'last_operand'
-    def reduce_last_operand(_production, _range, _tokens, theChildren)
-      [theChildren.last]
-    end
-
     # rule('def_formals' => 'identifier_star').as 'def_formals'
     def reduce_def_formals(_production, _range, _tokens, theChildren)
       SkmFormals.new(theChildren[0], :fixed)
@@ -213,16 +212,6 @@ module Skeem
       SkmFormals.new(formals, :variadic)
     end
 
-    # rule('identifier_star' => 'identifier_star IDENTIFIER').as 'identifier_star'
-    def reduce_identifier_star(_production, _range, _tokens, theChildren)
-      theChildren[0] << theChildren[1]
-    end
-
-    # rule('identifier_star' => []).as 'no_identifier_yet'
-    def reduce_no_identifier_yet(_production, _range, _tokens, theChildren)
-      []
-    end
-
     # rule('identifier_plus' => 'identifier_plus IDENTIFIER').as 'multiple_identifiers'
     def reduce_multiple_identifiers(_production, _range, _tokens, theChildren)
       theChildren[0] << theChildren[1]
@@ -239,32 +228,11 @@ module Skeem
       { defs: definitions, sequence: theChildren[1] }
     end
 
-    # rule('definition_star' => 'definition_star definition').as 'definition_star'
-    def reduce_definition_star(_production, _range, _tokens, theChildren)
-      theChildren[0] << theChildren[1]
-    end
-
-
-    # rule('definition_star' => []).as 'no_definition_yet'
-    def reduce_no_definition_yet(_production, _range, _tokens, theChildren)
-      []
-    end
-
     # rule('sequence' => 'command_star expression').as 'sequence'
     def reduce_sequence(_production, _range, _tokens, theChildren)
       SkmPair.create_from_a(theChildren[0] << theChildren[1])
     end
 
-    # rule('command_star' => 'command_star command').as 'multiple_commands'
-    def reduce_multiple_commands(_production, _range, _tokens, theChildren)
-      theChildren[0] << theChildren[1]
-    end
-
-    # rule('command_star' => []).as 'no_command_yet'
-    def reduce_no_command_yet(_production, _range, _tokens, theChildren)
-      []
-    end
-
     # rule('conditional' => 'LPAREN IF test consequent alternate RPAREN').as 'conditional'
     def reduce_conditional(_production, aRange, _tokens, theChildren)
       SkmCondition.new(aRange, theChildren[2], theChildren[3], theChildren[4])
@@ -286,7 +254,7 @@ module Skeem
     end
 
     # rule('derived_expression' => 'LPAREN LET LPAREN binding_spec_star RPAREN body RPAREN').as 'short_let_form'
-    def reduce_short_let_form(_production, aRange, _tokens, theChildren)
+    def reduce_short_let_form(_production, _range, _tokens, theChildren)
       SkmBindingBlock.new(:let, theChildren[3], theChildren[5])
     end
 
@@ -309,9 +277,9 @@ module Skeem
 
       # We reky on utility 'builder' object
       worker = SkmDoExprBuilder.new(theChildren[3], theChildren[6],
-        theChildren[7], theChildren[9])
+                                    theChildren[7], theChildren[9])
       do_expression = worker.do_expression
-      body = { :defs => [], :sequence => do_expression }
+      body = { defs: [], sequence: do_expression }
       SkmBindingBlock.new(:let_star, worker.bindings, body)
     end
 
@@ -325,16 +293,6 @@ module Skeem
       [theChildren[0]]
     end
 
-    # rule('cond_clause_star' => 'cond_clause_star cond_clause').as 'cond_clauses_star'
-    def reduce_cond_clauses_star(_production, _range, _tokens, theChildren)
-      theChildren[0] << theChildren[1]
-    end
-
-    # rule('cond_clause_star' => []).as 'last_cond_clauses_star'
-    def reduce_last_cond_clauses_star(_production, _range, _tokens, _children)
-      []
-    end
-
     # rule('cond_clause' => 'LPAREN test sequence RPAREN').as 'cond_clause'
     def reduce_cond_clause(_production, _range, _tokens, theChildren)
       [theChildren[1], SkmSequencingBlock.new(SkmPair.create_from_a(theChildren[2]))]
@@ -346,40 +304,20 @@ module Skeem
     end
 
     # rule('quasiquotation' => 'LPAREN QUASIQUOTE qq_template RPAREN').as 'quasiquotation'
-    def reduce_quasiquotation(_production, aRange, _tokens, theChildren)
+    def reduce_quasiquotation(_production, _range, _tokens, theChildren)
       SkmQuasiquotation.new(theChildren[2])
     end
 
     # rule('quasiquotation' => 'GRAVE_ACCENT qq_template').as 'quasiquotation_short'
-    def reduce_quasiquotation_short(_production, aRange, _tokens, theChildren)
+    def reduce_quasiquotation_short(_production, _range, _tokens, theChildren)
       SkmQuasiquotation.new(theChildren[1])
     end
 
-    # rule('binding_spec_star' => 'binding_spec_star binding_spec').as 'multiple_binding_specs'
-    def reduce_multiple_binding_specs(_production, aRange, _tokens, theChildren)
-      theChildren[0] << theChildren[1]
-    end
-
-    # rule('binding_spec_star' => []).as 'no_binding_spec_yet'
-    def reduce_no_binding_spec_yet(_production, aRange, _tokens, _children)
-      []
-    end
-
     # rule('binding_spec' => 'LPAREN IDENTIFIER expression RPAREN').as 'binding_spec'
-    def reduce_binding_spec(production, _range, _tokens, theChildren)
+    def reduce_binding_spec(_production, _range, _tokens, theChildren)
       SkmBinding.new(theChildren[1], theChildren[2])
     end
 
-    # rule('iteration_spec_star' => 'iteration_spec_star iteration_spec').as 'multiple_iter_specs'
-    def reduce_multiple_iter_specs(_production, _range, _tokens, theChildren)
-      theChildren[0] << theChildren[1]
-    end
-
-    # rule('iteration_spec_star' => []).as 'no_iter_spec_yet'
-    def reduce_no_iter_spec_yet(_production, _range, _tokens, _children)
-      []
-    end
-
     # rule('iteration_spec' => 'LPAREN IDENTIFIER init step RPAREN').as 'iteration_spec_long'
     def reduce_iteration_spec_long(_production, _range, _tokens, theChildren)
       SkmIterationSpec.new(theChildren[1], theChildren[2], theChildren[3])
@@ -391,10 +329,26 @@ module Skeem
     end
 
     # rule('do_result' => []).as 'empty_do_result'
-    def reduce_empty_do_result(_production, _range, _tokens, theChildren)
+    def reduce_empty_do_result(_production, _range, _tokens, _children)
       SkmEmptyList.instance
     end
 
+    # rule('includer' => 'LPAREN INCLUDE string_plus RPAREN').as 'include'
+    def reduce_include(_production, _range, _tokens, theChildren)
+      includer = SkmIncluder.new(theChildren[2])
+      includer.build
+    end
+
+    # rule('string_plus' => 'string_plus STRING_LIT').as 'multiple_string'
+    def reduce_multiple_string(_production, _range, _tokens, theChildren)
+      theChildren[0] << theChildren[1]
+    end
+
+    # rule('string_plus' => 'STRING_LIT').as 'last_single_string'
+    def reduce_last_single_string(_production, _range, _tokens, theChildren)
+      [theChildren[0]]
+    end
+
     # rule('list_qq_template' => 'LPAREN qq_template_or_splice_star RPAREN').as 'list_qq'
     def reduce_list_qq(_production, _range, _tokens, theChildren)
       SkmPair.create_from_a(theChildren[1])
@@ -406,21 +360,9 @@ module Skeem
     end
 
     # rule('unquotation' => 'COMMA qq_template').as 'unquotation_short'
-    def reduce_unquotation_short(_production, aRange, _tokens, theChildren)
+    def reduce_unquotation_short(_production, _range, _tokens, theChildren)
       SkmUnquotation.new(theChildren[1])
     end
-
-    # rule('qq_template_or_splice_star' => 'qq_template_or_splice_star qq_template_or_splice').as 'multiple_template_splice'
-    def reduce_multiple_template_splice(_production, _range, _tokens, theChildren)
-      theChildren[0] << theChildren[1]
-    end
-
-    # rule('qq_template_or_splice_star' => []).as 'no_template_splice_yet'
-    def reduce_no_template_splice_yet(_production, _range, _tokens, theChildren)
-      []
-    end
-
-
   end # class
 end # module
-# End of file
+# End of file

data/lib/skeem/s_expr_nodes.rb

@@ -1,9 +1,13 @@
+# frozen_string_literal: true
+
 # Classes that implement nodes of Abstract Syntax Trees (AST) representing
 # Skeem parse results.
+require 'forwardable'
 require 'singleton'
 
 require_relative 'datum_dsl'
 require_relative 'skm_unary_expression'
+require_relative 'skm_procedure_exec'
 
 module Skeem
   class SkmUndefined
@@ -20,7 +24,7 @@ module Skeem
     private
 
     def initialize
-      self.freeze
+      freeze
     end
   end # class
 
@@ -63,11 +67,11 @@ module Skeem
     end
 
     def evaluate(aRuntime)
-      frame_change = false
       aRuntime.push_call(self)
+      # frame_change = false
       # $stderr.puts "\n Start of ProcedureCall#evaluate #{object_id.to_s(16)}"
       # $stderr.puts "  environment: #{aRuntime.environment.object_id.to_s(16)}, "
-      if aRuntime.environment && aRuntime.environment.parent
+      if aRuntime.environment&.parent
         # $stderr.puts "Parent environment #{aRuntime.environment.parent.object_id.to_s(16)}, "
         # $stderr.puts aRuntime.environment.inspect
       end
@@ -84,7 +88,6 @@ module Skeem
         # end
         # $stderr.puts '  callee: ' + callee.inspect
         result = callee.call(aRuntime, actuals)
-        operands_consumed = true
         # aRuntime.pop if frame_change
       end
       aRuntime.pop_call
@@ -94,9 +97,9 @@ module Skeem
 
     def quasiquote(aRuntime)
       quasi_operator = operator.quasiquote(aRuntime)
-      quasi_operands = operands.map { |oper | oper.quasiquote(aRuntime) }
+      quasi_operands = operands.map { |oper| oper.quasiquote(aRuntime) }
 
-       self.class.new(position, quasi_operator, quasi_operands)
+      self.class.new(position, quasi_operator, quasi_operands)
     end
 
     def inspect
@@ -106,7 +109,7 @@ module Skeem
     end
 
     def associations
-      [:operator, :operands]
+      %i[operator operands]
     end
 
     alias children operands
@@ -121,6 +124,7 @@ module Skeem
           result = operator.evaluate(aRuntime)
           # If child proc call consumes the parent's operand, then we're done
           return [:result, result] unless result.callable? # if operands_consumed
+
           callee = result
           # callee = fetch_callee(aRuntime, result)
         when Primitive::PrimitiveProcedure
@@ -144,14 +148,14 @@ module Skeem
     def fetch_callee(aRuntime, var_key)
       begin
         aRuntime.include?(var_key.value)
-      rescue NoMethodError => exc
+      rescue NoMethodError => e
         # $stderr.puts "VVVVVVVVVVVVVVV"
         # $stderr.puts 'var_key: ' + var_key.inspect
         # $stderr.puts 'operator: ' + operator.inspect
         # $stderr.puts 'operands: ' + operands.inspect
         # $stderr.puts 'operands_consumed: ' + operands_consumed.inspect
         # $stderr.puts "^^^^^^^^^^^^^^^"
-        raise exc
+        raise e
       end
       unless aRuntime.include?(var_key.value)
         err = StandardError
@@ -172,6 +176,7 @@ module Skeem
 
     def transform_operands(aRuntime)
       return [] if operands == SkmEmptyList.instance
+
       actuals = operands.to_a
 
       result = actuals.map do |actual|
@@ -185,9 +190,6 @@ module Skeem
 
       result.nil? ? [] : result
     end
-
-
-
   end # class
 
   class SkmCondition < SkmMultiExpression
@@ -211,6 +213,7 @@ module Skeem
       else
         condition_result = consequent.evaluate(aRuntime)
       end
+      condition_result
     end
 
     def quasiquote(aRuntime)
@@ -218,7 +221,7 @@ module Skeem
       quasi_consequent = consequent.quasiquote(aRuntime)
       quasi_alternate = alternate.quasiquote(aRuntime)
 
-       self.class.new(position, quasi_test, quasi_consequent, quasi_alternate)
+      self.class.new(position, quasi_test, quasi_consequent, quasi_alternate)
     end
 
     def inspect
@@ -229,7 +232,7 @@ module Skeem
     end
 
     def associations
-      [:test, :consequent, :alternate]
+      %i[test consequent alternate]
     end
   end # class
 
@@ -266,7 +269,7 @@ module Skeem
     end
 
     def quasiquote(aRuntime)
-        quasi_clauses = clauses.map do |(test, consequent)|
+      quasi_clauses = clauses.map do |(test, consequent)|
           test_qq = test.quasiquote(aRuntime)
           consequent_qq = consequent.quasiquote(aRuntime)
           [test_qq, consequent_qq]
@@ -280,7 +283,7 @@ module Skeem
       result = inspect_prefix + '@test ' + test.inspect + ', '
       result << "@clauses \n"
       clauses.each do |(test, consequent)|
-        result << '  '  << test.inspect << ' ' << consequent.inspect << "\n"
+        result << '  ' << test.inspect << ' ' << consequent.inspect << "\n"
       end
       result << '@alternate ' + alternate.inspect + inspect_suffix
       result
@@ -297,7 +300,8 @@ module Skeem
     end
 
     def ==(other)
-      return true if self.object_id == other.object_id
+      return true if object_id == other.object_id
+
       result = false
 
       case other
@@ -325,61 +329,61 @@ module Skeem
     end
   end # class
 
-class SkmDoExprBuilder
-  attr_reader :bindings
-  attr_reader :update_steps
-  attr_reader :test
-  attr_reader :do_result
-  attr_reader :commands
+  class SkmDoExprBuilder
+    attr_reader :bindings
+    attr_reader :update_steps
+    attr_reader :test
+    attr_reader :do_result
+    attr_reader :commands
 
-  # 3 => iteration_spec_star, 6 => test, 7 => do_result, 9 => command_star
+    # 3 => iteration_spec_star, 6 => test, 7 => do_result, 9 => command_star
 
-  def initialize(iterSpecs, aTest, doResult, theCommands)
-    iteration_specs_set(iterSpecs)
-    @test = aTest
-    @do_result = doResult
-    commands_set(theCommands)
-  end
+    def initialize(iterSpecs, aTest, doResult, theCommands)
+      iteration_specs_set(iterSpecs)
+      @test = aTest
+      @do_result = doResult
+      commands_set(theCommands)
+    end
 
-  def do_expression
-    DoExpression.new(test, do_result, commands, update_steps)
-  end
+    def do_expression
+      DoExpression.new(test, do_result, commands, update_steps)
+    end
 
-  private
+    private
 
-  def iteration_specs_set(iterSpecs)
-    @bindings = iterSpecs.map do |iter_spec|
+    def iteration_specs_set(iterSpecs)
+      @bindings = iterSpecs.map do |iter_spec|
         var = iter_spec.variable
         val = iter_spec.init_expr
         SkmBinding.new(var, val)
       end
 
-    to_update = iterSpecs.select { |iter_spec| iter_spec.step_expr }
-    if to_update
-      steps = to_update.map do |iter_spec|
-        SkmDelayedUpdateBinding.new(iter_spec.variable, iter_spec.step_expr)
-      end
-      if steps.size == 1
-        @update_steps = steps[0]
+      to_update = iterSpecs.select(&:step_expr)
+      if to_update
+        steps = to_update.map do |iter_spec|
+          SkmDelayedUpdateBinding.new(iter_spec.variable, iter_spec.step_expr)
+        end
+        if steps.size == 1
+          @update_steps = steps[0]
+        else
+          @update_steps = SkmPair.create_from_a(steps)
+        end
       else
-        @update_steps = SkmPair.create_from_a(steps)
+        @update_steps = SkmEmptyList.instance
       end
-    else
-      @update_steps = SkmEmptyList.instance
     end
-  end
 
-  def commands_set(theCommands)
-    case theCommands.size
-      when 0
-        @commands = SkmEmptyList.instance
-      when 1
-        @commands = theCommands[0]
-      else
-        @commands = SkmSequencingBlock.new(SkmPair.create_from_a(theCommands))
+    def commands_set(theCommands)
+      case theCommands.size
+        when 0
+          @commands = SkmEmptyList.instance
+        when 1
+          @commands = theCommands[0]
+        else
+          @commands = SkmSequencingBlock.new(SkmPair.create_from_a(theCommands))
+      end
     end
-  end
-end # class
+  end # class
 
   # Syntax outline:
   #  LPAREN DO LPAREN iteration_spec_star RPAREN
@@ -454,12 +458,12 @@ end # class
         test_result = test.evaluate(aRuntime)
         if test_result.boolean? && test_result.value == false
           # Only #f is considered as false, everything else is true
-          commands.evaluate(aRuntime) if commands
+          commands&.evaluate(aRuntime)
           if update_steps
             update_steps.evaluate(aRuntime)
             case update_steps
               when SkmEmptyList.instance
-                ; Do nothing
+                # Do nothing
               when SkmPair
                 arr = update_steps.to_a
                 arr.each { |delayed_binding| delayed_binding.do_it!(aRuntime) }
@@ -476,6 +480,31 @@ end # class
     end
   end # class
 
+  class SkmIncluder
+    attr_reader :filenames
+
+    def initialize(theFilenames)
+      @filenames = theFilenames
+    end
+
+    def build
+      parser = Skeem::Parser.new
+      parse_results = filenames.map do |fname|
+        f_source = File.read(fname.value)
+        ptree = parser.parse(f_source)
+        ptree.root
+      end
+
+      if parse_results.size == 1
+        result = parse_results[0]
+      else
+        sequence = SkmPair.create_from_a(parse_results)
+        result = SkmSequencingBlock.new(sequence)
+      end
+      result
+    end
+  end # class
+
   class SkmFormals
     attr_reader :formals
     attr_reader :arity
@@ -509,12 +538,10 @@ end # class
 
       if arityKind == :fixed
         @arity = SkmArity.new(fixed_arity, fixed_arity)
-      else # :variadic
-        if formals.empty?
-          raise StandardError, 'Internal error: inconsistent arity'
-        else
-          @arity = SkmArity.new(fixed_arity - 1, '*')
-        end
+      elsif formals.empty? # :variadic
+        raise StandardError, 'Internal error: inconsistent arity'
+      else
+        @arity = SkmArity.new(fixed_arity - 1, '*')
       end
     end
   end # class
@@ -581,7 +608,7 @@ end # class
     end
 
     def associations
-      [:formals, :definitions, :sequence]
+      %i[formals definitions sequence]
     end
 
     def bind_locals(aRuntime, theActuals)
@@ -589,12 +616,14 @@ end # class
       count_actuals = actuals.size
 
       if (count_actuals < required_arity) ||
-        ((count_actuals > required_arity) && !formals.variadic?)
+         ((count_actuals > required_arity) &&
+         !formals.variadic?)
         # $stderr.puts "Error"
         # $stderr.puts self.inspect
         raise StandardError, msg_arity_mismatch(theActuals)
       end
       return if count_actuals.zero? && !formals.variadic?
+
       bind_required_locals(aRuntime, theActuals)
       if formals.variadic?
         variadic_part_raw = actuals.drop(required_arity)
@@ -619,7 +648,7 @@ end # class
         # $stderr.puts "Tef #{aProcedureCall.inspect}"
         # a_def.evaluate(aRuntime)
       end
-      #aProcedureCall.operands_consumed = true
+      # aProcedureCall.operands_consumed = true
     end
 
     private
@@ -660,14 +689,14 @@ end # class
 
     def msg_arity_mismatch(actuals)
       # *** ERROR: wrong number of arguments for #<closure morph> (required 2, got 1)
-      msg1 = "Wrong number of arguments for procedure "
+      msg1 = 'Wrong number of arguments for procedure '
       count_actuals = actuals.size
       msg2 = "(required #{required_arity}, got #{count_actuals})"
       msg1 + msg2
     end
 
     def inspect_specific
-      result = ''
+      result = +''
       result << '@formals ' + formals.inspect + ', '
       result << '@definitions ' + definitions.inspect + ', '
       result << '@sequence ' + sequence.inspect + inspect_suffix
@@ -676,12 +705,6 @@ end # class
     end
   end # class
 
-
-
-
-require 'forwardable'
-require_relative 'skm_procedure_exec'
-
   class SkmLambda < SkmMultiExpression
     include DatumDSL
     extend Forwardable
@@ -696,7 +719,7 @@ require_relative 'skm_procedure_exec'
       @environment = aRuntime.environment
     end
 
-    def evaluate(aRuntime)
+    def evaluate(_runtime)
       self
     end
 
@@ -746,7 +769,7 @@ require_relative 'skm_procedure_exec'
     end
 
     def associations
-      [:formals, :definitions, :sequence]
+      %i[formals definitions sequence]
     end
 
     def bind_locals(aRuntime, theActuals)
@@ -754,12 +777,14 @@ require_relative 'skm_procedure_exec'
       count_actuals = actuals.size
 
       if (count_actuals < required_arity) ||
-        ((count_actuals > required_arity) && !formals.variadic?)
+         ((count_actuals > required_arity) &&
+         !formals.variadic?)
         # $stderr.puts "Error"
         # $stderr.puts self.inspect
         raise StandardError, msg_arity_mismatch(theActuals)
       end
       return if count_actuals.zero? && !formals.variadic?
+
       bind_required_locals(aRuntime, theActuals)
       if formals.variadic?
         variadic_part_raw = actuals.drop(required_arity)
@@ -784,7 +809,7 @@ require_relative 'skm_procedure_exec'
         # $stderr.puts "Tef #{aProcedureCall.inspect}"
         # a_def.evaluate(aRuntime)
       end
-      #aProcedureCall.operands_consumed = true
+      # aProcedureCall.operands_consumed = true
     end
 
     def evaluate_sequence(aRuntime)
@@ -797,11 +822,11 @@ require_relative 'skm_procedure_exec'
             else
               result = cmd.evaluate(aRuntime)
             end
-          rescue NoMethodError => exc
-            $stderr.puts self.inspect
+          rescue NoMethodError => e
+            $stderr.puts inspect
             $stderr.puts sequence.inspect
             $stderr.puts cmd.inspect
-            raise exc
+            raise e
           end
         end
       end
@@ -813,7 +838,7 @@ require_relative 'skm_procedure_exec'
       if environment
         result = self
       else
-        twin = self.dup
+        twin = dup
         twin.set_cond_environment(aRuntime.environment)
         result = twin
       end
@@ -822,7 +847,7 @@ require_relative 'skm_procedure_exec'
     end
 
     def doppelganger(aRuntime)
-      twin = self.dup
+      twin = dup
       twin.set_cond_environment(aRuntime.environment.dup)
       result = twin
 
@@ -834,9 +859,10 @@ require_relative 'skm_procedure_exec'
       # $stderr.puts "  Runtime environment: #{theFrame.object_id.to_s(16)}"
       # $stderr.puts "  Called from #{caller(1, 1)}"
       raise StandardError unless theFrame.kind_of?(SkmFrame)
+
       unless environment
         @environment = theFrame
-        self.freeze
+        freeze
         # $stderr.puts "  Lambda's environment updated!"
       end
     end
@@ -879,16 +905,16 @@ require_relative 'skm_procedure_exec'
 
     def msg_arity_mismatch(actuals)
       # *** ERROR: wrong number of arguments for #<closure morph> (required 2, got 1)
-      msg1 = "Wrong number of arguments for procedure "
+      msg1 = 'Wrong number of arguments for procedure '
       count_actuals = actuals.size
       msg2 = "(required #{required_arity}, got #{count_actuals})"
       msg1 + msg2
     end
 
     def inspect_specific
-      #result = "@environment #{environment.object_id.to_s(16)}, "
-      result = ''
-      if environment && environment.parent
+      # result = "@environment #{environment.object_id.to_s(16)}, "
+      result = +''
+      if environment&.parent
         result << "Parent environment #{environment.parent.object_id.to_s(16)}, "
         result << environment.inspect
       end