Skip to content

Implement typechecking of all built-in functions#213

Merged
k2d222 merged 7 commits into
mainfrom
call-typecheck
Jul 8, 2026
Merged

Implement typechecking of all built-in functions#213
k2d222 merged 7 commits into
mainfrom
call-typecheck

Conversation

@k2d222

@k2d222 k2d222 commented Jul 2, 2026

Copy link
Copy Markdown
Collaborator

fixed #191

all implemented except typechecking of extra parameters of texture functions.

It's a lot of code. I have tested the type validation with the CTS. Unfortunately, running the CTS takes a lot of time and I don't have yet a reproducible/automated setup for it.

The error messages are a bit inconsistent, I hope to refactor that soon as well.

@k2d222 k2d222 merged commit c3a0b3e into main Jul 8, 2026
10 checks passed
@k2d222 k2d222 deleted the call-typecheck branch July 8, 2026 10:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

type_builtin_fn doesn't validate bitcast input/output size compatibility

1 participant