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

Implement Method

Browse Source 
Co-Authored-By: Rick Winfrey <rick.winfrey@gmail.com>
This commit is contained in:
joshvera 2018-11-26 19:54:37 -05:00
parent e9a999b69e
commit ff1543f434
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
src/Data/Syntax/Declaration.hs
View File

@ -62,12 +62,14 @@ instance Diffable Method where
-- Evaluating a Method creates a closure and makes that value available in the
-- local environment.
instance Evaluatable Method where
eval _ Method{..} = undefined
-- name <- maybeM (throwEvalError NoNameError) (declaredName methodName)
-- (_, addr) <- letrec name (function (Just name) (paramNames methodParameters) methodBody)
-- bind name addr
-- pure (Rval addr)
-- where paramNames = foldMap (maybeToList . declaredName)
eval _ Method{..} = do
name <- maybeM (throwEvalError NoNameError) (declaredName methodName)
-- TODO: Should we declare the name of the function within `function`?
span <- ask @Span
declare (Declaration name) span Nothing
params <- for methodParameters $ \param -> do
maybeM (throwEvalError NoNameError) (declaredName param)
function name params methodBody
instance Tokenize Data.Syntax.Declaration.Method where
tokenize Method{..} = within' Scope.Method $ do