Little Parsec experiment

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
            deriving Show
       


       mydef = emptyDef { 
                          commentLine = ";;"
                          , reservedOpNames = []}

       mytparser = makeTokenParser mydef

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

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

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

       scExprParser =
            atom <|> comp
            


       doIt input = parse scExprParser "" input