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.)
119 lines
4.1 KiB
Mathematica
119 lines
4.1 KiB
Mathematica
%-----------------------------------------------------------------------------%
|
|
% vim: ft=mercury ts=4 sw=4 et
|
|
%-----------------------------------------------------------------------------%
|
|
% Copyright (C) 2002-2010, 2012 The University of Melbourne.
|
|
% Copyright (C) 2014-2015, 2017-2018, 2022-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.
|
|
%-----------------------------------------------------------------------------%
|
|
%
|
|
% This package contains the HLDS data structure, together with modules
|
|
% for creating and manipulating it.
|
|
%
|
|
|
|
:- module hlds.
|
|
:- interface.
|
|
|
|
%-----------------------------------------------------------------------------%
|
|
|
|
% The HLDS data structure itself.
|
|
:- include_module assertion.
|
|
:- include_module const_struct.
|
|
:- include_module hlds_args.
|
|
:- include_module hlds_class.
|
|
:- include_module hlds_clauses.
|
|
:- include_module hlds_cons.
|
|
:- include_module hlds_data.
|
|
:- include_module hlds_goal.
|
|
:- include_module hlds_inst_mode.
|
|
:- include_module hlds_llds.
|
|
:- include_module hlds_markers.
|
|
:- include_module hlds_module.
|
|
:- include_module hlds_pred.
|
|
:- include_module hlds_promise.
|
|
:- include_module hlds_rtti.
|
|
:- include_module inst_graph.
|
|
:- include_module instmap.
|
|
:- include_module pred_table.
|
|
:- include_module special_pred.
|
|
:- include_module status.
|
|
|
|
% Modules for creating the HLDS.
|
|
:- include_module add_foreign_enum.
|
|
:- include_module add_special_pred.
|
|
:- include_module du_type_layout.
|
|
:- include_module default_func_mode.
|
|
:- include_module hhf.
|
|
:- include_module make_hlds.
|
|
:- include_module make_hlds_error.
|
|
:- include_module pre_quantification.
|
|
:- include_module quantification.
|
|
|
|
% A start on the infrastructure needed to transition mode analysis
|
|
% from the current abstract interpretation based system to the propagation
|
|
% based solver.
|
|
%
|
|
% Logically, the code of mode analysis belongs in the check_hlds package,
|
|
% not the hlds package. However, while goal_modes are experimental, we want
|
|
% to keep changes to their representations as cheap as possible, and
|
|
% specifically, we do not want to require recompilation of the whole compiler
|
|
% after every such change. This is possible only if the goal_mode structure
|
|
% is *not* included in hlds_goal.m, but is kept as an abstract type in
|
|
% goal_mode.m. Since hlds_goal.m should include modules only from the
|
|
% hlds package and not from the check_hlds package, this requires goal_mode.m
|
|
% to be here.
|
|
:- include_module goal_mode.
|
|
|
|
% Modules for pretty-printing it.
|
|
:- include_module hlds_desc.
|
|
:- include_module hlds_out.
|
|
|
|
% Modules for handling errors.
|
|
:- include_module hlds_error_util.
|
|
:- include_module error_msg_inst.
|
|
|
|
% Module for expanding out implementation defined literals.
|
|
:- include_module implementation_defined_literals.
|
|
|
|
% Miscellaneous utilities.
|
|
:- include_module arg_info.
|
|
:- include_module code_model.
|
|
:- include_module from_ground_term_util.
|
|
:- include_module goal_contains.
|
|
:- include_module goal_form.
|
|
:- include_module goal_path.
|
|
:- include_module goal_refs.
|
|
:- include_module goal_reorder.
|
|
:- include_module goal_transform.
|
|
:- include_module goal_util.
|
|
:- include_module goal_vars.
|
|
:- include_module headvar_names.
|
|
:- include_module hlds_call_tree.
|
|
:- include_module hlds_code_util.
|
|
:- include_module hlds_defns.
|
|
:- include_module hlds_dependency_graph.
|
|
:- include_module hlds_proc_util.
|
|
:- include_module hlds_statistics.
|
|
:- include_module inst_lookup.
|
|
:- include_module inst_match.
|
|
:- include_module inst_merge.
|
|
:- include_module inst_mode_type_prop.
|
|
:- include_module inst_test.
|
|
:- include_module inst_util.
|
|
:- include_module introduced_call_table.
|
|
:- include_module make_goal.
|
|
:- include_module mark_static_terms.
|
|
:- include_module mark_tail_calls.
|
|
:- include_module mode_top_functor.
|
|
:- include_module mode_test.
|
|
:- include_module mode_util.
|
|
:- include_module passes_aux.
|
|
:- include_module pred_name.
|
|
:- include_module type_util.
|
|
:- include_module var_origins.
|
|
:- include_module var_table_hlds.
|
|
|
|
%-----------------------------------------------------------------------------%
|
|
:- end_module hlds.
|
|
%-----------------------------------------------------------------------------%
|