리더 문법은 공백·주석, 식별자, 불리언, 문자, 문자열, 수 토큰, 리스트, 벡터, 바이트벡터, 인용 접두사를 정의합니다.
현재 보장
- 정수는
-?(0|[1-9][0-9]*), 유리수는 정수 분자와 양의 정규 분모, 실수는 소수부나 지수가 필수입니다. - 점 리스트 위치, 이스케이프 표기, 바이트 범위, 구분자 닫힘은 정규화 전에 검사합니다.
- 소스 범위는 리더 입력 동일성과 결정적 위치를 사용합니다.
고정 토큰 문법
| 토큰 | 허용 형태 | 거부 경계 |
|---|---|---|
| 정수 | -?(0|[1-9][0-9]*) | 선행 0, 기수·정확성 접두사 |
| 유리수 | <integer>/[1-9][0-9]*; 읽은 뒤 기약 | 0·음수 분모 표기, 선행 0 분모 |
| 실수 | 소수부 또는 지수가 있는 십진수 | 정수와 모호한 표기, 비유한 리터럴 |
| 문자 | #\<scalar> 또는 고정 이름 형식 | 잘못된 스칼라 또는 불완전 이스케이프 |
| 바이트벡터 | #u8(<byte> ...) | 0..255 밖 요소 |
경계
- 프로필에 없는 리더 확장은 명시적으로 실패합니다.