Diagnostics

Click the "Type Check" button.

Parsed Trees

Tips: You can click to open or close the nodes.
Click the "Type Check" button.

Debug Traces

Diagnostics

Click the "Type Check" button.

Elaborated Tree

Tips: You can click to open or close the nodes.
Click the "Type Check" button.

Debug Traces

Diagnostics

Click the "Type Check" button.

Elaborated Tree with Resolved Symbols

Tips: You can click to open or close the nodes.
Click the "Type Check" button.

Debug Traces

Diagnostics

Click the "Type Check" button.

Typer Output

JavaScript Code

Click the "Type Check" button.

Diagnostics

Click the "Type Check" button.

Debug Traces