1
1
mirror of https://github.com/github/semantic.git synced 2024-12-22 22:31:36 +03:00

Update Eval instance for Empty

This commit is contained in:
Timothy Clem 2017-11-28 11:15:14 -08:00
parent 97e5581436
commit 0d391d8e39

View File

@ -165,9 +165,9 @@ instance Ord1 Empty where liftCompare _ _ _ = EQ
instance Show1 Empty where liftShowsPrec _ _ _ _ = showString "Empty"
-- TODO: Define Value semantics for Empty
instance (Monad m) => Eval l (Value s a l) m s a Empty where
eval _ _ = pure (I PUnit)
instance (Monad m) => Eval l Type m s a Empty where
eval _ _ = pure Unit
eval _ yield _ = yield (I PUnit)
-- instance (Monad m) => Eval l Type m s a Empty where
-- eval _ _ = pure Unit
-- | Syntax representing a parsing or assignment error.