The standard library Line_Number_Db api defines functionality for tracking regions in source-code files, primarily for issuing error messages.
The Line_Number_Db api is implemented by the line_number_db package.
The Line_Number_Db api source code is in src/lib/compiler/front/basics/source/line-number-db.api.
The above information is manually maintained and may contain errors.
api { Charpos ;
Pair X;
Source_Code_Region ;
span : (Source_Code_Region , Source_Code_Region)
-> Source_Code_Region;
null_region : Source_Code_Region;
Sourceloc ;
Sourcemap ;
newmap : (Charpos , Sourceloc) -> Sourcemap;
newline : Sourcemap -> Charpos -> Void;
resynch : Sourcemap
-> (Charpos
, {column:Null_Or(Int ), file_name:Null_Or(String ),
line:Int})
-> Void;
forget_old_positions : Sourcemap -> Void;
filepos : Sourcemap -> Charpos -> Sourceloc;
fileregion : Sourcemap
-> Source_Code_Region -> List(Pair(Sourceloc ) );
positions : Sourcemap -> Sourceloc -> List(Charpos );
last_change : Sourcemap -> Charpos;
newline_count : Sourcemap -> Source_Code_Region -> Int;
};