You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As per #99, floating point rounding errors can lead to incorrect compilation errors.
We should really avoid internal floating point storage of time as it just causes us grief. We'll probably need to store the floating point time for error messages (otherwise quantisation of times could lead to confusion when trying to identify the line of code causing the issue), but that's probably not any harder than the rest of the work needed.
The text was updated successfully, but these errors were encountered:
As per #99, floating point rounding errors can lead to incorrect compilation errors.
We should really avoid internal floating point storage of time as it just causes us grief. We'll probably need to store the floating point time for error messages (otherwise quantisation of times could lead to confusion when trying to identify the line of code causing the issue), but that's probably not any harder than the rest of the work needed.
The text was updated successfully, but these errors were encountered: