phino-0.0.152: test-resources/rewriter-packs/custom/number.yaml

# SPDX-FileCopyrightText: Copyright (c) 2025 Objectionary.com
# SPDX-License-Identifier: MIT
---
input: '[[ x -> "5", y -> "42.1" ]]'
output: |-
  ⟦
    x ↦ 5,
    y -> 42.1
  ⟧
rules:
  custom:
    - name: number
      pattern: '[[ x -> !e1, y -> !e2 ]]'
      result: '[[ x -> !e11, y -> !e22 ]]'
      where:
        - meta: '!e11'
          function: number
          args: ['!e1']
        - meta: '!e22'
          function: number
          args: ['!e2']