| 15 | | * Key data types (Simon PJ's diagram is attached at the bottom of this document): |
| 16 | | * [wiki:Commentary/Compiler/HsSynType The source language: HsSyn] |
| 17 | | * [wiki:Commentary/Compiler/RdrNameType RdrNames, Modules, and OccNames] |
| 18 | | * [wiki:Commentary/Compiler/NameType Names] |
| 19 | | * [wiki:Commentary/Compiler/EntityTypes Entities]: variables, type constructors, data constructors, and classes. |
| 20 | | * Types: [wiki:Commentary/Compiler/TypeType Type and Kind], [wiki:Commentary/Compiler/FC equality types and coercions] |
| 21 | | * [wiki:Commentary/Compiler/CoreSynType The core language] |
| 22 | | * [wiki:Commentary/Compiler/StgSynType The STG language] |
| 23 | | * [wiki:Commentary/Compiler/CmmType The Cmm language] |
| 24 | | * ModIface, ModDetails, ModGuts |
| | 15 | * [wiki:Commentary/Compiler/KeyDataTypes Key data types] |
