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

Merge remote-tracking branch 'origin/master' into proper-continuations

Browse Source
This commit is contained in:
Patrick Thomson 2019-10-10 14:43:56 -04:00
commit 7d39423d26
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
semantic-python/src/Language/Python/Core.hs
View File

@ -241,7 +241,6 @@ instance Compile Py.FunctionDefinition where
} cc next = do
-- Compile each of the parameters, then the body.
parameters' <- traverse param parameters
-- BUG: ignoring the continuation here
body' <- compile body pure next
-- Build a lambda.
located <- locate it (lams parameters' body')
@ -263,11 +262,9 @@ instance Compile Py.Identifier where
instance Compile Py.IfStatement where
compile it@Py.IfStatement{ condition, consequence, alternative} cc next =
locate it =<< (if'
<$> compile condition pure next
<*> compile consequence cc next
<*> foldr clause (cc next) alternative
)
locate it =<< if' <$> compile condition pure next
<*> compile consequence cc next
<*> foldr clause (cc next) alternative
where clause (R1 Py.ElseClause{ body }) _ = compile body cc next
clause (L1 Py.ElifClause{ condition, consequence }) rest =
if' <$> compile condition pure next <*> compile consequence cc next <*> rest