[da39a3ee]

Is "semantic analysis" in the sense you used it similar to "type checking"?

[fcurts]

Semantic analysis is a broader term that (for languages with a type checker) includes type checking. https://cs.lmu.edu/~ray/notes/semanticanalysis/