Implement unit type as SSMType

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

Implement unit type as SSMType #45

Closed j-hui closed 3 years ago

j-hui commented 3 years ago

It occurs to me that we don't yet have this in the EDSL. This is useful for sending pure events between processes, and should probaby be available in our language in time for the REBLS paper.

sedwards-lab commented 3 years ago

Absolutely. The new runtime library has this type of scheduled variable, named "ssm_event_t"

Rewbert commented 3 years ago

I think adding this should be very straight forward! Maybe if someone who hasn't spent much time with the Haskell code yet wants to get more familiar with it, this should be a good way to do that. If not, I can probably implement this sometime soon.

hmontero1205 commented 3 years ago

I can do this as my starter bug!

Rewbert commented 3 years ago

Great! Just write if anything is unclear. Now we'll find out if my documentation-work was exhaustive or not 😂