Parsing and checking#

Before generating Go, the compiler reads the source and checks names, types, scopes, and captured values. It records the checked facts in a typed intermediate representation, or typed IR. These pages explain each stage.

• Compilation pipeline — Follow a program from project loading to the native executable.
• Type checking and source contracts
• Scope and capture checking
• Typed intermediate representation