skeem 0.0.28 → 0.1.00

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: 9c6cb859a4082620c599599f02f5948ee5608d79
-  data.tar.gz: 742acc6b351efce05a6d40f7c9b558368c734fd5
+  metadata.gz: c18e55326253e46eb6287437d7730b35a115ac6d
+  data.tar.gz: 5e868f0b8fb7fc6f0814a3dc25f7f09d1b4c542f
 SHA512:
-  metadata.gz: fc51a07506b30450c78fd538a9127926378d6fdc3d165a1a3e075424295876a2727734bc4b969895f6f6bc76ea3f7c6a5e5ea6cdaec9495556a34b3d8e7c8c80
-  data.tar.gz: 076b28ff2fc211ed0ae3e2bf3cdfa08f4d220f5682c72f8f59e98dfe84f2555aa9ebbb529e08d94c24349e3845aad836c64eb541c5c2f414f917678fc36f096b
+  metadata.gz: 192c9172702d53cbbe60475740a4cb6e95b7641a6d817287d3b446eb4d40ebc4662f3cfc2eec0e36d40717b076a08005e2e541bcd8639bdb5661e3f153a727da
+  data.tar.gz: c2ae96f49f854b63919966ecd1d9275f89da8a1487230c78509e1533a8748813b589f571dcca9065f3262fd51e167608e8759e0412dd1c69c43c4579af0e9305

data/CHANGELOG.md

@@ -1,9 +1,32 @@
+## [0.1.00] - 2018-12-28
+- Version bumped because lists are re-implemented in a way to closer to historical Scheme/Lisp.
+- A lot of internal refactoring after list re-implementation...
+
+### Added
+- File `primitive_builder.rb` implementation of: `pair?`, `car`, `cdr`, `cons`, `list->vectors` list procedures.
+- File `primitive_builder.rb` implementation of: `vector->list` vector procedures.
+
+### Changed 
+- Class `SkmList` is now deprecated and being replaced by `SkmPair`nodes.  
+- Class `SkmElementVisitor` supports new visit events: `visit_empty_list` and `visit_pair`
+
+
+## [0.0.28] - 2018-12-10
+- Nasty bug fix: interpreter was'nt able to retrieve data argument deep in call stack.
+
+### Added
+- Method `Environment#inspect`
+
+### Fixed
+- Method `SkmDefinition#call` now accepts variable references that refer to a lambda or a primitive procedure.
+- Method `SkmLambda#evaluate_sequence` failed when argument value came from a caller deep in call stack?
+- Added a specific test in `interpreter_spec.rb`
+
 ## [0.0.27] - 2018-11-25
 ### Fixed
 - The interpreter failed with second-order lambdas (lambda expression that contains another lambda)
 - Added a specific test in `interpreter_spec.rb`
 
-
 ## [0.0.26] - 2018-11-25
 
 ### Added

data/README.md

@@ -178,7 +178,7 @@ This section lists the implemented standard procedures
 * Integer-level: `even?`, `odd?`
 
 #### List procedures
-* `list?`, `null?`, `list`, `length`
+* `list?`, `null?`, `pair?`, `car`, `cdr`, `cons`,  `length`, `list`, `list->vector`
 
 #### String procedures
 * `string?`, `string=?`,  `string-append`, `string-length`, `string->symbol`,
@@ -187,7 +187,7 @@ This section lists the implemented standard procedures
 * `symbol?`, `symbol=?`
 
 #### Vector procedures
-* `vector?`, `vector`, `vector-length`, `vector-set!`
+* `vector?`, `vector`, `vector-length`, `vector-set!`, `vector->list`
 
 #### Input/output procedures
 * `newline`
