diff options
| author | eunhhu <[email protected]> | 2026-09-28 09:14:02 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-09-28 09:14:02 +0100 |
| commit | 1bc1cdf94b0d892eebd3ea581a75dc9c02a878fa (patch) | |
| tree | f519f31a97be9c0db88379ca0808c8bf34329e54 /docs | |
| parent | 4c2d3d4808827d12415e629bff27833c80de72d7 (diff) | |
| download | pure-1bc1cdf94b0d892eebd3ea581a75dc9c02a878fa.tar.gz pure-1bc1cdf94b0d892eebd3ea581a75dc9c02a878fa.zip | |
Allow 16 records and 128 record fields a module
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/design/008-module-format.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/design/008-module-format.md b/docs/design/008-module-format.md index 36423b2..86d0850 100644 --- a/docs/design/008-module-format.md +++ b/docs/design/008-module-format.md @@ -123,7 +123,7 @@ v5에는 뒤에 집계(FOLD), 걸러진 표, 마크, 그리고 **키 있는 리� 호스트는 모듈 파일을 크기대로 읽는다(`pure_module_read`). - 이름은 ASCII 식별자 1–31바이트이고, 상태·레코드·컬렉션·입력·보기가 한 이름공간을 쓴다. 필드 이름은 메시지나 레코드 안에서 유일하다. 메시지 필드의 이름은 식별자를 점으로 이은 경로일 수 있고(그룹 `user` 안의 `user.name`), 한 - 이름이 필드이면서 그룹일 수는 없다(`user`와 `user.name`). 레코드(최대 8)의 필드 범위는 차례로 이어지고 모두 합쳐 64개 이하다. + 이름이 필드이면서 그룹일 수는 없다(`user`와 `user.name`). 레코드(최대 16)의 필드 범위는 차례로 이어지고 모두 합쳐 128개 이하다. 키 입력의 키는 정해진 목록(`Space Enter` 화살표 `Backspace Delete Home End Tab Escape PageUp PageDown KeyA–Z Digit0–9`) 안에 있고 겹치지 않는다. 메시지 입력은 키 이름이 없고 필드 범위가 차례로 이어진다. text 입력은 필드가 없다. - 상수는 블롭 안에 있고 유효한 UTF-8이다. text 상태의 초기 상수, 커서의 대상 text, 리스트의 레코드, 인덱스의 |
