diff options
| -rw-r--r-- | src/Interpreter.hs | 71 | ||||
| -rw-r--r-- | src/Utils.hs | 4 | ||||
| -rw-r--r-- | todo.md | 2 |
3 files changed, 48 insertions, 29 deletions
diff --git a/src/Interpreter.hs b/src/Interpreter.hs index 512fc64..abe8b85 100644 --- a/src/Interpreter.hs +++ b/src/Interpreter.hs @@ -10,6 +10,7 @@ import qualified Data.List as L import Data.Function ( on ) import Control.Monad.State import Control.Monad.Except +import Control.Exception ( try ) import Utils import Builtins import Tokenizer ( tokenize ) @@ -62,19 +63,22 @@ letArgsToSymValPairs args = other -> throwL (astPos $ head other) $ "let! called with invalid args " ++ show other defineUserFunction :: AST -> [AST] -> LContext LFunction -defineUserFunction AST { astNode = ASTSymbol param } exprs = return fn where +defineUserFunction paramAst@AST { astNode = ASTSymbol param } exprs = return fn where fn :: LFunction - fn arg = do - let replacedExprs = map (traverseAndReplace param arg) exprs - let letExprs = take (length exprs - 1) replacedExprs - letSymValPairs <- letExprs - $> mapM (\case AST { astNode = ASTFunctionCall v } -> return $ drop 1 v - ast -> throwL (astPos ast) $ "unreachable: map letExprs, ast: " ++ show ast) - .> fmap (mapM $ letArgsToSymValPairs) .> join - let body = head $ drop (length exprs - 1) replacedExprs - let newBody = traverseAndReplace param arg body - $> foldSymValPairs letSymValPairs - evaluate newBody + fn arg = + let ret = do + let replacedExprs = map (traverseAndReplace param arg) exprs + let letExprs = take (length exprs - 1) replacedExprs + letSymValPairs <- letExprs + $> mapM (\case AST { astNode = ASTFunctionCall v } -> return $ drop 1 v + ast -> throwL (astPos ast) $ "unreachable: map letExprs, ast: " ++ show ast) + .> fmap (mapM $ letArgsToSymValPairs) .> join + let body = head $ drop (length exprs - 1) replacedExprs + let newBody = traverseAndReplace param arg body + $> foldSymValPairs letSymValPairs + evaluate newBody + in ret `catchError` + appendError ("in a function definition at " ++ astPos paramAst) defineUserFunction param exprs = throwL (astPos param) $ "unreachable: defineUserFunction, param: " ++ show param ++ ", exprs: " ++ show exprs @@ -252,6 +256,7 @@ evaluateUserFunction children = do doubleEvaledArgs <- mapM evaluate evaledArgs result <- curryCall (reverse doubleEvaledArgs) fn + -- todo: maybe remove double eval here? can't remember why it was added return $ fnAst { astNode = astNode result } @@ -265,29 +270,33 @@ evaluateSymbol ast@AST { astNode = ASTSymbol sym } = do evaluateSymbol ast = throwL (astPos ast) $ "unreachable: evaluateSymbol, ast: " ++ show ast evaluate :: AST -> LContext AST -evaluate AST { astNode = fnc@(ASTFunctionCall args@(x:_)) } = +evaluate ast@AST { astNode = fnc@(ASTFunctionCall args@(x:_)) } = do config <- getConfig when (configPrintCallStack config) $ liftIO $ putStrLn $ "fn call: " ++ show fnc incrementDepth - case astNode x of + let ret = case astNode x of -- remember to add these as reseved keywords in Builtins! - ASTSymbol "\\" -> - evaluateFunctionDef args - ASTSymbol "match" -> - evaluateMatch args - ASTSymbol "let!" -> - evaluateLet args - ASTSymbol "env!" -> - evaluateEnv args - ASTSymbol "import!" -> - evaluateImport args - _ -> - evaluateUserFunction args + ASTSymbol "\\" -> + evaluateFunctionDef args + ASTSymbol "match" -> + evaluateMatch args + ASTSymbol "let!" -> + evaluateLet args + ASTSymbol "env!" -> + evaluateEnv args + ASTSymbol "import!" -> + evaluateImport args + _ -> + evaluateUserFunction args + + ret `catchError` + appendError ("when calling function " ++ show x ++ " at " ++ astPos ast) evaluate ast@AST { astNode = (ASTSymbol _) } = evaluateSymbol ast evaluate ast@AST { astNode = (ASTVector vec) } = do incrementDepth - rets <- mapM evaluate vec + rets <- mapM evaluate vec `catchError` + appendError ("when evaluating elements of vector " ++ show vec ++ " at " ++ astPos ast) return $ ast { astNode = ASTVector rets } evaluate other = return other @@ -296,7 +305,13 @@ evaluate other = runScriptFile :: String -> LContext [AST] runScriptFile fileName = do - src <- liftIO $ readFile fileName + let srcM :: IO (Either IOError String) + srcM = try $ readFile fileName + + srcM' <- liftIO srcM + src <- case srcM' of + Right s -> return s + Left _ -> throwL "" $ "Failed to open file: \"" ++ fileName ++ "\"" runInlineScript fileName src runInlineScript :: String -> String -> LContext [AST] diff --git a/src/Utils.hs b/src/Utils.hs index 8dd233f..ec8cfc8 100644 --- a/src/Utils.hs +++ b/src/Utils.hs @@ -201,6 +201,10 @@ throwL :: String -> String -> LContext a throwL p s = throwError $ LException mp s where mp = if p == "" then Nothing else Just p +appendError :: String -> LException -> LContext a +appendError as (LException psM es) = + throwError $ LException psM $ es ++ "\n " ++ as + asPairsM :: [a] -> LContext [(a, a)] asPairsM [] = return [] asPairsM (a:b:rest) = do @@ -2,9 +2,9 @@ In order of priority +- Add row index to "<repl>" filename in AST - Add proper module system - Make exports a return value of runXXX functions -- Add "stack traces" (somehow) - Write function let expressions properly using lookups - Write tests! - Come up with a name for the language |