Propagate parse errors from trace parsers to testing framework

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

Propagate parse errors from trace parsers to testing framework #70

Open Rewbert opened 3 years ago

Rewbert commented 3 years ago

Now it just crashes if the parsing fails, but we could change the parse function from Maybe Trace to be Either ParseError Trace instead, and let the client code handle errors in an appropriate way.