@@ -204,7 +204,7 @@ Roadmap:
 - Extend the language in order to support [Minikanren](https://github.com/TheReasonedSchemer2ndEd/CodeFromTheReasonedSchemer2ndEd)
 - Make it pass all examples from the [Reasoned Schemer](https://mitpress.mit.edu/books/reasoned-schemer-second-edition) book.
 
-## Other Scheme implementation in Ruby
+## Other Scheme implementations in Ruby
 __Skeem__ isn't the sole implementation of the Scheme language in Ruby.  
 Here are a few other ones:  
 - [Heist gem](https://rubygems.org/gems/heist) -- Probably one of best Scheme implementation in Ruby. Really worth a try. Alas, the [project](https://github.com/jcoglan/heist) seems to be dormant for several years.

data/lib/skeem/datum_dsl.rb

@@ -1,5 +1,6 @@
 require_relative 'skm_simple_datum'
 require_relative 'skm_compound_datum'
+require_relative 'skm_pair'
 
 module Skeem
   # Mixin module that provides factory methods that ease the conversion of
@@ -75,16 +76,16 @@ module Skeem
     def list(aLiteral)
       result = case aLiteral
         when Array
-          SkmList.new(to_datum(aLiteral))
-        when SkmList
-          SkmList.new(to_datum(aLiteral.members))
+          SkmPair.create_from_a(to_datum(aLiteral))
+        when SkmPair
+          SkmPair.create_from_a(to_datum(aLiteral.to_a))
         else
-          SkmList.new([to_datum(aLiteral)])
+          SkmPair.new(to_datum(aLiteral), SkmEmptyList.instance)
         end
 
       result
     end
-    
+
     def vector(aLiteral)
       result = case aLiteral
         when Array
@@ -96,8 +97,9 @@ module Skeem
         end
 
       result
-    end    
+    end
 
+    # Conversion from Ruby object value to Skeem datum
     def to_datum(aLiteral)
       return aLiteral if aLiteral.kind_of?(SkmSimpleDatum)
       return list(aLiteral.members) if aLiteral.kind_of?(SkmList)
@@ -114,6 +116,9 @@ module Skeem
           SkmBoolean.create(aLiteral)
         when String
           parse_literal(aLiteral)
+        when SkmPair  # Special case: not a PORO literal
+          # One assumes that a Skeem list contains only Skeem datum objects
+          SkmPair.create_from_a(aLiteral.to_a)
         else
           raise StandardError, aLiteral.inspect
         end

data/lib/skeem/element_visitor.rb

@@ -49,8 +49,21 @@ module Skeem
       broadcast(:after_compound_datum, aCompoundDatum)
     end
 
+    # Visit event. The visitor is visiting the
+    # given empty list object.
+    # @param anEmptyList [SkmEmptyList] the empty list object to visit.
+    def visit_empty_list(anEmptyList)
+      broadcast(:before_empty_list, anEmptyList)
+      broadcast(:after_empty_list, anEmptyList)
+    end
 
 
+    def visit_pair(aPair)
+      broadcast(:before_pair, aPair)
+      traverse_car_cdr(aPair)
+      broadcast(:after_pair, aPair)
+    end
+
 =begin
    # Visit event. The visitor is about to visit the given non terminal node.
     # @param aNonTerminalNode [NonTerminalNode] the node to visit.
@@ -78,6 +91,19 @@ module Skeem
       broadcast(:after_children, aParent, children)
     end
 
+    def traverse_car_cdr(aPair)
+      if aPair.car
+        broadcast(:before_car, aPair, aPair.car)
+        aPair.car.accept(self)
+        broadcast(:after_car, aPair, aPair.car)
+      end
+      if aPair.cdr
+        broadcast(:before_cdr, aPair, aPair.cdr)
+        aPair.cdr.accept(self)
+        broadcast(:after_cdr, aPair, aPair.cdr)
+      end
+    end
+
     # Send a notification to all subscribers.
     # @param msg [Symbol] event to notify
     # @param args [Array] arguments of the notification.

data/lib/skeem/grammar.rb

@@ -54,7 +54,7 @@ module Skeem
     rule 'compound_datum' => 'list'
     rule 'compound_datum' => 'vector'
     rule('list' => 'LPAREN datum_star RPAREN').as 'list'
-    rule 'list' => 'LPAREN datum_plus PERIOD datum RPAREN'
+    rule('list' => 'LPAREN datum_plus PERIOD datum RPAREN').as 'dotted_list'
     rule('vector' => 'VECTOR_BEGIN datum_star RPAREN').as 'vector'
     rule('datum_plus' => 'datum_plus datum').as 'multiple_datums'
     rule('datum_plus' => 'datum').as 'last_datum'

data/lib/skeem/primitive/primitive_builder.rb

@@ -1,5 +1,6 @@
 require_relative 'primitive_procedure'
 require_relative '../datum_dsl'
+require_relative '../skm_pair'
 # require_relative '../s_expr_nodes'
 
 module Skeem
@@ -92,7 +93,12 @@ module Skeem
       def add_list_procedures(aRuntime)
         create_object_predicate(aRuntime, 'list?')
         create_object_predicate(aRuntime, 'null?')
+        create_object_predicate(aRuntime, 'pair?')
+        create_cons(aRuntime)
+        create_car(aRuntime)
+        create_cdr(aRuntime)
         create_length(aRuntime)
+        create_list2vector(aRuntime)
       end
 
       def add_vector_procedures(aRuntime)
@@ -100,6 +106,7 @@ module Skeem
         create_vector(aRuntime)
         create_vector_length(aRuntime)
         create_vector_ref(aRuntime)
+        create_vector2list(aRuntime)
       end
 
       def add_io_procedures(aRuntime)(aRuntime)
@@ -132,7 +139,7 @@ module Skeem
           else
             first_one = arglist.first.evaluate(runtime)
             raw_result = first_one.value
-            operands = evaluate_tail(arglist, runtime)
+            operands = remaining_args(arglist, runtime)
             operands.each { |elem| raw_result += elem.value }
             to_datum(raw_result)
           end
@@ -147,7 +154,7 @@ module Skeem
           if arglist.empty?
             raw_result = -raw_result
           else
-            operands = evaluate_array(arglist, runtime)
+            operands = arglist.evaluate(runtime).to_a
             operands.each { |elem| raw_result -= elem.value }
           end
           to_datum(raw_result)
@@ -163,15 +170,8 @@ module Skeem
           else
             first_one = arglist.first.evaluate(runtime)
             raw_result = first_one.value
-            operands = evaluate_tail(arglist, runtime)
-            begin
+            operands = remaining_args(arglist, runtime)
             operands.each { |elem| raw_result *= elem.value }
-            rescue NoMethodError => exc
-              # $stderr.puts aRuntime.environment.inspect
-              # $stderr.puts first_one.inspect
-              # $stderr.puts operands.inspect
-              raise exc
-            end
             to_datum(raw_result)
           end
         end
@@ -186,7 +186,7 @@ module Skeem
           if arglist.empty?
             raw_result = 1 / raw_result.to_f
           else
-            operands = evaluate_array(arglist, runtime)
+            operands = arglist.evaluate(runtime).to_a
             operands.each do |elem|
               if raw_result > elem.value && raw_result.modulo(elem.value).zero?
                 raw_result /= elem.value
@@ -212,7 +212,7 @@ module Skeem
 
         define_primitive_proc(aRuntime, 'floor-remainder', binary, primitive)
       end
-      
+
       def create_eqv?(aRuntime)
         primitive = ->(runtime, argument1, argument2) do
           operand_1 = argument1.evaluate(runtime)
@@ -221,7 +221,7 @@ module Skeem
           to_datum(raw_result)
         end
 
-        define_primitive_proc(aRuntime, 'eqv?', binary, primitive)      
+        define_primitive_proc(aRuntime, 'eqv?', binary, primitive)
       end
 
       def create_equal(aRuntime)
@@ -230,7 +230,7 @@ module Skeem
           if arglist.empty?
             boolean(true)
           else
-            operands = evaluate_array(arglist, runtime)
+            operands = arglist.evaluate(runtime).to_a
             first_value = first_one.value
             all_equal = operands.all? { |elem| first_value == elem.value }
             boolean(all_equal)
@@ -246,7 +246,7 @@ module Skeem
             boolean(false)
           else
             operands = [first_operand.evaluate(runtime)]
-            operands.concat(evaluate_array(arglist, runtime))
+            operands.concat(arglist.evaluate(runtime).to_a)
             result = true
             operands.each_cons(2) do |(elem1, elem2)|
               result &&= elem1.value < elem2.value
@@ -264,7 +264,7 @@ module Skeem
             boolean(false)
           else
             operands = [first_operand.evaluate(runtime)]
-            operands.concat(evaluate_array(arglist, runtime))
+            operands.concat(arglist.evaluate(runtime).to_a)
             result = true
             operands.each_cons(2) do |(elem1, elem2)|
               result &&= elem1.value > elem2.value
@@ -282,7 +282,7 @@ module Skeem
             boolean(true)
           else
             operands = [first_operand.evaluate(runtime)]
-            operands.concat(evaluate_array(arglist, runtime))
+            operands.concat(arglist.evaluate(runtime).to_a)
             result = true
             operands.each_cons(2) do |(elem1, elem2)|
               result &&= elem1.value <= elem2.value
@@ -300,11 +300,12 @@ module Skeem
             boolean(true)
           else
             operands = [first_operand.evaluate(runtime)]
-            operands.concat(evaluate_array(arglist, runtime))
+            operands.concat(arglist.evaluate(runtime).to_a)
             result = true
             operands.each_cons(2) do |(elem1, elem2)|
               result &&= elem1.value >= elem2.value
             end
+
             boolean(result)
           end
         end
@@ -331,6 +332,7 @@ module Skeem
           else
             raw_result = true
             last_result = nil
+            # $stderr.puts arglist.inspect
             arglist.each do |raw_arg|
               argument = raw_arg.evaluate(aRuntime)
               last_result = argument
@@ -338,6 +340,9 @@ module Skeem
               break unless raw_result
             end
             raw_result = last_result if raw_result
+            # $stderr.puts raw_result.inspect
+            # $stderr.puts raw_result.cdr.inspect if raw_result.kind_of?(SkmPair)
+            # $stderr.puts to_datum(raw_result).inspect
             to_datum(raw_result)
           end
         end
@@ -371,7 +376,7 @@ module Skeem
           if arglist.empty?
             boolean(true)
           else
-            operands = evaluate_array(arglist, runtime)
+            operands = evaluate_arguments(arglist, runtime)
             first_value = first_one.value
             all_equal = operands.all? { |elem| first_value == elem.value }
             boolean(all_equal)
@@ -386,7 +391,7 @@ module Skeem
           if arglist.empty?
             value = ''
           else
-            parts = evaluate_array(arglist, aRuntime)
+            parts = evaluate_arguments(arglist, aRuntime)
             value = parts.reduce('') { |interim, substr| interim << substr.value }
           end
 
@@ -416,22 +421,60 @@ module Skeem
         define_primitive_proc(aRuntime, 'string->symbol', unary, primitive)
       end
 
+      def create_cons(aRuntime)
+        primitive = ->(runtime, obj1, obj2) do
+          SkmPair.new(obj1.evaluate(aRuntime), obj2.evaluate(aRuntime))
+        end
+
+        define_primitive_proc(aRuntime, 'cons', binary, primitive)
+      end
+
+      def create_car(aRuntime)
+        primitive = ->(runtime, arg) do
+          arg_evaluated = arg.evaluate(runtime)
+          check_argtype(arg_evaluated, SkmPair, 'pair', 'car')
+          arg_evaluated.car
+        end
+
+        define_primitive_proc(aRuntime, 'car', unary, primitive)
+      end
+
+      def create_cdr(aRuntime)
+        primitive = ->(runtime, arg) do
+          arg_evaluated = arg.evaluate(runtime)
+          check_argtype(arg_evaluated, SkmPair, 'pair', 'cdr')
+          arg_evaluated.cdr
+        end
+
+        define_primitive_proc(aRuntime, 'cdr', unary, primitive)
+      end
+
       def create_length(aRuntime)
         primitive = ->(runtime, arg) do
           arg_evaluated = arg.evaluate(runtime)
-          check_argtype(arg_evaluated, SkmList, 'list', 'length')
+          check_argtype(arg_evaluated, [SkmPair, SkmEmptyList], 'list', 'length')
           integer(arg_evaluated.length)
         end
 
         define_primitive_proc(aRuntime, 'length', unary, primitive)
       end
 
+      def create_list2vector(aRuntime)
+        primitive = ->(runtime, arg) do
+          arg_evaluated = arg.evaluate(runtime)
+          check_argtype(arg_evaluated, [SkmPair, SkmEmptyList], 'list', 'list->vector')
+          vector(arg_evaluated.to_a)
+        end
+
+        define_primitive_proc(aRuntime, 'list->vector', unary, primitive)
+      end
+
       def create_vector(aRuntime)
         primitive = ->(runtime, arglist) do
           if arglist.empty?
             elements = []
           else
-            elements = evaluate_array(arglist, aRuntime)
+            elements = evaluate_arguments(arglist, aRuntime)
           end
 
           vector(elements)
@@ -465,6 +508,16 @@ module Skeem
         define_primitive_proc(aRuntime, 'vector-ref', binary, primitive)
       end
 
+      def create_vector2list(aRuntime)
+        primitive = ->(runtime, arg) do
+          arg_evaluated = arg.evaluate(runtime)
+          check_argtype(arg_evaluated, SkmVector, 'vector', 'vector->list')
+          SkmPair.create_from_a(arg_evaluated.members)
+        end
+
+        define_primitive_proc(aRuntime, 'vector->list', unary, primitive)
+      end
+
       def create_newline(aRuntime)
         primitive = ->(runtime) do
           # @TODO: make output stream configurable
@@ -473,13 +526,13 @@ module Skeem
 
         define_primitive_proc(aRuntime, 'newline', nullary, primitive)
       end
-      
+
       def create_assert(aRuntime)
         primitive = ->(runtime, arg) do
           arg_evaluated = arg.evaluate(runtime)
           if arg_evaluated.boolean? && arg_evaluated.value == false
             assert_call = aRuntime.caller
-            pos = assert_call.call_site          
+            pos = assert_call.call_site
             # Error: assertion failed: (> 1 2)
             msg = "assertion failed on line #{pos.line}, column #{pos.column}"
             raise StandardError, 'Error: ' + msg
@@ -525,20 +578,45 @@ module Skeem
         aRuntime.define(aKey, anEntry)
       end
 
-      def evaluate_array(anArray, aRuntime)
-        anArray.map { |elem| elem.evaluate(aRuntime) }
-      end
-
-      def evaluate_tail(anArray, aRuntime)
-        evaluate_array(anArray.drop(1), aRuntime)
+      def evaluate_arguments(arglist, aRuntime)
+        case arglist
+        when Array
+          arglist.map { |elem| elem.evaluate(aRuntime) }
+        when SkmPair
+          arglist.evaluate(aRuntime).to_a
+        end
       end
 
       def check_argtype(argument, requiredRubyClass, requiredSkmType, aProcName)
+        if requiredRubyClass.kind_of?(Array)
+          unless requiredRubyClass.include?(argument.class)
+            type_error(argument, requiredSkmType, aProcName)
+          end
+        else
           unless argument.kind_of?(requiredRubyClass)
-            msg1 = "Procedure '#{aProcName}': #{requiredSkmType} argument required,"
-            msg2 = "but got #{argument.value}"
-            raise StandardError, msg1 + ' ' + msg2
+            type_error(argument, requiredSkmType, aProcName)
           end
+        end
+      end
+
+      def type_error(argument, requiredSkmType, aProcName)
+        msg1 = "Procedure '#{aProcName}': #{requiredSkmType} argument required,"
+        if argument.respond_to?(:value)
+          msg2 = "but got #{argument.value}"
+        else
+          msg2 = "but got #{argument.class}"
+        end
+        raise StandardError, msg1 + ' ' + msg2
+      end
+
+      def remaining_args(arglist, aRuntime)
+        case arglist
+        when Array
+          raw_arg = arglist[1..-1]
+        when SkmPair
+          raw_arg = arglist.cdr.to_a
+        end
+        raw_arg.map { |arg| arg.evaluate(aRuntime) }
       end
     end # module
   end # module

data/lib/skeem/primitive/primitive_procedure.rb

@@ -16,9 +16,10 @@ module Skeem
 
       # Arguments are positional in a primitive procedure.
       def call(aRuntime, aProcedureCall)
-        check_actual_count(aProcedureCall)
+        actuals = aProcedureCall.operands.to_a
+        check_actual_count(actuals)
         aProcedureCall.operands_consumed = true
-        do_call(aRuntime, aProcedureCall.operands.to_a)
+        do_call(aRuntime, actuals)
       end
 
       private
@@ -50,8 +51,8 @@ module Skeem
         anArity
       end
 
-      def check_actual_count(aProcedureCall)
-        count_actuals = aProcedureCall.operands.size
+      def check_actual_count(actuals)
+        count_actuals = actuals.size
         if arity.nullary?
           unless count_actuals.zero?
             wrong_number_arguments(arity.high, count_actuals)
@@ -77,7 +78,7 @@ module Skeem
             arguments = []
             arguments << operands.take(arity.low).flatten
             count_delta = operands.size - arity.low
-            arguments << SkmList.new(operands.slice(-count_delta, count_delta))
+            arguments << SkmPair.create_from_a(operands.slice(-count_delta, count_delta))
             #p operands.size
             #p count_delta
             #p arguments.inspect

data/lib/skeem/runtime.rb

@@ -57,11 +57,11 @@ module Skeem
       end
     end
 
-    # @param aList[SkmList] first member is an identifier.
+    # @param aList[SkmPair] first member is an identifier.
     def evaluate_form(aList)
       # TODO: manage the cases where first_member is a keyword
-      first_member = aList.first
-      invokation = ProcedureCall.new(nil, first_member, aList.tail.members)
+      first_member = aList.car
+      invokation = ProcedureCall.new(nil, first_member, aList.cdr.to_a)
       invokation.evaluate(self)
     end
 
@@ -98,9 +98,9 @@ module Skeem
         raise StandardError, "Invalid call object #{aProcCall.inspect}"
       end
       # $stderr.puts 'CALL STACK vvvv'
-      call_stack.each do |proc_call|
+      # call_stack.each do |proc_call|
       # $stderr.puts proc_call.inspect
-      end
+      # end
       # $stderr.puts 'CALL STACK ^^^^'
     end
 

data/lib/skeem/s_expr_builder.rb

@@ -1,4 +1,5 @@
 require 'stringio'
+require_relative 'skm_pair'
 require_relative 's_expr_nodes'
 
 module Skeem
@@ -38,8 +39,9 @@ module Skeem
     # rule('program' => 'cmd_or_def_plus').as 'main'
     def reduce_main(_production, _range, _tokens, theChildren)
       last_child = theChildren.last
-      result = if last_child.members.size == 1
-                  last_child.members[0]
+      # $stderr.puts last_child.inspect
+      result = if last_child.length == 1
+                  last_child.car
                 else
                   last_child
                 end
@@ -47,13 +49,13 @@ module Skeem
 
     # rule('cmd_or_def_plus' => 'cmd_or_def_plus cmd_or_def').as 'multiple_cmd_def'
     def reduce_multiple_cmd_def(_production, _range, _tokens, theChildren)
-      theChildren[0].members << theChildren[1]
+      theChildren[0].append(theChildren[1])
       theChildren[0]
     end
 
     # rule('cmd_or_def_plus' => 'cmd_or_def').as 'last_cmd_def'
     def reduce_last_cmd_def(_production, _range, _tokens, theChildren)
-      SkmList.new([theChildren.last])
+      SkmPair.create_from_a([theChildren.last])
     end
 
     # rule('definition' => 'LPAREN DEFINE IDENTIFIER expression RPAREN')
@@ -86,9 +88,24 @@ module Skeem
     end
 
     # rule('list' => 'LPAREN datum_star RPAREN').as 'list'
-    def reduce_list(_production, aRange, _tokens, theChildren)
-      SkmList.new(theChildren[1])
+    def reduce_list(_production, _range, _tokens, theChildren)
+      SkmPair.create_from_a(theChildren[1])
     end
+    
+    # rule('list' => 'LPAREN datum_plus PERIOD datum RPAREN').as 'dotted_list'
+    def reduce_dotted_list(_production, _range, _tokens, theChildren)
+      # if theChildren[1].kind_of?(Array)
+        # if theChildren[1].size == 1
+          # car_arg = theChildren[1].first
+        # else
+          # car_arg = SkmPair.create_from_a(theChildren[1])
+        # end
+      # else
+        # car_arg = theChildren[1]
+      # end
+      
+      SkmPair.new(theChildren[1], theChildren[3])
+    end    
 
     # rule('vector' => 'VECTOR_BEGIN datum_star RPAREN').as 'vector'
     def reduce_vector(_production, aRange, _tokens, theChildren)
@@ -197,7 +214,7 @@ module Skeem
 
     # rule('sequence' => 'command_star expression').as 'sequence'
     def reduce_sequence(_production, _range, _tokens, theChildren)
-      SkmList.new(theChildren[0] << theChildren[1])
+      SkmPair.create_from_a(theChildren[0] << theChildren[1])
     end
 
     # rule('command_star' => 'command_star command').as 'multiple_commands'
@@ -225,22 +242,21 @@ module Skeem
       # $stderr.puts theChildren[1].inspect
       SkmQuasiquotation.new(theChildren[1])
     end
-    
+
     # rule('list_qq_template' => 'LPAREN qq_template_or_splice_star RPAREN').as 'list_qq'
     def reduce_list_qq(_production, _range, _tokens, theChildren)
-      SkmList.new(theChildren[1])
-    end    
+      SkmPair.create_from_a(theChildren[1])
+    end
 
     # rule('vector_qq_template' => 'VECTOR_BEGIN qq_template_or_splice_star RPAREN').as 'vector_qq'
     def reduce_vector_qq(_production, _range, _tokens, theChildren)
       SkmVector.new(theChildren[1])
     end
-    
+
     # rule('unquotation' => 'COMMA qq_template').as 'unquotation_short'
     def reduce_unquotation_short(_production, aRange, _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)