Skip to content
Snippets Groups Projects

Change symbol typification: Infer unknown LHS data types from RHS

Merged Change symbol typification: Infer unknown LHS data types from RHS
fhennig/type-propagation into backend-rework
Merged Frederik Hennig requested to merge fhennig/type-propagation into backend-rework

This MR extends the typifier to infer the data type of untyped LHS symbols from an Assignment's RHS.

This feature is required when pystencils extracts subexpressions of non-default type, such as long boolean expressions from piecewise definitions.

Also, a few additional test cases for the typifier are added.

Edited by Frederik Hennig

Merge request reports

Pipeline #67716 passed

Stage:
    Stage:
      Stage:
        Stage:

          Pipeline passed for fcbdf0f5 on fhennig/type-propagation

          Merged by Frederik HennigFrederik Hennig 9 months ago (Jul 19, 2024 1:00pm UTC)

          Loading

          Pipeline #67748 passed

          Stage:
            Stage:
              Stage:
                Stage:

                  Pipeline passed for 169e3f8a on backend-rework

                  Activity

                  Filter activity
                  • Approvals
                  • Assignees & reviewers
                  • Comments (from bots)
                  • Comments (from users)
                  • Commits & branches
                  • Edits
                  • Labels
                  • Lock status
                  • Mentions
                  • Merge request status
                  • Tracking
                  Please register or sign in to reply