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
In several modules (most notably Order.mo), we can simplify the implementation of module-level functions given new language capabilities which cause them to be less useful than before.
It could make sense to remove some of these functions, e.g. Order.isGreater() / Order.isLess() / Order.isEqual(), to simplify the base library.
The text was updated successfully, but these errors were encountered:
In several modules (most notably
Order.mo
), we can simplify the implementation of module-level functions given new language capabilities which cause them to be less useful than before.It could make sense to remove some of these functions, e.g.
Order.isGreater()
/Order.isLess()
/Order.isEqual()
, to simplify the base library.The text was updated successfully, but these errors were encountered: