Introduction
1.
Lexical Syntax
1.1.
Keywords
1.2.
Identifiers
1.3.
Comments
2.
L Programs
3.
Items
3.1.
Functions
3.2.
ADT Declarations
3.3.
Type parameters
4.
Statements
4.1.
Let Statements
4.2.
Expression Statements
5.
Expressions
5.1.
Lvalues and Rvalues
5.2.
Literal Expressions
5.3.
Path Expressions
5.4.
Group Expressions
5.5.
Block Expressions
5.6.
Operator Expressions
5.7.
Tuple Expressions
5.8.
Return Expressions
5.9.
Closure Expressions
5.10.
Call Expressions
5.11.
Conditional Expressions
5.12.
Struct Expressions
6.
Patterns
6.1.
Identifier Pattern
6.2.
Wildcard Pattern
7.
The Type System
7.1.
Types
7.2.
Primitive Types
7.3.
Parenthesized Types
7.4.
Function Types
8.
Implementation
8.1.
Passes
8.2.
Lexical Analysis
8.3.
Syntactic Analysis
Light (default)
Rust
Coal
Navy
Ayu
L
Parenthesized Types
Syntax
<
parenthesized-type
> ::=
(
<
type
>
)