search

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

Require time unit in after statements #54

Closed hmontero1205 closed 2 years ago

j-hui commented 2 years ago

@hmontero1205 can you resolve the merge conflicts, and then open a new PR against master? I'm going to merge in #46 first since that's quite long overdue.

hmontero1205 commented 2 years ago

@j-hui I just changed the base branch to master. No need for a new PR.

hmontero1205 commented 2 years ago

@Rewbert fyi, I ended up reverting your timeVal and timeUnit suggestion. I do see the value in doing that, but it became infeasible after adding SSMTimeAdd and SSMTimeSub constructors.

Rewbert commented 2 years ago

Makes sense!