Данные и образцы

Prerequisite

Use Topaz 5.21.3 with language mode 5.21 and the SELF compiler. Complete First checked and executed program first.

1. Build a value and handle its cases

Save the source as data-and-patterns.tpz. Ticket has named fields and a Status value. Construct a variant with Status.Open(). Match it with case Open().

2. Check the program

Ссылка

Check the ticket program

Ссылка

check · checking · Проверка · Пройдено

data-and-patterns.tpzCheck the ticket programОткрыть песочницу →

import std.io
enum Status { Open, Closed }
record Ticket { title: string, status: Status }
function describe(ticket: Ticket) -> string {
let state = match (ticket.status) {
case Open() => "open"
case Closed() => "closed"
}
return "{ticket.title}: {state}"
}
let first = Ticket { title: "Docs", status: Status.Open() }
let second = Ticket { title: "Tests", status: Status.Closed() }
io.writeLine(describe(first))
io.writeLine(describe(second))

Зафиксированный выводКод завершения 0

data-and-patterns.tpz: types-ok (2 modules)
data-and-patterns.tpz: resolve-ok (2 modules)

$ topaz check data-and-patterns.tpz --compiler self · Зафиксировано с Топазом 5.21.3

Ожидаемый результат

Проверка принимает программу. Код завершения 0.

Наблюдаемые утверждения · Пройдено · 5.21.3

2026-11-06T13:40:33.8886819Z · checking · sha256:b6c3f574b78c558b526196fa04f5d835c9fe1df59d07397dbf4e5d279a3e1665

Код завершения 0.

Наблюдаемый стандартный вывод

data-and-patterns.tpz: types-ok (2 modules)
data-and-patterns.tpz: resolve-ok (2 modules)

Нет вывода ошибок.

Пройдено · expected 0; observed 0

Expect exit 0. If checking fails, follow the reported diagnostic, correct the source, and check again.

3. Run both cases

Ссылка

Print both ticket states

Ссылка

run · runtime · Проверка · Пройдено

data-and-patterns.tpzPrint both ticket statesОткрыть песочницу →

import std.io
enum Status { Open, Closed }
record Ticket { title: string, status: Status }
function describe(ticket: Ticket) -> string {
let state = match (ticket.status) {
case Open() => "open"
case Closed() => "closed"
}
return "{ticket.title}: {state}"
}
let first = Ticket { title: "Docs", status: Status.Open() }
let second = Ticket { title: "Tests", status: Status.Closed() }
io.writeLine(describe(first))
io.writeLine(describe(second))

Зафиксированный выводКод завершения 0

Docs: open
Tests: closed

$ topaz run data-and-patterns.tpz --compiler self · Зафиксировано с Топазом 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

Docs: open
Tests: closed

Наблюдаемые утверждения · Пройдено · 5.21.3

2026-11-06T13:40:33.9748471Z · runtime · sha256:b6c3f574b78c558b526196fa04f5d835c9fe1df59d07397dbf4e5d279a3e1665

Код завершения 0.

Наблюдаемый стандартный вывод

Docs: open
Tests: closed

Нет вывода ошибок.

Пройдено · expected 0; observed 0
Пройдено · stdout matches the authored expectation
Пройдено · stderr matches the authored expectation

The two calls exercise both cases used by describe.

Verification

Ссылка

Public Topaz 5.21.3 checked and ran this program successfully in Docs run 42224592687, attempt 2. The recorded exit codes and output were compared with this page's current product assertions. The fixture files, invocation and expected output were unchanged.

Records, enums and newtypes defines the declarations used here. Pattern matching defines variant patterns, case selection and match coverage.