1
1
mirror of https://github.com/github/semantic.git synced 2024-12-20 21:31:48 +03:00

Eval instance for New

This commit is contained in:
joshvera 2018-09-14 11:35:43 -04:00
parent c61c592ef6
commit d19b861cbe

View File

@ -530,7 +530,10 @@ instance Ord1 New where liftCompare = genericLiftCompare
instance Show1 New where liftShowsPrec = genericLiftShowsPrec
-- TODO: Implement Eval instance for New
instance Evaluatable New
instance Evaluatable New where
eval (New a) =
-- TODO: Traverse subterms and instantiate frames from the corresponding scope
rvalBox unit
-- | A cast expression to a specified type.
data Cast a = Cast { castSubject :: !a, castType :: !a }