packages feed

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"'