parsanol 1.3.84-arm-linux → 1.3.85-arm-linux

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 7fe58dafe54c7d48c133db50eaa7e71e289405348f4f9127a6cebb381efd648f
-  data.tar.gz: 4150bbf3e58d1f56733309bf297d249b17b1896a5f5406ae28bcd18ab93cbed0
+  metadata.gz: b8fb8fead38031f96872f7aae3373ff012794c1733d534d759c6ac57e38cdb95
+  data.tar.gz: 11c3fbeae81c61325155c805cb31c8a0aefa6a29a3fa6979349912c715e0c596
 SHA512:
-  metadata.gz: 4c5193545cbf0c4c9d8d4993e218876192d134a6085d8ba667f241f1ee7528a8919a6603f3be1a605eecb8b2146933997c44536f5861359c652bbf0d6cfac35e
-  data.tar.gz: 837871fe2d1de062d73ed4eb47dac35e471346fb3926218b83c54fda9088fb27ba2b5a581cd4176c05854580df0ffd23dc0d6ac4223bd1024942c2d09ee6bd98
+  metadata.gz: 02254b1575071cd812a89e9cc18559df5d1c0fe75038928d159a52d9e448374505765e69e98e7eca201730639ca212424d2c9ac183e198b1ef6e71a3aab080fd
+  data.tar.gz: 28dd52ef90e9930b67deea237f40b63f0c68ea7526c6d9dbe6653536f8f265977ee238e3cd91b6b5e83e571152b579788193c3749048adb84254c98e381255f6

data/lib/parsanol/native.rb

@@ -202,6 +202,38 @@ module Parsanol
         stats
       end
 
+      # True when the grammar carries no atoms the native tier cannot
+      # express (Dynamic callbacks, artifact custom bindings). Cached by
+      # grammar identity — the scan walks the atom tree once.
+      def native_expressible?(grammar)
+        root = grammar.is_a?(Parsanol::Parser) ? grammar.root : grammar
+        cache = (@expressible_cache ||= {}.compare_by_identity)
+        cache.fetch(root) do
+          expressible = !contains_inexpressible?(root, {}.compare_by_identity)
+          cache[root] = expressible
+        end
+      end
+
+      def contains_inexpressible?(atom, seen)
+        return false if seen.key?(atom)
+
+        seen[atom] = true
+        case atom
+        when Parsanol::Atoms::Dynamic, Parsanol::Atoms::CustomRef then true
+        when Parsanol::Atoms::Sequence, Parsanol::Atoms::Alternative
+          children = atom.respond_to?(:parslets) ? atom.parslets : atom.alternatives
+          children.any? { |child| contains_inexpressible?(child, seen) }
+        when Parsanol::Atoms::Entity, Parsanol::Atoms::Repetition,
+             Parsanol::Atoms::Named, Parsanol::Atoms::Capture, Parsanol::Atoms::Ignored,
+             Parsanol::Atoms::Trivia, Parsanol::Atoms::TriviaCapture, Parsanol::Atoms::Lookahead
+          inner = atom.respond_to?(:parslet) ? atom.parslet : nil
+          inner ||= atom.wrapped_atom if atom.respond_to?(:wrapped_atom)
+          inner && contains_inexpressible?(inner, seen)
+        else
+          false
+        end
+      end
+
       # Translates a native backend failure into the Parsanol error protocol.
       #
       # When the grammar atom is at hand, reparses through the pure Ruby
@@ -227,9 +259,19 @@ module Parsanol
         # across long parses (#123).
         message = error.message
         if parsanol_grammar && (pos_str = message[NATIVE_POS_MARKER, 1])
+          # The interpreter reparse exists to RECOVER grammars the
+          # native tier cannot express (Dynamic/CustomRef atoms —
+          # parsanol-ruby#80/#129). For grammars without them the
+          # native failure is authoritative and the deepest-position
+          # diagnostics ride in this message — reparsing through the
+          # interpreter buys nothing and, on capture-heavy injected
+          # grammars, explodes (#190: the interpreter memo never
+          # stores capture-spanning outcomes).
           source = Parsanol::Source.new(input)
-          success, value = grammar.run_with_context(source, nil, true)
-          return grammar.finalize_result(value) if success
+          unless native_expressible?(grammar)
+            success, value = grammar.run_with_context(source, nil, true)
+            return grammar.finalize_result(value) if success
+          end
 
           pos = pos_str.to_i
           msg = message.sub(NATIVE_POS_MARKER, "")

data/lib/parsanol/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Parsanol
-  VERSION = "1.3.84"
+  VERSION = "1.3.85"
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: parsanol
 version: !ruby/object:Gem::Version
-  version: 1.3.84
+  version: 1.3.85
 platform: arm-linux
 authors:
 - Ribose Inc.