diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2016-04-17 01:12:23 +0200 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2016-04-17 01:12:23 +0200 |
| commit | a4645fa4bfe346dca048c946b8a2122ddcb6bf57 (patch) | |
| tree | 8f4708a61c895201783a1eb6682042b189bb1d0d /events/src/Events/Spec.hs | |
| parent | 5ddabb4a837e9aa7568043433ebf2d64f2838a38 (diff) | |
| download | events-a4645fa4bfe346dca048c946b8a2122ddcb6bf57.tar events-a4645fa4bfe346dca048c946b8a2122ddcb6bf57.tar.gz events-a4645fa4bfe346dca048c946b8a2122ddcb6bf57.tar.bz2 events-a4645fa4bfe346dca048c946b8a2122ddcb6bf57.tar.xz events-a4645fa4bfe346dca048c946b8a2122ddcb6bf57.zip | |
Seperated non-value rec. into own layer of state
Fixes lack of fixpoint
Diffstat (limited to 'events/src/Events/Spec.hs')
| -rw-r--r-- | events/src/Events/Spec.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/events/src/Events/Spec.hs b/events/src/Events/Spec.hs index deabcc3..1e7e1b4 100644 --- a/events/src/Events/Spec.hs +++ b/events/src/Events/Spec.hs | |||
| @@ -28,8 +28,8 @@ interpret :: MonadIO m => Spec -> Eval m () | |||
| 28 | interpret = mapM_ interpretExpr | 28 | interpret = mapM_ interpretExpr |
| 29 | 29 | ||
| 30 | interpretExpr :: MonadIO m => Expr -> Eval m () | 30 | interpretExpr :: MonadIO m => Expr -> Eval m () |
| 31 | interpretExpr (Override obj) = ctxEvent ?= obj | 31 | interpretExpr (Override obj) = objPayload ?= obj |
| 32 | interpretExpr (Occurs expr) = ctxOccurs <~ interpretBoolExpr expr | 32 | interpretExpr (Occurs expr) = objOccurs <~ interpretBoolExpr expr |
| 33 | interpretExpr _ = return () | 33 | interpretExpr _ = return () |
| 34 | 34 | ||
| 35 | interpretBoolExpr :: Monad m => BoolExpr -> Eval m Bool | 35 | interpretBoolExpr :: Monad m => BoolExpr -> Eval m Bool |