Simplify Capture and DynamicCaptures storage

Sources/_MatchingEngine/Regex/Parse/CaptureStructure.swift

@@ -12,7 +12,6 @@
 // A tree representing the type of some captures.
 public enum CaptureStructure: Equatable {
   case atom(name: String? = nil, type: AnyType? = nil)
-  indirect case array(CaptureStructure)
   indirect case optional(CaptureStructure)
   indirect case tuple([CaptureStructure])
 
@@ -265,8 +264,6 @@ extension CaptureStructure {
       return atomType
     case .atom(_, type: let type?):
       return type.base
-    case .array(let child):
-      return TypeConstruction.arrayType(of: child.type(withAtomType: atomType))
     case .optional(let child):
       return TypeConstruction.optionalType(of: child.type(withAtomType: atomType))
     case .tuple(let children):
@@ -281,6 +278,20 @@ extension CaptureStructure {
   public var type: Any.Type {
     type(withAtomType: DefaultAtomType.self)
   }
+
+  public var atomType: AnyType {
+    switch self {
+    case .atom(_, type: nil):
+      return .init(Substring.self)
+    case .atom(_, type: let type?):
+      return type
+    case .optional(let child):
+      return child.atomType
+    case .tuple:
+      fatalError("Recursive nesting has no single atom type")
+    }
+
+  }
 }
 
 // MARK: - Serialization
@@ -291,7 +302,7 @@ extension CaptureStructure {
     case end           = 0
     case atom          = 1
     case namedAtom     = 2
-    case formArray     = 3
+//    case formArray     = 3
     case formOptional  = 4
     case beginTuple    = 5
     case endTuple      = 6
@@ -314,7 +325,6 @@ extension CaptureStructure {
   /// encode(〚`T`〛) ==> <version>, 〚`T`〛, .end
   /// 〚`T` (atom)〛 ==> .atom
   /// 〚`name: T` (atom)〛 ==> .atom, `name`, '\0'
-  /// 〚`[T]`〛 ==> 〚`T`〛, .formArray
   /// 〚`T?`〛 ==> 〚`T`〛, .formOptional
   /// 〚`(T0, T1, ...)` (top level)〛 ==> 〚`T0`〛, 〚`T1`〛, ...
   /// 〚`(T0, T1, ...)`〛 ==> .beginTuple, 〚`T0`〛, 〚`T1`〛, ..., .endTuple
@@ -334,7 +344,8 @@ extension CaptureStructure {
     var offset = MemoryLayout<SerializationVersion>.stride
     /// Appends a code to the buffer, advancing the offset to the next position.
     func append(_ code: Code) {
-      buffer.storeBytes(of: code, toByteOffset: offset, as: Code.self)
+      buffer.storeBytes(
+        of: code.rawValue, toByteOffset: offset, as: UInt8.self)
       offset += MemoryLayout<Code>.stride
     }
     /// Recursively encode the node to the buffer.
@@ -353,10 +364,6 @@ extension CaptureStructure {
         offset += nameCString.count
       case .atom(_, _?):
         fatalError("Cannot encode a capture structure with explicit types")
-      // 〚`[T]`〛 ==> 〚`T`〛, .formArray
-      case .array(let child):
-        encode(child)
-        append(.formArray)
       // 〚`T?`〛 ==> 〚`T`〛, .formOptional
       case .optional(let child):
         encode(child)
@@ -419,9 +426,6 @@ extension CaptureStructure {
         let name = String(cString: stringAddress)
         offset += name.utf8CString.count
         currentScope.append(.atom(name: name))
-      case .formArray:
-        let lastIndex = currentScope.endIndex - 1
-        currentScope[lastIndex] = .array(currentScope[lastIndex])
       case .formOptional:
         let lastIndex = currentScope.endIndex - 1
         currentScope[lastIndex] = .optional(currentScope[lastIndex])
@@ -454,11 +458,6 @@ extension CaptureStructure: CustomStringConvertible {
                              : String(describing: type)
       printer.print("Atom(\(name): \(type))")
 
-    case let .array(c):
-      printer.printBlock("Array") { printer in
-        c._print(&printer)
-      }
-
     case let .optional(c):
       printer.printBlock("Optional") { printer in
         c._print(&printer)

Sources/_StringProcessing/Capture.swift

@@ -11,112 +11,57 @@
 
 import _MatchingEngine
 
-// TODO: what here should be in the compile-time module?
+/// A structured capture
+struct StructuredCapture {
+  /// The `.optional` height of the result
+  var numOptionals = 0
 
-enum Capture {
-  case atom(Any)
-  indirect case tuple([Capture])
-  indirect case some(Capture)
-  case none(childType: AnyType)
-  indirect case array([Capture], childType: AnyType)
-}
-
-extension Capture {
-  static func none(childType: Any.Type) -> Capture {
-    .none(childType: AnyType(childType))
-  }
+  var storedCapture: StoredCapture?
 
-  static func array(_ children: [Capture], childType: Any.Type) -> Capture {
-    .array(children, childType: AnyType(childType))
+  var numSomes: Int {
+    storedCapture == nil ? numOptionals - 1 : numOptionals
   }
 }
 
-extension Capture {
-  static func tupleOrAtom(_ elements: [Capture]) -> Self {
-    elements.count == 1 ? elements[0] : .tuple(elements)
-  }
+/// A storage form for a successful capture
+struct StoredCapture {
+  // TODO: drop optional when engine tracks all ranges
+  var range: Range<String.Index>?
 
-  static var void: Capture {
-    .tuple([])
-  }
+  // If strongly typed, value is set
+  var value: Any? = nil
+}
 
-  var value: Any {
-    switch self {
-    case .atom(let atom):
-      return atom
-    case .tuple(let elements):
-      return TypeConstruction.tuple(
-        of: elements.map(\.value))
-    case .array(let elements, let childType):
-      func helper<T>(_: T.Type) -> Any {
-        elements.map { $0.value as! T }
-      }
-      return _openExistential(childType.base, do: helper)
-    case .some(let subcapture):
-      func helper<T>(_ value: T) -> Any {
-        Optional(value) as Any
-      }
-      return _openExistential(subcapture.value, do: helper)
-    case .none(let childType):
-      func helper<T>(_: T.Type) -> Any {
-        nil as T? as Any
-      }
-      return _openExistential(childType.base, do: helper)
+extension StructuredCapture {
+  func extractExistentialMatchComponent(
+    from input: Substring
+  ) -> Any {
+    var underlying: Any
+    if let cap = self.storedCapture {
+      underlying = cap.value ?? input[cap.range!]
+    } else {
+      // Ok since we Any-box every step up the ladder
+      underlying = Optional<Any>(nil) as Any
     }
-  }
-
-  private func prepending(_ newElement: Any) -> Self {
-    switch self {
-    case .atom, .some, .none, .array:
-      return .tuple([.atom(newElement), self])
-    case .tuple(let elements):
-      return .tuple([.atom(newElement)] + elements)
+    for _ in 0..<numSomes {
+      underlying = Optional(underlying) as Any
     }
-  }
-
-  func matchValue(withWholeMatch wholeMatch: Substring) -> Any {
-    prepending(wholeMatch).value
+    return underlying
   }
 }
 
-extension Capture: CustomStringConvertible {
-  public var description: String {
-    var printer = PrettyPrinter()
-    _print(&printer)
-    return printer.finish()
-  }
-
-  private func _print(_ printer: inout PrettyPrinter) {
-    switch self {
-    case let .atom(n):
-      printer.print("Atom(\(n))")
-    case let .tuple(ns):
-      if ns.isEmpty {
-        printer.print("Tuple()")
-        return
-      }
-
-      printer.printBlock("Tuple") { printer in
-        for n in ns {
-          n._print(&printer)
-        }
-      }
-
-    case let .some(n):
-      printer.printBlock("Some") { printer in
-        n._print(&printer)
-      }
-
-    case let .none(childType):
-      printer.print("None(\(childType))")
-
-    case let .array(ns, childType):
-      printer.printBlock("Array(\(childType))") { printer in
-        for n in ns {
-          n._print(&printer)
-        }
-      }
-
-    }
+extension Sequence where Element == StructuredCapture {
+  // FIXME: This is a stop gap where we still slice the input
+  // and traffic through existentials
+  func extractExistentialMatch(
+    from input: Substring
+  ) -> Any {
+    var caps = Array<Any>()
+    caps.append(input)
+    caps.append(contentsOf: self.map {
+      $0.extractExistentialMatchComponent(from: input)
+    })
+    return TypeConstruction.tuple(of: caps)
   }
 }
+

Sources/_StringProcessing/Engine/Registers.swift

@@ -88,13 +88,6 @@ extension Processor {
     subscript(_ i: ValueRegister) -> Any {
       get { values[i.rawValue] }
       set {
-        print("""
-          values: \(values)
-          i: \(i)
-          newValue: \(newValue)
-        """)
-        print(values)
-        print(i)
         values[i.rawValue] = newValue
       }
     }

Sources/_StringProcessing/Engine/StringProcessor.swift

@@ -14,16 +14,18 @@ typealias Program = MEProgram<String>
 
 public struct MatchResult {
   public var range: Range<String.Index>
-  var captures: Capture
+  var captures: [StructuredCapture]
 
   var destructure: (
-    matched: Range<String.Index>, captures: Capture
+    matched: Range<String.Index>,
+    captures: [StructuredCapture]
   ) {
     (range, captures)
   }
 
   init(
-    _ matched: Range<String.Index>, _ captures: Capture
+    _ matched: Range<String.Index>,
+    _ captures: [StructuredCapture]
   ) {
     self.range = matched
     self.captures = captures