Hey @jdkleiner based on your query, I thought we shouldn't simply dismiss this offhand. So let's have an issue to discuss where, how and when to audit unit conversion.
we can certainly add units and data type to equations and all other subcomps (like vardefs)
It would then be easy enough if an input variable to an equation or other expression is of a different unit type than the expression using it, then we can flag it for inspection. That could be a point of review.
The tricky part is how to insure that a variable IS transformed: detecting a conversion inside an equation would be very difficult.
"we can certainly add units and data type to equations and all other subcomps (like vardefs)"
I love this idea, and if we can have it flag for inspection any time an input variable is of a different unit type, I think that'll get us 99% of the way there- because that'll at least require us to put eyeballs on where unit conversions are needed, so we can probably get away from having to solve the third bullet above
Hey @jdkleiner based on your query, I thought we shouldn't simply dismiss this offhand. So let's have an issue to discuss where, how and when to audit unit conversion.