gistfile1.hs

module Experiment where


       import Text.Parsec
       import Text.Parsec.Token
       import Text.Parsec.Language


       data Expr = ScSymbol String
                   | ScString String
                   | ScNumber Integer
                   | ScCons Expr Expr
                   | ScNil
                   | ScBool Bool
                   | ScQuote Expr
            deriving Show
       


       mydef = emptyDef { 
                          commentLine = ";;"
                          , identStart = alphaNum <|> oneOf ":!$%&*+./<=>?@\\^|-~"
                          , opStart = parserZero
                          , opLetter = parserZero

                        }

       mytparser = makeTokenParser mydef

       TokenParser {
          identifier = idParser,
          reservedOp = opParser,
          stringLiteral = stringLiteralParser,
          natural = numParser,
          parens = parParser,
          lexeme = lexParser
       } = mytparser 

       boolLiteral = lexParser (
                        do 
                          char '#'
                          val <- (char 't') <|> (char 'f')
                          return $ ScBool $ val == 't'
                    )

       quoteParser = lexParser (
                        do 
                          char '\''
                          val <- scExprParser
                          return $ ScQuote val
                    )


--       atom:: Parser Expr
       atom =
        
          (do 
             id <- idParser
             return $ ScSymbol id)
          <|>
          (do str <- stringLiteralParser
              return $ ScString str)
          <|>
          (do num <- numParser
              return $ ScNumber num)
          <|>
          boolLiteral
          <|>
          quoteParser

       comp = 
          do exprs <- parParser (many scExprParser)
             return $ foldr ScCons ScNil exprs

       scExprParser =
            atom <|> comp
            

 

       doIt input = parse scExprParser "" input