Skip to content
Snippets Groups Projects

Fix handling of constness in Typifier

Merged Fix handling of constness in Typifier
fhennig/fix-const-typing into backend-rework
Merged Frederik Hennig requested to merge fhennig/fix-const-typing into backend-rework
  1. Apr 02, 2024
  3. Mar 31, 2024
    • Frederik Hennig's avatar
      Typing fixes: · f1486c07
      Frederik Hennig authored 
       - Symbols now also receive the const-qualification of `default_dtype`
 - Fix const propagation to structs
 - Add doc comment explaining all this
      f1486c07
    • Frederik Hennig's avatar
      Fix constness in typifier: · afdd0127
      Frederik Hennig authored 
       - TypeContext now assumes `const` by default
 - Introduce `require_nonconst` to TypeContext
 - Check LHS for constness in `PsAssignment`s
 - Fix test cases
      afdd0127