diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/files_map.adb | 8 | ||||
| -rw-r--r-- | src/types.ads | 6 |
2 files changed, 7 insertions, 7 deletions
diff --git a/src/files_map.adb b/src/files_map.adb index b7cc795a1..3ca45260c 100644 --- a/src/files_map.adb +++ b/src/files_map.adb @@ -1181,6 +1181,7 @@ package body Files_Map is declare F : Source_File_Record renames Source_Files.Table(I); begin + Put ('*'); Put (Source_File_Entry'Image (I)); Put (" name: " & Image (F.File_Name)); Put (" dir:" & Image (F.Directory)); @@ -1199,8 +1200,13 @@ package body Files_Map is Put (" lines_table_max:" & Natural'Image (F.Lines_Table_Max)); New_Line; - when others => + when Source_File_String => null; + when Source_File_Instance => + Put (" instance from:" & Source_File_Entry'Image (F.Ref)); + Put (", base:" & Source_File_Entry'Image (F.Base)); + Put (", loc:" & Image (F.Instance_Loc)); + New_Line; end case; end; end loop; diff --git a/src/types.ads b/src/types.ads index 08ca9d710..c66641c73 100644 --- a/src/types.ads +++ b/src/types.ads @@ -88,12 +88,6 @@ package Types is type Source_File_Entry is new Nat32; No_Source_File_Entry: constant Source_File_Entry := 0; - -- FIXME: additional source file entries to create: - -- *std.standard*: for those created in std.standard - -- *error*: for erroneous one - -- *command-line*: used for identifiers from command line - -- (eg: unit to elab) - -- Index into a file buffer. type Source_Ptr is new Uns32; |