ghc/compiler/parser/ParserCoreUtils.hs

   1 module ParserCoreUtils where
   2
   3 data ParseResult a = OkP a | FailP String
   4 type P a = String -> Int -> ParseResult a
   5
   6 thenP :: P a -> (a -> P b) -> P b
   7 m `thenP`  k = \ s l ->
   8   case m s l of
   9     OkP a -> k a s l
  10     FailP s -> FailP s
  11
  12 returnP :: a -> P a
  13 returnP m _ _ = OkP m
  14
  15 failP :: String -> P a
  16 failP s s' _ = FailP (s ++ ":" ++ s')
  17
  18 data Token =
  19    TKmodule
  20  | TKdata
  21  | TKnewtype
  22  | TKforall
  23  | TKrec
  24  | TKlet
  25  | TKin
  26  | TKcase
  27  | TKof
  28  | TKcoerce
  29  | TKnote
  30  | TKexternal
  31  | TKwild
  32  | TKoparen
  33  | TKcparen
  34  | TKobrace
  35  | TKcbrace
  36  | TKhash
  37  | TKeq
  38  | TKcoloncolon
  39  | TKstar
  40  | TKrarrow
  41  | TKlambda
  42  | TKat
  43  | TKdot
  44  | TKquestion
  45  | TKsemicolon
  46  | TKname String
  47  | TKcname String
  48  | TKinteger Integer
  49  | TKrational Rational
  50  | TKstring String
  51  | TKchar Char
  52  | TKEOF
  53