X-Git-Url: https://git.rmz.io/my-scheme.git/blobdiff_plain/b388d53e751db6d925a39c06dc871c125799b8e5..2c9201bc9abac31f46a43c621c4f47553d17c7a4:/app/Main.hs diff --git a/app/Main.hs b/app/Main.hs index c64fd18..233fa6c 100644 --- a/app/Main.hs +++ b/app/Main.hs @@ -1,4 +1,5 @@ module Main where +import Control.Monad import Text.ParserCombinators.Parsec hiding (spaces) import System.Environment @@ -8,6 +9,7 @@ data LispVal = Atom String | Number Integer | String String | Bool Bool + deriving Show symbol :: Parser Char symbol = oneOf "!#$%&|*+-/:<=>?@^_~" @@ -15,12 +17,40 @@ symbol = oneOf "!#$%&|*+-/:<=>?@^_~" spaces :: Parser () spaces = skipMany space +parseString :: Parser LispVal +parseString = do + char '"' + x <- many (noneOf "\"") + char '"' + return $ String x + +parseAtom :: Parser LispVal +parseAtom = do + a <- letter <|> symbol + b <- many (letter <|> digit <|> symbol) + let atom = a:b + return $ case atom of + "#t" -> Bool True + "#f" -> Bool False + _ -> Atom atom + +parseNumber :: Parser LispVal +parseNumber = do ds <- many1 digit + let a = read ds + return $ Number a + +parseExpr :: Parser LispVal +parseExpr = parseString + <|> parseAtom + <|> parseNumber + readExpr :: String -> String -readExpr input = case parse (spaces >> symbol) "lisp" input of +readExpr input = case parse parseExpr "lisp" input of Left err -> "No match: " ++ show err - Right val -> "Found value" + Right val -> "Found value: " ++ show val main :: IO () main = do args <- getLine putStrLn (readExpr args) + main