skeem 0.2.14 → 0.2.18

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,19 +97,19 @@ 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
-      result = inspect_prefix + operator.inspect + ', '
-      result << '@operands ' + operands.inspect + inspect_suffix
+      result = +"#{inspect_prefix}#{operator.inspect}, "
+      result << "@operands #{operands.inspect}#{inspect_suffix}"
       result
     end
 
     def associations
-      [:operator, :operands]
+      %i[operator operands]
     end
 
     alias children operands
@@ -121,14 +124,13 @@ 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
+        when Primitive::PrimitiveProcedure, SkmLambda
           callee = operator
         when SkmLambdaRep
           callee = operator.evaluate(aRuntime)
-        when SkmLambda
-          callee = operator
         else
           result = operator.evaluate(aRuntime)
           if result.kind_of?(Primitive::PrimitiveProcedure)
@@ -144,14 +146,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 +174,7 @@ module Skeem
 
     def transform_operands(aRuntime)
       return [] if operands == SkmEmptyList.instance
+
       actuals = operands.to_a
 
       result = actuals.map do |actual|
@@ -185,9 +188,6 @@ module Skeem
 
       result.nil? ? [] : result
     end
-
-
-
   end # class
 
   class SkmCondition < SkmMultiExpression
@@ -211,6 +211,7 @@ module Skeem
       else
         condition_result = consequent.evaluate(aRuntime)
       end
+      condition_result
     end
 
     def quasiquote(aRuntime)
@@ -218,22 +219,21 @@ 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
-      result = inspect_prefix + '@test ' + test.inspect + ', '
-      result << '@consequent ' + consequent.inspect + ', '
-      result << '@alternate ' + alternate.inspect + inspect_suffix
+      result = +"#{inspect_prefix}@test #{test.inspect}, "
+      result << "@consequent #{consequent.inspect}, "
+      result << "@alternate #{alternate.inspect}#{inspect_suffix}"
       result
     end
 
     def associations
-      [:test, :consequent, :alternate]
+      %i[test consequent alternate]
     end
   end # class
 
-
   class SkmConditional < SkmMultiExpression
     # An array of couples [test, sequence]
     attr_reader :clauses
@@ -266,7 +266,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]
@@ -277,27 +277,31 @@ module Skeem
     end
 
     def inspect
-      result = inspect_prefix + '@test ' + test.inspect + ', '
+      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 << "@alternate #{alternate.inspect}#{inspect_suffix}"
       result
     end
   end # class
 
   SkmArity = Struct.new(:low, :high) do
+    # rubocop: disable Style/NumericPredicate
+
     def nullary?
       low.zero? && high == 0
     end
+    # rubocop: enable Style/NumericPredicate
 
     def variadic?
       high == '*'
     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
@@ -442,6 +446,7 @@ end # class
     attr_reader :update_steps
 
     def initialize(aTest, doResult, theCommands, theUpdates)
+      super(nil)
       @test = aTest
       @do_result = doResult
       @commands = theCommands
@@ -454,12 +459,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 +481,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,17 +539,14 @@ 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
 
-
   # Parse tree representation of a Lambda
   # - Not bound to a frame (aka environment)
   # - Knows the parse representation of its embedded definitions
@@ -581,7 +608,7 @@ end # class
     end
 
     def associations
-      [:formals, :definitions, :sequence]
+      %i[formals definitions sequence]
     end
 
     def bind_locals(aRuntime, theActuals)
@@ -589,20 +616,20 @@ 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)
         variadic_part = variadic_part_raw.map do |actual|
           case actual
-            when ProcedureCall
-              actual.evaluate(aRuntime)
-            when SkmQuotation
+            when ProcedureCall, SkmQuotation
               actual.evaluate(aRuntime)
             else
               to_datum(actual)
@@ -619,7 +646,7 @@ end # class
         # $stderr.puts "Tef #{aProcedureCall.inspect}"
         # a_def.evaluate(aRuntime)
       end
-      #aProcedureCall.operands_consumed = true
+      # aProcedureCall.operands_consumed = true
     end
 
     private
@@ -660,28 +687,22 @@ 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 << '@formals ' + formals.inspect + ', '
-      result << '@definitions ' + definitions.inspect + ', '
-      result << '@sequence ' + sequence.inspect + inspect_suffix
+      result = +''
+      result << "@formals #{formals.inspect}, "
+      result << "@definitions #{definitions.inspect}, "
+      result << "@sequence #{sequence.inspect}#{inspect_suffix}"
 
       result
     end
   end # class
 
-
-
-
-require 'forwardable'
-require_relative 'skm_procedure_exec'
-
   class SkmLambda < SkmMultiExpression
     include DatumDSL
     extend Forwardable
@@ -692,11 +713,12 @@ require_relative 'skm_procedure_exec'
     def_delegators(:@representation, :formals, :definitions, :sequence)
 
     def initialize(aRepresentation, aRuntime)
+      super(nil)
       @representation = aRepresentation
       @environment = aRuntime.environment
     end
 
-    def evaluate(aRuntime)
+    def evaluate(_runtime)
       self
     end
 
@@ -746,7 +768,7 @@ require_relative 'skm_procedure_exec'
     end
 
     def associations
-      [:formals, :definitions, :sequence]
+      %i[formals definitions sequence]
     end
 
     def bind_locals(aRuntime, theActuals)
@@ -754,20 +776,20 @@ 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)
         variadic_part = variadic_part_raw.map do |actual|
           case actual
-            when ProcedureCall
-              actual.evaluate(aRuntime)
-            when SkmQuotation
+            when ProcedureCall, SkmQuotation
               actual.evaluate(aRuntime)
             else
               to_datum(actual)
@@ -784,26 +806,22 @@ 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)
       result = nil
-      if sequence
-        sequence.each do |cmd|
-          begin
-            if cmd.kind_of?(SkmLambda)
-              result = cmd.dup_cond(aRuntime)
-            else
-              result = cmd.evaluate(aRuntime)
-            end
-          rescue NoMethodError => exc
-            $stderr.puts self.inspect
-            $stderr.puts sequence.inspect
-            $stderr.puts cmd.inspect
-            raise exc
-          end
+      sequence&.each do |cmd|
+        if cmd.kind_of?(SkmLambda)
+          result = cmd.dup_cond(aRuntime)
+        else
+          result = cmd.evaluate(aRuntime)
         end
+        rescue NoMethodError => e
+          $stderr.puts inspect
+          $stderr.puts sequence.inspect
+          $stderr.puts cmd.inspect
+          raise e
       end
 
       result
@@ -811,22 +829,18 @@ require_relative 'skm_procedure_exec'
 
     def dup_cond(aRuntime)
       if environment
-        result = self
+        self
       else
-        twin = self.dup
+        twin = dup
         twin.set_cond_environment(aRuntime.environment)
-        result = twin
+        twin
       end
-
-      result
     end
 
     def doppelganger(aRuntime)
-      twin = self.dup
+      twin = dup
       twin.set_cond_environment(aRuntime.environment.dup)
-      result = twin
-
-      result
+      twin
     end
 
     def set_cond_environment(theFrame)
@@ -834,9 +848,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,22 +894,22 @@ 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
-      result << '@formals ' + formals.inspect + ', '
-      result << '@definitions ' + definitions.inspect + ', '
-      result << '@sequence ' + sequence.inspect + inspect_suffix
+      result << "@formals #{formals.inspect}, "
+      result << "@definitions #{definitions.inspect}, "
+      result << "@sequence #{sequence.inspect}#{inspect_suffix}"
 
       result
     end