Change symbol typification: Infer unknown LHS data types from RHS
- Jul 18, 2024
-
-
Frederik Hennig authored
-
Frederik Hennig authored
-
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.