Module qualify end_module declarations.

compiler/*.m:
    Module qualify the end_module declarations. In some cases, add them.

compiler/table_gen.m:
    Remove an unused predicate, and inline another in the only place
    where it is used.

compiler/add_pragma.m:
    Give some predicates more meaningful names.
This commit is contained in:
Zoltan Somogyi
2014-09-04 00:24:52 +02:00
parent 2a518ce242
commit 13b6f03f46
159 changed files with 595 additions and 513 deletions

View File

@@ -722,3 +722,5 @@ is_valid_c_identifier(S) :-
string.is_all_alnum_or_underscore(S).
%-----------------------------------------------------------------------------%
:- end_module backend_libs.c_util.
%-----------------------------------------------------------------------------%