In #wfExpr, properly use the argument t, not hardcoded ℤ

shingarov / MachineArithmetic

A mathematical foundation for Smalltalk-25

MIT License

17 stars 6 forks source link

In #wfExpr, properly use the argument t, not hardcoded ℤ #242

Closed shingarov closed 6 months ago

shingarov commented 6 months ago

Also, when the termination metric gets arithmetically manipulated, it means #wfExpr can be sent to any Expr, so this method properly belongs in Expr (as it does in upstream).