Skip to content
GitLab
Explore
Sign in
Normalize dynamic constants during typechecking
Code
Review changes
Check out branch
Download
Patches
Plain diff
rarbore2
requested to merge
dc_typecheck_norm
into
main
Jan 17, 2025
Overview
0
Commits
2
Pipelines
1
Changes
1
Expand
Normalize dynamic constants during typechecking.
Fold constant dynamic constants.
Re-commute commutative dynamic constant operators.
Merge request reports
Loading