ssm-lang / Scoria

This is an embedding of the Sparse Synchronous Model, in Haskell!
BSD 3-Clause "New" or "Revised" License
4 stars 0 forks source link

Regression tweaks #40

Closed j-hui closed 3 years ago

j-hui commented 3 years ago

A loose assortment of small tweaks to the runtime system.

I added get_now to basically expose now, to make it easier to hack together main functions, but note that this will be quickly phased out since @sedwards-lab is working on a more robust interface.

Toward cross-compiling onto a board, I created a flip flop regression test which can be used to generate code that "blinks" alternating 1s and 0s to an integer. I also removed the unreachable printf from the generated code which was kind of a hack anyway.

Finally I fixed a subtle type error in the ManyConts regression test, which I had accidentally introduced when manually shrinking some code.