New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

fresh label and numeric switch default syntax changes #14

Open

enricozb wants to merge 2 commits into main from enricozb/syntax-changes

Contributor

enricozb commented Jan 10, 2025

&{..} now means &0{..} in both the sup and dup positions.
&*{..} now means &<FRESH>{..} in both the sup and dup positions.
In numeric switch statements, the default case now injects the original number. For example

@f(x) = ~x {
  0: 123
  1: 456
  y: y
}

@main = @f(10)

will result in 10, not 8.

enricozb added 2 commits

January 10, 2025 09:14


          &{..} => &0{..} , &*{..} => &<FRESH>{..}


          inject original w32 in numeric switch default case

8b4c4f9

enricozb requested review from VictorTaelin and Lorenzobattistela

January 10, 2025 09:41

Lorenzobattistela approved these changes

View reviewed changes

VictorTaelin force-pushed the main branch 3 times, most recently from 3e248a2 to b1c0550 Compare

January 10, 2025 13:58

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet