[da39a3ee]

Oh thanks for that link, that's really interesting.

Can someone explain the paragraph below -- I thought "this is an invocation of a function named bar" was what we mean by semantic information:

> All features are based on parse trees and there is no semantic information - that means there is no guarantee for correctness. Parse trees allow to identify declarations and usages, like "these lines define a function named foo" or "this is an invocation of a function named bar"

[fcurts]

It uses heuristics to derive semantic information from the parse tree without doing a full semantic analysis.

[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/