mini_kraken 0.1.12 → 0.1.13

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: ca30db7b93b0232f1df5321a1e00270395d908e3f7be1d24d3d5a9c19c833914
-  data.tar.gz: d64051987c0b09abf752b24604854515cabc9e99ff5ee436884c8522d6a75950
+  metadata.gz: 79ea33dd475e6dfbed71915177b1581abb5e1ca9a60db04133d11cda7dca9d42
+  data.tar.gz: 249bea4319183c929e4c291785c6b74e10606889c789c5e0f2b211197cc6f288
 SHA512:
-  metadata.gz: f4fc60b256907317972c51410e52aec821553d7575c24d59b9421f4ba8dbd0136937e70ffb2f9f21556ed205b8b8d54796af68c222df0704b45ebbcf562c3ab3
-  data.tar.gz: 5caf5af0c016e8dfb5de40244ad71a083eb035e0bcb911ae7bd90e67a784789458c12e46a3cc75a96ae483fd0317d86b6610a7c339cd423050b4d57e642d6cc9
+  metadata.gz: '086bf0b30750e908dfee1b7e95eb3b0c0e54dff4f7bd700d54bbf28091aaf02080d458c14508ddcaa580248e0234d1da23553869480e3bea930d46708c115d82'
+  data.tar.gz: d3ada8d056819b2ae1af0d442056008600f82633ee52ca8aa672708943fdf517adb60522bfff6673f9cea86985c1bf5ce2a7a3ea73f07504945e660f31ebee49

data/CHANGELOG.md

@@ -1,3 +1,11 @@
+## [0.1.13] - 2020-07-01
+- Cover all frames from Chapter One of "Reasoned Scheme" book.
+- Fix defect for fused variables that remain fresh
+
+### CHANGED
+- Method `Variable#quote` now takes into account of cases when variables are fused.
+- Method `Vocabulary#names_fused`  now copes with cases where no variable with given name can be found.
+
 ## [0.1.12] - 2020-06-29
 - Supports `conde`, that is, a relation that can take an arbitrary number of arguments.
 - Cover all frames but one from Chapter One of "Reasoned Scheme" book.

data/lib/mini_kraken/core/variable.rb

@@ -24,11 +24,17 @@ module MiniKraken
         name != i_name
       end
 
-      def quote(anEnvironment)
-        raise StandardError, "class #{anEnvironment}" unless anEnvironment.kind_of?(Vocabulary)
+      def quote(env)
+        raise StandardError, "class #{env}" unless env.kind_of?(Vocabulary)
 
-        val = anEnvironment.quote_ref(self)
-        val.nil? ? AnyValue.new(name, anEnvironment) : val
+        val = env.quote_ref(self)
+        unless val
+          result = AnyValue.new(name, env, env.names_fused(name))
+        else
+          result = val
+        end
+
+        result
       end
     end # class
   end # module

data/lib/mini_kraken/core/vocabulary.rb

@@ -331,8 +331,9 @@ module MiniKraken
       #   variable name.
       # @param aName [String] User-defined variable name
       def names_fused(aName)
+        # require 'debug'
         var = name2var(aName)
-        return [] unless var.fused?
+        return [] unless var&.fused?
 
         i_name = var.i_name
         names = []

data/lib/mini_kraken/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module MiniKraken
-  VERSION = '0.1.12'
+  VERSION = '0.1.13'
 end

data/spec/glue/run_star_expression_spec.rb

@@ -126,6 +126,7 @@ module MiniKraken
 
         it 'should return a null list with the succeed goal' do
           instance = RunStarExpression.new('q', succeeds)
+          expect(instance.env.vars).to be_include('q')
 
           # (display (run* q succeed)) ;; => (_0)
           # Reasoned S2, frame 1:16
@@ -968,8 +969,7 @@ module MiniKraken
           #     ((== x y)))) ;; => ((_0 _1)(_0 _0))
           result = instance.run
           expect(result.car).to eq(cons(any_value(0), cons(any_value(1))))
-          # Bug: next line fails
-          # expect(result.cdr.car).to eq(cons(any_value(0), cons(any_value(0))))
+          expect(result.cdr.car).to eq(cons(any_value(0), cons(any_value(0))))
         end
 
         it 'accepts conde with more than two condition lines' do

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: mini_kraken
 version: !ruby/object:Gem::Version
-  version: 0.1.12
+  version: 0.1.13
 platform: ruby
 authors:
 - Dimitri Geshef
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2020-06-29 00:00:00.000000000 Z
+date: 2020-07-01 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler