phino-0.0.152: test-resources/rewriter-packs/custom/sed-with-many-arguments.yaml
# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
input: |
[[
x -> "1"
]]
output: |-
⟦
x ↦ "6"
⟧
rules:
custom:
- name: sed with many arguments
pattern: '[[ x -> !e2 ]]'
result: '[[ x -> !e1 ]]'
where:
- meta: '!e1'
function: sed
args:
- '!e2'
- '"s/1/2/g"'
- '"s/2/3/g"'
- '"s/3/4/g"'
- '"s/3/5/g"'
- '"s/4/6/g"'