1
1
mirror of https://github.com/github/semantic.git synced 2024-12-21 22:01:46 +03:00

Merge remote-tracking branch 'origin/if-evaluation' into environment-scoping

This commit is contained in:
Timothy Clem 2018-03-05 09:13:04 -08:00
commit f278f84f36

View File

@ -14,7 +14,6 @@ instance Eq1 If where liftEq = genericLiftEq
instance Ord1 If where liftCompare = genericLiftCompare instance Ord1 If where liftCompare = genericLiftCompare
instance Show1 If where liftShowsPrec = genericLiftShowsPrec instance Show1 If where liftShowsPrec = genericLiftShowsPrec
-- TODO: Implement Eval instance for If
instance Evaluatable If where instance Evaluatable If where
eval (If cond if' else') = do eval (If cond if' else') = do
bool <- subtermValue cond bool <- subtermValue cond