Greater Detail on the phases/stages/architecture of `TypeChecker.fs`

fsharp / fsharp.github.io

F# Core Engineering Group

http://fsharp.github.io

45 stars 53 forks source link

Greater Detail on the phases/stages/architecture of `TypeChecker.fs` #58

Closed cloudRoutine closed 3 years ago

cloudRoutine commented 8 years ago

as well as deeper explanations of the "why" of many of the functions. There are a decent amount of comments explaining the "what" of some of the functions, but not as many about how they fit how they fit into the overarching context and their purpose as a sub-component of the type checking process.

dsyme commented 3 years ago

Closing this as the docs have moved