Module Linenum


module Linenum: sig .. end

An auxiliary lexer for determining the line number corresponding to a file position, honoring the directives # linenum "filename"



val for_position : string -> int -> string * int * int
Linenum.for_position file loc returns a triple describing the location loc in the file named file. First result is name of actual source file. Second result is line number in that source file. Third result is position of beginning of that line in file.