search

andrew-johnson-4 / lambda-mountain

Compact Portable Assembler (5K SLOC)
MIT License
12 stars 0 forks source link

Keyed Destructuring #433

Open andrew-johnson-4 opened 1 month ago

andrew-johnson-4 commented 1 month ago

unconditional binding

match abc (
   ()
   ( (B( (@x 5_u32) )) ( ... ) )
)

conditional binding

match abc (
   ()
   ( (B( (:x 5_u32) )) ( ... ) )
)

only one binds a variable so it hopefully won't be too confusing between the two.