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.
This discussion was converted from issue #22 on January 06, 2025 18:13.
Heading
Bold
Italic
Quote
Code
Link
Numbered list
Unordered list
Task list
Attach files
Mention
Reference
Menu
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
Uh oh!
There was an error while loading. Please reload this page.
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.All reactions