search

ssm-lang / sslang

A language built atop the Sparse Synchronous Model
BSD 3-Clause "New" or "Revised" License
18 stars 0 forks source link

Support tuple syntax without having to declare PairN #162

Closed j-hui closed 1 year ago

j-hui commented 1 year ago

This PR unifies the syntax for tuples (types and data constructors), gets rid of need to define Pair2 etc., and generates all the necessary type definitions automatically.

j-hui commented 1 year ago

As long as tests pass, I'm going to merge this in without review because I desperately need this feature for a paper submission 🥲