home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 2 / Apprentice-Release2.iso / Tools / Languages / Caml Light 0.61 / Source / src / compiler / location.mli < prev    next >
Encoding:
Text File  |  1993-09-24  |  416 b   |  14 lines  |  [TEXT/MPS ]
  1. type location =
  2.     Loc of int     (* Position of the first character *)
  3.          * int     (* Position of the next character following the last one *)
  4. ;;
  5.  
  6. value get_current_location : unit -> location
  7.   and no_location : location
  8.   and prerr_location : location -> unit
  9.   and prerr_input_name : unit -> unit
  10.   and input_name : string ref
  11.   and input_chan : in_channel ref
  12.   and input_lexbuf : lexing__lexbuf ref
  13. ;;
  14.