phino-0.0.152: test-resources/rewriter-packs/custom/replaces-all-in-inner-cycle.yaml
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
repeat: 3
must: 1
input: |
[[
x -> "hello",
y -> "world",
z -> "!"
]]
output: |
[[ ]]
rules:
custom:
- name: tau to void
pattern: |
[[ !B1, !t4 -> !e1, !B2 ]]
result: |
[[ !B1, !t4 -> ?, !B2 ]]
- name: voids to empty
pattern: |
[[ !t1 -> ?, !t2 -> ?, !t3 -> ? ]]
result: |
[[ ]]