Optional braces in case syntax

anoma / juvix

A language for intent-centric and declarative decentralised applications

https://docs.juvix.org

GNU General Public License v3.0

442 stars 54 forks source link

Optional braces in case syntax #2778

Closed lukaszcz closed 1 month ago

lukaszcz commented 1 month ago

Closes #2769
Removes old case syntax
Pretty printing doesn't print braces in case if the case is a "top" expression in a definition.

lukaszcz commented 1 month ago

I'd be happy if we could replace the Bool argument for top with another more descriptive type (maybe IsTop). And in the definition of this type explain in detail what it means to be top

Done