Skip to content

#998 CIF codegen: fixes for type declarations and tuple field projections

  • Best to review per commit.
  • End-user visible changes:
    • Type declarations are now eliminated as preprocessing. No more type normalization during code generation. This fixes at least the bug for generation of out of range checks for variables that have a type declaration with a ranged integers as their type. There may be more cases that were broken that have been fixed, but that we are not aware of.
    • Properly handle tuple field projections in case of compatible tuple types.
  • Other changes:
    • Some code cleanup.
    • Extra assertions for safety.
    • Extra toString for debugging.

Closes #998 (closed)

Merge request reports

Loading