aggregate-bad-refs.keiro

language keiro-dsl 4
context repro

enum Color { Red=red Green=green }

aggregate Thing
  regs
    tint Color = NotAColor
  states Pending Done!

  command DoThing { thingId }
  event ThingDone = fields(NoSuchCommand)

  Pending -- DoThing -->
    write ghostRegister := Color.Red
    emit ThingDone
    goto Done

  wire kind=ctorName fields=camelCase schemaVersion=1