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
FloatNumber and RealNumber are used inconsistently as the latter is a compound of the former. Some methods accept one or the other, some both. They both works with PartialOrd. Need to figure out if we need both or if one can be dropped. Having a sort of UML graph for the modules could help spot where discrepancies are present.
This is a formal issue, in terms of implementation both are good to work with.
The text was updated successfully, but these errors were encountered:
FloatNumber
andRealNumber
are used inconsistently as the latter is a compound of the former. Some methods accept one or the other, some both. They both works withPartialOrd
. Need to figure out if we need both or if one can be dropped. Having a sort of UML graph for the modules could help spot where discrepancies are present.This is a formal issue, in terms of implementation both are good to work with.
The text was updated successfully, but these errors were encountered: