Skip to content

feat: add a Morphir IR to WIT backend #243

Description

@DamianReeves

Part of finos/morphir#958, phase B.

What

Add a backend that turns Morphir IR types into a WIT package. No such backend exists in this repo. The earlier Go pipeline moved to finos/morphir-go.

  • Records, custom types, Maybe, Result, List and Dict map to WIT records, variants, options, results and lists.
  • WIT has no recursive types. The backend rejects them, or encodes them as morphir:ir encoded-ast does.
  • The package name and version come from the model, for example morphir:mep@0.1.0.
  • Do not use error-context.

Done when

  • The MEP model produces a WIT package that wasm-tools component wit accepts.
  • A recursive type gets a clear diagnostic or the documented encoding.

Design

checkpoint 7, checkpoint 9 in finos/morphir#949.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions