home *** CD-ROM | disk | FTP | other *** search
/ Garbo / Garbo.cdr / mac / progrmng / cmlmcmpw.sit / Caml Light / Lib / parsing.mli < prev    next >
Encoding:
Text File  |  1991-05-01  |  598 b   |  29 lines  |  [TEXT/MPS ]
  1. #open "obj";;
  2. #open "lexing";;
  3.  
  4. type parse_tables =
  5.   { actions : (unit -> obj) vect;
  6.     transl : int vect;
  7.     lhs : int vect;
  8.     len : int vect;
  9.     defred : int vect;
  10.     dgoto : int vect;
  11.     sindex : int vect;
  12.     rindex : int vect;
  13.     gindex : int vect;
  14.     tablesize : int;
  15.     table : int vect;
  16.     check : int vect }
  17. ;;
  18.  
  19. exception yyexit of obj
  20.       and Parse_error of (obj -> bool)
  21. ;;
  22.  
  23. value yyparse : parse_tables -> int -> (lexbuf -> 'a) -> lexbuf -> 'b
  24.   and peek_val : int -> 'a
  25.   and symbol_start : unit -> int
  26.   and symbol_end : unit -> int
  27.   and clear_parser : unit -> unit
  28. ;;
  29.