search

input-output-hk / io-sim

Haskell's IO simulator which closely follows core packages (base, async, stm).
https://hackage.haskell.org/package/io-sim
Apache License 2.0
37 stars 15 forks source link

Add exception to STM Expr for testing #35

Open yogeshsajanikar opened 2 years ago

yogeshsajanikar commented 2 years ago

The current implementation of Test STM Expr does not allow nested exceptions. This commit adds nested exception by treating few values as exception values (ImmValueInt 0) and (ImmValueUnit) as special values to bubble up the exception.

WIP: Also add ImmValueException to enable testing type checking.