Parsec.Token：identifier

everyday parser Parsec 
module Main where

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

lexer  :: TokenParser ()
lexer  =  makeTokenParser(javaStyle)

run :: Show a => Parser a -> String -> IO ()
run p input
        = case (parse p "" input) of
            Left err -> do{ putStr "parse error at "
                          ; print err
                          }
            Right x  -> print x

で、

Prelude> :l 20081127_parsec00.hs
Compiling Main             ( 20081127_parsec00.hs, interpreted )
Ok, modules loaded: Main.
*Main> :t identifier
identifier :: forall st. TokenParser st -> CharParser st String
*Main> run (identifier lexer) "abc"
Loading package parsec ... linking ... done.
"abc"
*Main> run (identifier lexer) "012"
parse error at (line 1, column 1):
unexpected "0"
expecting identifier
*Main> run (identifier lexer) "_abc"
parse error at (line 1, column 1):
unexpected "_"
expecting identifier