Debug_Info module

get_filename

procedureSource

Returns the full path of file_info: its directory in info joined to its path, or the path alone when it is absolute.

get_filename :: (info: Line_Info, file_info: File_Info) -> string

Parameters

info: Line_Info
file_info: File_Info

Returns

string

See also