모듈과 표준 라이브러리

Prerequisite

Use Topaz 5.21.3 with SELF and language mode 5.21. Work in one directory containing the two files in this chapter.

1. Split the program

Save both files with the shown names. greeting.tpz exports greet; main.tpz selects it and imports std.io as io. Keep the output call in main.tpz.

2. Check the entry file

링크

Check both source files

링크

check · checking · 검증 · 통과

main.tpzCheck both source files플레이그라운드 열기 →

import greeting { greet }
import std.io
io.writeLine(greet("Topaz"))

기록된 출력종료 코드 0

main.tpz: types-ok (3 modules)
main.tpz: resolve-ok (3 modules)

$ topaz check main.tpz --compiler self · 기록에 사용한 토파즈 5.21.3

greeting.tpzCheck both source files플레이그라운드 열기 →

export function greet(name: string) -> string {
return "Hello, {name}!"
}

기대 결과

검사가 프로그램을 받아들입니다. 종료 코드 0.

관측한 단언 · 통과 · 5.21.3

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

종료 코드 0.

관측한 표준 출력

main.tpz: types-ok (3 modules)
main.tpz: resolve-ok (3 modules)

표준 오류 출력 없음.

통과 · expected 0; observed 0

Run the command from the directory containing both files. Checking should succeed. If module resolution fails, check the file name and location, then follow the reported diagnostic.

3. Run the program

링크

Run the entry file

링크

run · runtime · 검증 · 통과

main.tpzRun the entry file플레이그라운드 열기 →

import greeting { greet }
import std.io
io.writeLine(greet("Topaz"))

기록된 출력종료 코드 0

Hello, Topaz!

$ topaz run main.tpz --compiler self · 기록에 사용한 토파즈 5.21.3

greeting.tpzRun the entry file플레이그라운드 열기 →

export function greet(name: string) -> string {
return "Hello, {name}!"
}

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

Hello, Topaz!

관측한 단언 · 통과 · 5.21.3

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

종료 코드 0.

관측한 표준 출력

Hello, Topaz!

표준 오류 출력 없음.

통과 · expected 0; observed 0
통과 · stdout matches the authored expectation
통과 · stderr matches the authored expectation

The expected program output is Hello, Topaz! followed by a newline. The imported function supplies the greeting; std.io.writeLine writes it.

Imports and package setup

링크

import greeting { greet } selects an exported name; it does not install a dependency. These commands pass a source-file entry. Without an entry operand, package mode loads topaz.toml. See the check reference.

Verification record

링크

Public Topaz 5.21.3 checked and ran this two-file 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.

Modules and visibility defines imports and exported declarations. Packages, locks and targets describes package inputs.