bmg 0.16.0.pre.rc2 → 0.16.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
-SHA1:
-  metadata.gz: 218f9f80891f162695252fbfa56a2e9c2bb7d5f7
-  data.tar.gz: 7c2cf33b9fbc68a20ac08c788fc520b345d8193e
+SHA256:
+  metadata.gz: 81ed4175114b231d4909a01a4d25a82957ca523a65feedb3c556f96067209d53
+  data.tar.gz: e1c5f0179ca55a39515526c05a06560d8d1a0827c9829b0ad47087b3ad353af1
 SHA512:
-  metadata.gz: 83bd84d4505c42a08df4b618f746f39c1548f9aa942ec37682fc95ef383bd8b46c86cb5654f6a858f1b06a1a32176a4b017bde63d2fded55e4ffcdc0157c13cd
-  data.tar.gz: 75adc3b09a8264cf0d56346137688e82bfac9264402fe1c586b42071c470fe0582132a672cd6aa0f8c4699cf8cabfa5728c5e574d54f48121cf16aaeaf9c8064
+  metadata.gz: 964d0b754e3834b48c8fc1741fb74e4bf7f78b6d3efc4360e07b1d08d4178b6f13b10de4e23bda7f6a664aa757973094499da837b8aeeffc3b8368a2dce2dd6f
+  data.tar.gz: 7ae281e7f4141ce1960bdec92d1a126b7ee36310a150565d9a587bbabd1dfd3731a5058a822748bbb70c892828947a69e6fc6b7e3e81604198904a062759adb3

data/lib/bmg.rb

@@ -1,5 +1,6 @@
 require 'path'
 require 'predicate'
+require 'forwardable'
 module Bmg
 
   def in_memory(enumerable, type = Type::ANY)

data/lib/bmg/support/keys.rb

@@ -52,6 +52,12 @@ module Bmg
       Keys.new(keys, false)
     end
 
+    def restrict(oldtype, newtype, predicate)
+      return self if (cs = predicate.constant_variables).empty?
+      keys = @keys.map{|k| k - cs }
+      Keys.new(keys, false)
+    end
+
     def union(oldtype, newtype, right_type)
       return nil unless rkeys = right_type.keys
       return nil unless (oldtype.predicate & right_type.predicate).contradiction?

data/lib/bmg/type.rb

@@ -204,9 +204,14 @@ module Bmg
         known_attributes!(renaming.keys)
         unknown_attributes!(renaming.values)
       end
+      new_pred = begin
+        self.predicate.rename(renaming)
+      rescue Predicate::NotSupportedError => e
+        Predicate.tautology
+      end
       dup.tap{|x|
         x.attrlist  = self.attrlist.map{|a| renaming[a] || a } if knows_attrlist?
-        x.predicate = self.predicate.rename(renaming)
+        x.predicate = new_pred
         x.keys      = self._keys.rename(self, x, renaming) if knows_keys?
       }
     end
@@ -216,7 +221,7 @@ module Bmg
       dup.tap{|x|
         ### attrlist stays the same
         x.predicate = self.predicate & predicate
-        x.keys      = self._keys if knows_keys?
+        x.keys      = self._keys.restrict(self, x, predicate) if knows_keys?
       }
     end
 

data/lib/bmg/version.rb

@@ -2,7 +2,7 @@ module Bmg
   module Version
     MAJOR = 0
     MINOR = 16
-    TINY  = "0-rc2"
+    TINY  = 0
   end
   VERSION = "#{Version::MAJOR}.#{Version::MINOR}.#{Version::TINY}"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: bmg
 version: !ruby/object:Gem::Version
-  version: 0.16.0.pre.rc2
+  version: 0.16.0
 platform: ruby
 authors:
 - Bernard Lambeau
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2019-03-12 00:00:00.000000000 Z
+date: 2019-05-31 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: predicate
@@ -66,20 +66,6 @@ dependencies:
     - - ">="
       - !ruby/object:Gem::Version
         version: '1.3'
-- !ruby/object:Gem::Dependency
-  name: roo
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '2.7'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '2.7'
 - !ruby/object:Gem::Dependency
   name: sequel
   requirement: !ruby/object:Gem::Requirement
@@ -268,12 +254,12 @@ required_ruby_version: !ruby/object:Gem::Requirement
       version: '0'
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
-  - - ">"
+  - - ">="
     - !ruby/object:Gem::Version
-      version: 1.3.1
+      version: '0'
 requirements: []
 rubyforge_project: 
-rubygems_version: 2.6.11
+rubygems_version: 2.7.6
 signing_key: 
 specification_version: 4
 summary: Bmg is Alf's successor.