mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
b560f66ab9
After this, I think all modules in the check_hlds package belong there.
compiler/inst_match.m:
compiler/mode_test.m:
Move these modules from the check_hlds package to the hlds package
because most of their uses are outside the semantic analysis passes
that the check_hlds package is intended to contain.
compiler/inst_merge.m:
Move this module from the check_hlds package to the hlds package
because it is imported by only two modules, instmap.m and inst_match.m,
and after this diff, both are in the hlds package.
compiler/implementation_defined_literals.m:
Move this module from the check_hlds package to the hlds package
because it does a straightforward program transformation that
does not have anything to do with semantic analysis (though its
invocation does happen between semantic analysis passes).
compiler/notes/compiler_design.html:
Update the documentation of the goal_path.m module. (I checked the
documentation of the moved modules, which did not need updates,
and found the need for this instead.)
compiler/*.m:
Conform to the changes above. (For many modules, this deletes
their import of the check_hlds package itself.)
200 lines
6.5 KiB
Mathematica
200 lines
6.5 KiB
Mathematica
%-----------------------------------------------------------------------------%
|
|
% vim: ft=mercury ts=4 sw=4 et
|
|
%-----------------------------------------------------------------------------%
|
|
% Copyright (C) 2002-2006, 2009-2010 The University of Melbourne.
|
|
% Copyright (C) 2014-2018, 2021-2026 The Mercury team.
|
|
% This file may only be copied under the terms of the GNU General
|
|
% Public License - see the file COPYING in the Mercury distribution.
|
|
%-----------------------------------------------------------------------------%
|
|
%
|
|
% check_hlds: semantic analysis and error checking (the "front end" HLDS pass).
|
|
%
|
|
|
|
:- module check_hlds.
|
|
:- interface.
|
|
|
|
%-----------------------------------------------------------------------------%
|
|
|
|
% Type analysis.
|
|
|
|
% The current type analysis system.
|
|
% :- module type_analysis.
|
|
:- include_module check_typeclass.
|
|
:- include_module check_for_missing_type_defns.
|
|
:- include_module check_promise.
|
|
:- include_module post_typecheck.
|
|
:- include_module pre_typecheck.
|
|
:- include_module resolve_unify_functor.
|
|
:- include_module typecheck.
|
|
|
|
:- include_module typeclasses.
|
|
:- include_module types_into_modes.
|
|
% :- end_module type_analysis.
|
|
|
|
% Two never-completed attempts at constraint based type analysis.
|
|
% :- module type_analysis_constraints_1.
|
|
:- include_module old_type_constraints.
|
|
% :- end_module type_analysis_constraints_1.
|
|
% :- module type_analysis_constraints_2.
|
|
:- include_module type_constraints.
|
|
% :- end_module type_analysis_constraints_2.
|
|
|
|
% Purity checking.
|
|
:- include_module purity.
|
|
|
|
% The polymorphism transformation.
|
|
% :- module polymorphism.
|
|
:- include_module polymorphism.
|
|
:- include_module polymorphism_post_copy.
|
|
:- include_module polymorphism_type_info.
|
|
% :- end_module polymorphism.
|
|
|
|
% Populating proc_infos from the clauses.
|
|
:- include_module clause_to_proc.
|
|
|
|
% Warnings about insts with no matching types.
|
|
:- include_module inst_check.
|
|
|
|
% Preprocessing user insts in the inst table for mode analysis.
|
|
:- include_module inst_user.
|
|
|
|
% Mode analysis.
|
|
|
|
% The current mode analysis system, which is based (quite loosely)
|
|
% on the idea of abstract interpretation.
|
|
% :- module mode_analysis.
|
|
:- include_module inst_abstract_unify.
|
|
:- include_module mode_comparison.
|
|
:- include_module mode_errors.
|
|
:- include_module mode_info.
|
|
:- include_module modes.
|
|
:- include_module proc_requests.
|
|
:- include_module recompute_instmap_deltas.
|
|
:- include_module unify_proc.
|
|
:- include_module unique_modes.
|
|
% :- end_module mode_analysis.
|
|
|
|
% The following modules implement the first (robdd-based)
|
|
% prototype constraint based mode checker, which was never completed.
|
|
% :- module mode_analysis_robdd.
|
|
:- include_module mode_constraint_robdd.
|
|
:- include_module mode_constraints.
|
|
:- include_module mode_ordering.
|
|
% :- end_module mode_analysis_robdd.
|
|
|
|
% The following modules implement the second (propagation-based)
|
|
% prototype constraint based mode checker, which was never completed.
|
|
% :- module mode_analysis_prop.
|
|
:- include_module abstract_mode_constraints.
|
|
:- include_module build_mode_constraints.
|
|
:- include_module mcsolver.
|
|
:- include_module ordering_mode_constraints.
|
|
:- include_module prop_mode_constraints.
|
|
% :- end_module mode_analysis_prop.
|
|
|
|
% A pass that can sometimes make the result of mode analysis
|
|
% look and behave better.
|
|
:- include_module delay_partial_inst.
|
|
|
|
% Indexing analysis.
|
|
:- include_module cse_detection.
|
|
:- include_module switch_detection.
|
|
:- include_module find_bind_var.
|
|
:- include_module switch_candidates.
|
|
:- include_module scout_disjunctions.
|
|
|
|
% Determinism analysis.
|
|
% :- module determinism_analysis.
|
|
:- include_module det_analysis.
|
|
:- include_module det_infer_goal.
|
|
:- include_module det_util.
|
|
% :- end_module determinism_analysis.
|
|
|
|
% Stratification.
|
|
:- include_module stratify.
|
|
|
|
% Order independent state update pragmas.
|
|
:- include_module oisu_check.
|
|
|
|
% Expand try goals.
|
|
:- include_module try_expand.
|
|
|
|
% Check the information in format_call pragmas.
|
|
:- include_module check_pragma_format_call.
|
|
|
|
% Warnings about simple code.
|
|
:- include_module simplify.
|
|
|
|
% Warnings about unused imports.
|
|
:- include_module unused_imports.
|
|
|
|
% Warnings about unused types.
|
|
:- include_module unused_types.
|
|
|
|
% Warnings about bad programming style.
|
|
:- include_module style_checks.
|
|
|
|
% Output XML representation useful for documentation of module.
|
|
:- include_module xml_documentation.
|
|
|
|
%-----------------------------------------------------------------------------%
|
|
:- implementation.
|
|
%-----------------------------------------------------------------------------%
|
|
|
|
% Type checking.
|
|
% :- module type_analysis.
|
|
:- include_module type_assign.
|
|
:- include_module typecheck_clauses.
|
|
:- include_module typecheck_coerce.
|
|
:- include_module typecheck_cons_infos.
|
|
:- include_module typecheck_debug.
|
|
:- include_module typecheck_errors.
|
|
:- include_module typecheck_error_arg_vector.
|
|
:- include_module typecheck_error_builtin.
|
|
:- include_module typecheck_error_diff.
|
|
:- include_module typecheck_error_overload.
|
|
:- include_module typecheck_error_type_assign.
|
|
:- include_module typecheck_error_undef.
|
|
:- include_module typecheck_error_unify.
|
|
:- include_module typecheck_error_util.
|
|
:- include_module typecheck_error_wrong_type.
|
|
:- include_module typecheck_info.
|
|
:- include_module typecheck_msgs.
|
|
:- include_module typecheck_unify_var_functor.
|
|
:- include_module typecheck_util.
|
|
% :- end_module type_analysis.
|
|
|
|
% Polymorphism transformation.
|
|
% :- module polymorphism.
|
|
:- include_module introduce_exists_casts.
|
|
:- include_module polymorphism_clause.
|
|
:- include_module polymorphism_goal.
|
|
:- include_module polymorphism_info.
|
|
:- include_module polymorphism_lambda.
|
|
:- include_module polymorphism_type_class_info.
|
|
% :- end_module polymorphism.
|
|
|
|
% Mode checking.
|
|
% :- module mode_analysis.
|
|
:- include_module delay_info.
|
|
:- include_module inst_make.
|
|
:- include_module mode_debug.
|
|
:- include_module modecheck_call.
|
|
:- include_module modecheck_coerce.
|
|
:- include_module modecheck_conj.
|
|
:- include_module modecheck_goal.
|
|
:- include_module modecheck_unify.
|
|
:- include_module modecheck_util.
|
|
% :- end_module mode_analysis.
|
|
|
|
% Determinism analysis.
|
|
% :- module determinism_analysis.
|
|
:- include_module det_check_proc.
|
|
:- include_module det_check_goal.
|
|
:- include_module det_check_switch.
|
|
% :- end_module determinism_analysis.
|
|
|
|
%-----------------------------------------------------------------------------%
|
|
:- end_module check_hlds.
|
|
%-----------------------------------------------------------------------------%
|