korekto 1.5.210331 → 1.6.210407

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 636a9add2c269f979a980cd798f6aae0bc4b624c1b32f979aea02c0b4534c34a
-  data.tar.gz: 72cb33eb156931b0c6e5b5be64093ec9ede966032b36d7933980bed888d9fe94
+  metadata.gz: 63058c0e7d8ef9416a79f001e39c07988bb8f0627b6493737418adbdb8df4c21
+  data.tar.gz: fc413904c25e1ad6d93546ca10e91d5d548aecb19ca56c2bb032a0e2e741d649
 SHA512:
-  metadata.gz: 426b6d679b487fd95ae073c63a9ad19d25e17081b1e44c691756ec3d53d5257215985977dec1e44263c1348880069b360a6caab0c04d0c9162c9daa97a2afc19
-  data.tar.gz: 530aa7d72c18360b330f39caaaa17d7f1bad6f68f144584a6683fbb44031203fe70652f74967135298fde45e99899ffb63f0310e9c93371de8972bc303fd1928
+  metadata.gz: 7107c848a39a79c564c02453a4f6c83c25c6621cd6fd89716ed33c3da14f679644024297f93ce8216a15605e728b5acde6406a7f88c70248e9c90dad4358ed9d
+  data.tar.gz: a1f836ef421b1466842aabccb091cc4b94fff05c5aab76a67486954505c6501e9cc3d6398e630ca5ce3db113732d9f52fb36667157dfbcd7e323a5fba4d321b8

data/bin/korekto

@@ -1,7 +1,7 @@
 #!/usr/bin/env ruby
 require 'help_parser'
 
-OPTIONS = HelpParser['1.5.210331', <<HELP]
+OPTIONS = HelpParser['1.6.210407', <<HELP]
 Usage:
   korekto [:options]
 Options:

data/lib/korekto.rb

@@ -1,5 +1,5 @@
 module Korekto
-  VERSION = '1.5.210331'
+  VERSION = '1.6.210407'
   class Error < Exception; end
   require 'korekto/symbols'
   require 'korekto/syntax'
@@ -12,4 +12,5 @@ end
 # Requires:
 # `ruby`
 # `nvim`
+# `neovim-ruby-host`
 # `xdg-open`

data/lib/korekto/heap.rb

@@ -9,6 +9,10 @@ class Heap
     @a = []
   end
 
+  def to_a
+    @a
+  end
+
   def add(s)
     @a.unshift s
     @a.pop if @a.length > @limit

data/lib/korekto/statement.rb

@@ -150,7 +150,12 @@ class Statement
     set_regexp
     newlines_count(nl)
     undefined_in_pattern
-    set_statement
+    follows = @context.heap.to_a[0..nl].reverse
+    if @regexp.match? follows.map{_1.to_s}.join("\n")
+      set_statement(support(*follows))
+    else
+      set_statement
+    end
   end
 
   def tautology

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: korekto
 version: !ruby/object:Gem::Version
-  version: 1.5.210331
+  version: 1.6.210407
 platform: ruby
 authors:
 - carlosjhr64
 autorequire:
 bindir: bin
 cert_chain: []
-date: 2021-03-31 00:00:00.000000000 Z
+date: 2021-04-07 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: help_parser
@@ -70,10 +70,11 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements:
-- 'ruby: ruby 3.0.0p0 (2020-12-25 revision 95aff21468) [x86_64-linux]'
+- 'ruby: ruby 3.0.1p64 (2021-04-05 revision 0fb782ee38) [x86_64-linux]'
 - 'nvim: NVIM v0.4.4'
+- 'neovim-ruby-host: 0.8.1'
 - 'xdg-open: xdg-open 1.1.3+'
-rubygems_version: 3.2.3
+rubygems_version: 3.2.15
 signing_key:
 specification_version: 4
 summary: A general proof checker.