Commits
Click on a commit to change the comparison rangeRecursive SpannedTypeExpr for precise type-error diagnostics Merge branch 'canary' into hellovai/lsp-diagnostics Address PR review: diagnostics, throws, tests Preserve SpannedTypeExpr for let-binding type annotations (precise diagnostics)