2013-10-20 22:55:30 +00:00
|
|
|
-- Driver for the Lamb programming language
|
|
|
|
-- Copyright (c) 2013 darkf
|
|
|
|
-- Licensed under the terms of the zlib license, see LICENSE for details
|
|
|
|
|
|
|
|
import System.Environment (getArgs)
|
|
|
|
import System.Directory (doesFileExist)
|
2013-10-26 02:34:31 +00:00
|
|
|
import System.FilePath (FilePath, splitExtension)
|
2013-10-20 22:55:30 +00:00
|
|
|
import Interp (evalProgram, evalString, Value(UnitV))
|
|
|
|
|
|
|
|
-- returns Nothing if all files exist, or Just path for the first one that doesn't
|
2013-10-26 02:34:31 +00:00
|
|
|
allExist :: [FilePath] -> IO (Maybe FilePath)
|
2013-10-20 22:55:30 +00:00
|
|
|
allExist [] = return Nothing
|
2013-10-26 01:16:19 +00:00
|
|
|
allExist ("-":xs) = allExist xs
|
2013-10-20 22:55:30 +00:00
|
|
|
allExist (x:xs) = do
|
|
|
|
exists <- doesFileExist x
|
|
|
|
if exists then allExist xs
|
|
|
|
else return $ Just x
|
|
|
|
|
2013-10-26 02:34:31 +00:00
|
|
|
isLiterate :: FilePath -> Bool
|
|
|
|
isLiterate path = snd (splitExtension path) == ".lilamb"
|
|
|
|
|
|
|
|
-- Takes the lines of a literate program and returns the lines for a new executable program
|
|
|
|
-- from lines beginning with four spaces.
|
|
|
|
parseLiterate :: [String] -> [String]
|
|
|
|
parseLiterate lns = [drop 4 line | line <- lns, take 4 line == " "]
|
|
|
|
|
2013-10-20 22:55:30 +00:00
|
|
|
evalFile :: String -> IO Value
|
|
|
|
evalFile path = do
|
2013-10-26 01:16:19 +00:00
|
|
|
contents <- if path == "-" then getContents else readFile path
|
2013-10-26 02:34:31 +00:00
|
|
|
if isLiterate path then
|
|
|
|
evalString . unlines . parseLiterate . lines $ contents
|
|
|
|
else evalString contents
|
2013-10-20 22:55:30 +00:00
|
|
|
|
|
|
|
main = do
|
|
|
|
args <- getArgs
|
|
|
|
exist <- allExist args
|
|
|
|
case exist of
|
|
|
|
Just file -> putStrLn $ "error: file " ++ file ++ " doesn't exist"
|
|
|
|
Nothing ->
|
|
|
|
mapM_ evalFile args
|