02. Language
RIF source is line-oriented. Gram preserves newline tokens, and Rule bodies use
one instruction per line. Comments begin with ;.
| Guide | Summary |
|---|---|
| 01. Source Structure | Root declarations, ordering, comments, and the basic file shape. |
| 02. Configuration and Linker | Target sections, output policy, and MIR file discovery. |
| 03. Tables and Loads | Matrix tables, lazy indexes, @LOAD, and source scopes. |
| 04. Rules and Values | Rule instructions, token references, table access, and value expressions. |
Minimal Shape
@config:
; target directives go here
@configend
@linker:
; linker directives go here
@linkerend
@table registers
| name | bits |
_
| rax | 64 |
@end
@rule mov:
-> IDENT
-> fits $registers.bits
The complete target must provide the required configuration directives before it is used to compile external MIR.