phino-0.0.152: test-resources/rewriter-packs/custom/attribute-from-string.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
input: |
  ⟦ x -> "foo" ⟧
output: |-
  ⟦ x -> "foo", foo -> ⟦⟧ ⟧
rules:
  custom:
    - name: attribute from string
      pattern: |
        [[ x -> !e1 ]]
      result: |
        [[ x -> !e1, !t1 -> [[ ]] ]]
      where:
        - meta: '!t1'
          function: tau
          args: ['!e1']