github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 00:33:59 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #1683 from github/evaluate-let

Browse Source 
Evaluate let-clauses.
This commit is contained in:
Rob Rix 2018-03-30 16:18:59 -04:00 committed by GitHub
commit ae52cca50a
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/Data/Syntax/Statement.hs
View File

@ -77,8 +77,11 @@ instance Eq1 Let where liftEq = genericLiftEq
instance Ord1 Let where liftCompare = genericLiftCompare
instance Show1 Let where liftShowsPrec = genericLiftShowsPrec
-- TODO: Implement Eval instance for Let
instance Evaluatable Let
instance Evaluatable Let where
eval Let{..} = do
addr <- snd <$> letrec name (subtermValue letValue)
localEnv (Env.insert name addr) (subtermValue letBody)
where name = freeVariable (subterm letVariable)
-- Assignment