1 Lexical Syntax1.1 Identifiers. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2 Newline Characters. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3 Literals. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3.1 Integer Literals. . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3.2 Floating Point Literals. . . . . . . . . . . . . . . . . . . . . . . 1.3.3 Boolean Literals. . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3.4 Character Literals. . . . . . . . . . . . . . . . . . . . . . . . . . 1.3.5 String Literals. . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3.6 Escape Sequences. . . . . . . . . . . . . . . . . . . . . . . . . 1.3.7 Symbol literals. . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4 Whitespace and Comments. . . . . . . . . . . . . . . . . . . . . . . . 1.5 XML mode. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2 Identifiers, Names and Scopes
3 Types3.1 Paths. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2 Value Types. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2.1 Singleton Types. . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2.2 Type Projection. . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2.3 Type Designators. . . . . . . . . . . . . . . . . . . . . . . . . . 3.2.4 Parameterized Types. . . . . . . . . . . . . . . . . . . . . . . . 3.2.5 Tuple Types. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2.6 Annotated Types. . . . . . . . . . . . . . . . . . . . . . . . . . 3.2.7 Compound Types. . . . . . . . . . . . . . . . . . . . . . . . . . 3.2.8 Infix Types. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2.9 Function Types. . . . . . . . . . . . . . . . . . . . . . . . . . .