#Morphir IR for MoonBit

#Native unions

#Imports

import {
  "finos/morphir-ir/versioned/json" @ir_json,
  "finos/morphir-ir/migration",
  "finos/morphir-ir/version",
  "finos/morphir-ir/json" @current_json,
}

fn upgrade(text : String) -> String raise {
  let original = @ir_json.read(text)
  let current = @migration.to_current(original)
  @current_json.write(current)
}

fn convert(text : String) -> String raise {
  let original = @ir_json.read(text)
  let converted = @migration.migrate(
    original,
    @version.FormatVersion::baseline(3U),
  )
  @ir_json.write(converted)
}

#Models and encoding

#Migration behavior

• V1 cannot carry module documentation.
• Classic type/value definitions and specifications require a documentation string. Absent v4 member documentation is refused; explicitly empty documentation is preserved.
• V1/v2 cannot carry Specs; v3 requires release 3.1 or later.
• Classic targets cannot carry applications, holes, document literals, annotations, incomplete definitions or native/external bodies.
• Classic typed values and patterns require an inferred type; v4 source information, constraints and extensions cannot be dropped.
• Classic input annotations that differ from the declared input type cannot be moved into v4's single input type.
• Some v4 name segment boundaries cannot be represented by classic word lists.

#Verification and upstream sources

• finos/morphir: 5c5307d89f34d876e8f1ebf561ec55efbadf9fa0
• finos/morphir-elm: bc99af69a8b24d391311fae3822a87eafef3c334
• Historical Elm v2 codecs: 1089957b161708dbf5f9b9a2d90cb7044de883e7, before value/pattern tags were capitalized

mise run test

# Regenerate tests from vendored fixtures.
mise run ir:fixtures

# Refresh from pinned commits in local upstream clones, then regenerate.
mise run ir:fixtures -- --morphir /path/to/morphir --morphir-elm /path/to/morphir-elm