skeem 0.2.01 → 0.2.02

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 5f5189dc1b13c7998cdf1ee98579ff1f70ae057493897f1e9bc64614ddb08a50
-  data.tar.gz: c302f6dce9b86a5ef7d5c644afbd164a8957d848ddaf5ab729e8f66a58b5bd55
+  metadata.gz: ff26a0c0a06cb583052e17627fd7c620e26dc5c595613f1f6d5716a368c154b7
+  data.tar.gz: e7697be919dc2624c449ff001524d426ff914b2e09f8bc69f581599bd3961148
 SHA512:
-  metadata.gz: b2e87e734659cff72352271a51ee76be8af918287ba2db9c267993774b03f04e3203aea62d130ee73678d8ad8011d4cca485ce3126116915685c33c6ac9ba326
-  data.tar.gz: 95a6027ac7ce681dbc4ab9dbe7a3f9ae96c8b19ff37bd61d4932ca869f2f1ab94495759c54d332fbf84772cfa0affb5a1dea610aa1002de48e0d64c61cb81228
+  metadata.gz: 3a2ec84eec62e1bd007b480f89a843af69c023259dcfd37ae5808c8f7266f904ac0a6ab6ee8eb4f1877d3fbe16735c39c281c18ca16ee27c09307ae48f677287
+  data.tar.gz: e58e2a58401d9b8d6c17c9394029a4e2438917682e767e0541262c98ff4c0011dd8fd6b2fe998c019c96c7ce0a6007d2697d5987271858fba7c80d053242ba41

data/CHANGELOG.md

@@ -1,8 +1,11 @@
+## [0.2.02] - 2019-04-20
+### Added
+- Skeem now supports 'let*' local binding construct
+
 ## [0.2.01] - 2019-04-19
 ### Added
 - Skeem now supports 'let' local binding construct
 
-
 ## [0.2.00] - 2019-04-14
 ### Major refactoring
 

data/README.md

@@ -168,6 +168,11 @@ __Syntax:__
 * (let (<binding_spec\*\>) <body\>)
 
 
+#### let*  
+__Purpose:__ Define one or more variable local to the block.  
+__Syntax:__   
+* (let* (<binding_spec\*\>) <body\>)
+
 ### Standard library
 This section lists the implemented standard procedures
 

data/lib/skeem/grammar.rb

@@ -20,6 +20,7 @@ module Skeem
 
     # Keywords...
     add_terminals('DEFINE', 'IF', 'LAMBDA', 'LET')
+    add_terminals('LET*')
     add_terminals('QUOTE', 'QUASIQUOTE', 'SET!')
     add_terminals('UNQUOTE', 'UNQUOTE-SPLICING')
 
@@ -93,6 +94,7 @@ module Skeem
     rule 'number' => 'REAL'
     rule('assignment' => 'LPAREN SET! IDENTIFIER expression RPAREN').as 'assignment'
     rule('derived_expression' => 'LPAREN LET LPAREN binding_spec_star RPAREN body RPAREN').as 'short_let_form'
+    rule('derived_expression' => 'LPAREN LET* LPAREN binding_spec_star RPAREN body RPAREN').as 'let_star_form'
     rule 'derived_expression' => 'quasiquotation'
     rule('quasiquotation' => 'LPAREN QUASIQUOTE qq_template RPAREN').as 'quasiquotation'
     rule('quasiquotation' => 'GRAVE_ACCENT qq_template').as 'quasiquotation_short'

data/lib/skeem/s_expr_builder.rb

@@ -256,6 +256,11 @@ module Skeem
     def reduce_short_let_form(_production, aRange, _tokens, theChildren)
       SkmBindingBlock.new(:let, theChildren[3], theChildren[5])
     end
+    
+    # rule('derived_expression' => 'LPAREN LET* LPAREN binding_spec_star RPAREN body RPAREN').as 'let_star_form'
+    def reduce_let_star_form(_production, aRange, _tokens, theChildren)
+      SkmBindingBlock.new(:let_star, theChildren[3], theChildren[5])
+    end    
 
     # rule('quasiquotation' => 'LPAREN QUASIQUOTE qq_template RPAREN').as 'quasiquotation'
     def reduce_quasiquotation(_production, aRange, _tokens, theChildren)

data/lib/skeem/skm_unary_expression.rb

@@ -125,14 +125,19 @@ module Skeem
     end
     
     def evaluate(aRuntime)
+      aRuntime.push(SkmFrame.new(aRuntime.environment))
       if kind == :let
-        aRuntime.push(SkmFrame.new(aRuntime.environment))
         locals = bindings.map do |bnd|
           SkmBinding.new(bnd.variable, bnd.value.evaluate(aRuntime))
         end
         locals.each do |bnd|
           aRuntime.add_binding(bnd.variable.evaluate(aRuntime), bnd.value)
         end
+      elsif kind == :let_star
+        bindings.each do |bnd|
+          val = bnd.value.evaluate(aRuntime)
+          aRuntime.add_binding(bnd.variable.evaluate(aRuntime), val)
+        end        
       end
       
       result = body[:sequence].evaluate(aRuntime)

data/lib/skeem/tokenizer.rb

@@ -36,6 +36,7 @@ module Skeem
       IF
       LAMBDA
       LET
+      LET*
       QUASIQUOTE
       QUOTE
       SET!

data/lib/skeem/version.rb

@@ -1,3 +1,3 @@
 module Skeem
-  VERSION = '0.2.01'.freeze
+  VERSION = '0.2.02'.freeze
 end

data/spec/skeem/interpreter_spec.rb

@@ -305,7 +305,7 @@ SKEEM
           expect(result.last.last.value).to eq(4)
       end
     end # context
-    
+
     context 'Binding constructs:' do
       it 'should implement local bindings' do
         source = <<-SKEEM
@@ -316,7 +316,7 @@ SKEEM
         result = subject.run(source)
         expect(result).to eq(6)
       end
-      
+
       it 'should implement precedence of local bindings' do
         source = <<-SKEEM
   (define x 23)
@@ -328,8 +328,8 @@ SKEEM
 SKEEM
         result = subject.run(source)
         expect(result.last).to eq(66)
-      end      
-      
+      end
+
      it 'should support the nesting of local bindings' do
         source = <<-SKEEM
   (let ((x 2) (y 3))
@@ -339,7 +339,18 @@ SKEEM
 SKEEM
         result = subject.run(source)
         expect(result).to eq(35)
-      end      
+      end
+
+      it 'should implement let* expression' do
+        source = <<-SKEEM
+  (let ((x 2) (y 3))
+    (let* ((x 7)
+      (z (+ x y)))
+      (* z x)))
+SKEEM
+        result = subject.run(source)
+        expect(result).to eq(70)
+      end
     end # context
 
     context 'Quasiquotation:' do

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: skeem
 version: !ruby/object:Gem::Version
-  version: 0.2.01
+  version: 0.2.02
 platform: ruby
 authors:
 - Dimitri Geshef
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2019-04-19 00:00:00.000000000 Z
+date: 2019-04-20 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: rley