diff options
| author | eunhhu <[email protected]> | 2026-09-30 16:32:17 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-30 16:32:17 +0100 |
| commit | 24d95e19b4eec44c5f8c9f551ebf4e8fc465d5f5 (patch) | |
| tree | 5314f4e52dab77fbd0f40d4c76922d75bc3babf9 /README.md | |
| parent | b8e3faaf1a3766591d31e6c5411c9e4fcc59a7a4 (diff) | |
| download | aup-24d95e19b4eec44c5f8c9f551ebf4e8fc465d5f5.tar.gz aup-24d95e19b4eec44c5f8c9f551ebf4e8fc465d5f5.zip | |
Give aup an i64: exact integers, and literals typed by what they meet
state, record, message, output and argument fields, lets, views, keys
and slices can be i64 (Pure 016 stage 2). An integer literal becomes
an i64 where the other side of an operation, a comparison or an
assignment is one; a literal-only side follows the other, found by
compiling it on trial and rolling back. + - * and negation fail the
event with overflow, / and % floor, and i64(x) and number(n) are the
only way between the two, so a mix is a diagnostic that says so.
The check adds 18 i64 diagnostics, i64 accepted forms (with a 30-deep
chain that must stay linear), an event-by-event program past 2^53
and at the edges, and i64 values in the generated programs.
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -10,7 +10,7 @@ aup는 [Pure](/srv/git/pure.git) 런타임을 위한 **언어와 툴체인**이� | [Vega](/srv/git/vega.git) | aup와 Pure 위의 인터페이스 구현자(TUI·CLI·GUI·NUI) | 상태: v0a(scalar 상태·키 입력·원자적 이벤트·보기), v0b(바이트·영속 문서·메시지·응답·text·커서), -v0c(레코드·리스트·`index of`·조건식·표 보기·`fn`·`use` 라이브러리·집계·키 있는 리스트·text 비교·`bool`) 동작. 그 위의 첫 인터페이스는 [Vega](/srv/git/vega.git)(`use vega`, 목록·표·톤을 TUI·CLI·문장으로). +v0c(레코드·리스트·`index of`·조건식·표 보기·`fn`·`use` 라이브러리·집계·키 있는 리스트·text 비교·`bool`·`i64`) 동작. 그 위의 첫 인터페이스는 [Vega](/srv/git/vega.git)(`use vega`, 목록·표·톤을 TUI·CLI·문장으로). [언어 v0](docs/design/001-language-v0.md). ```sh |