ssm-lang / sslang

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

add switch for spaghetti, update old comment #113

Closed EmilySillars closed 2 years ago

EmilySillars commented 2 years ago

Adds a compiler switch so the user can print IR after type inference with all type annotations visible. This is an ugly/lispy output but it can be helpful for development.