From e65686463a7adb8ec6ae5e6ac271590a6dacf9ff Mon Sep 17 00:00:00 2001 From: Timothy Clem Date: Tue, 28 Nov 2017 11:13:34 -0800 Subject: [PATCH] Update Context eval instance to use yield --- src/Data/Syntax.hs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/Data/Syntax.hs b/src/Data/Syntax.hs index 8a482c31b..abd0fee10 100644 --- a/src/Data/Syntax.hs +++ b/src/Data/Syntax.hs @@ -206,7 +206,9 @@ instance Diffable Context where instance Eq1 Context where liftEq = genericLiftEq instance Ord1 Context where liftCompare = genericLiftCompare instance Show1 Context where liftShowsPrec = genericLiftShowsPrec + instance (Monad m) => Eval l (Value s a l) m s a Context where - eval ev Context{..} = ev contextSubject + eval ev yield Context{..} = ev pure contextSubject >>= yield + instance (Monad m) => Eval l Type m s a Context where - eval ev Context{..} = ev contextSubject + eval ev yield Context{..} = ev pure contextSubject >>= yield