mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity

Make --output-compiler-error-lines a maybe_int option.

Browse Source 
compiler/options.m:
doc/user_guide.texi:
    As above. --no-output-compiler-error-lines specifies that all the lines
    of the .err file should be written out.

compiler/make.build.m:
    Update the code copying the first N lines of a .err file to the current
    output stream to handle the newly-possible absence of a limit, as well
    as the existing situation where there is a limit.

compiler/make.module_dep_file.m:
    Print all of a file, not just 10000 lines, in the presence of a fatal
    error.
This commit is contained in:
Zoltan Somogyi
2023-08-05 18:58:54 +02:00
parent 1b2ba54277
commit 544a519a52
4 changed files with 29 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/make.module_dep_file.m
View File

@@ -908,7 +908,7 @@ make_module_dependencies_fatal_error(Globals, OldOutputStream, ErrorStream,
% Display the contents of the `.err' file, then remove it
% so we don't leave `.err' files lying around for nonexistent modules.
globals.set_option(output_compile_error_lines, int(10000),
globals.set_option(output_compile_error_lines, maybe_int(no),
Globals, UnredirectGlobals),
unredirect_output(UnredirectGlobals, ModuleName, ErrorStream, !Info, !IO),
module_name_to_file_name(Globals, $pred, ext_user(ext_user_err),