From e2921b58336283597cba771d5dd54ede40f89ea5 Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Fri, 5 Aug 2016 15:53:19 +0200 Subject: Made EVal more specific & fixed evaluation --- events/src/Events/Spec/Types.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'events/src/Events/Spec/Types.hs') diff --git a/events/src/Events/Spec/Types.hs b/events/src/Events/Spec/Types.hs index d9d1ef1..1f319c7 100644 --- a/events/src/Events/Spec/Types.hs +++ b/events/src/Events/Spec/Types.hs @@ -18,7 +18,7 @@ import Events.Types -- | A functional language reminiscent of typed lambda calculus with monadic -- side-effects and foreign primitives data Expr :: (* -> *) -> [*] -> * -> * where - EVal :: Val m a -> Expr m ctx a + EVal :: Val m a ~ m a => Val m a -> Expr m ctx a EPri :: (Val m a -> Expr m ctx b) -> Expr m (a ': ctx) b EVar :: Elem a ctx -> Expr m ctx a ELam :: Expr m (arg ': ctx) res -> Expr m ctx (arg -> res) -- cgit v1.2.3