Add DynamicTypeResolver to solve dynamic types intraprocedurally
- VariableAction.Definition now includes the expression to which the variable is defined, if possible.
- Solves #44 (closed), as we require the expression in the return variable action.
- Clients have been updated to register the type solvers in the new StaticTypeSolver interface.
Note: this only introduces the DynamicTypeResolver
, it does not insert it in the proper locations where type resolution needs to be dynamic instead of static.
Edited by Carlos Galindo