mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 17:33:38 +00:00
Code Issues Projects Releases Wiki Activity
Files
e2f87f7b9a6f88dec2f1a88bf965d917c08ff22c
mercury/compiler
History
Peter Wang e2f87f7b9a Fix update of timestamp cache by target file. 
We introduced a cache of timestamps by target file in commit 4d4ef3e3a,
but when a target is made, only the timestamp for the main TargetFile
was invalidated, not the timestamps of other files that may also have
been touched, such as files for any nested submodules.

Fixes Mantis bug #569.

compiler/make.module_target.m:
    Delete the timestamps of all TouchedTargetFiles in
    record_made_target_given_maybe_touched_files,
    not only the main TargetFile.
2023-12-06 12:43:15 +11:00
..
notes
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
.gitignore
Ignore files generated by MSVC.
2023-07-01 02:25:53 +10:00
.mgnuc_copts
…
.mgnuc_opts
…
.nocopyright
…
abstract_mode_constraints.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
accumulator.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
add_class.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
add_clause.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
add_foreign_enum.m
…
add_foreign_proc.m
Fix a fourth batch of C# invalid test fails.
2023-10-26 15:18:41 +11:00
add_heap_ops.m
Delete two type synonyms that obscure rather than help.
2023-09-02 08:40:40 +10:00
add_mode.m
Include type_ctors in some iftc error conditions.
2023-08-11 15:23:20 +02:00
add_mutable_aux_preds.m
Extend and fix the code for dumping insts.
2023-08-31 16:25:31 +10:00
add_pragma_tabling.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
add_pragma_type_spec.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
add_pragma.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
add_pred.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
add_solver.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
add_special_pred.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
add_trail_ops.m
Delete two type synonyms that obscure rather than help.
2023-09-02 08:40:40 +10:00
add_type.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
analysis.file.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
analysis.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
arg_info.m
…
assertion.m
Fix singleton warnings for code with 'some [...]' goals.
2023-06-10 09:59:00 +02:00
backend_libs.m
…
base_typeclass_info.m
…
basic_block.m
…
build_mode_constraints.m
Make the integers inside goal_ids unsigned.
2023-11-22 10:03:50 +11:00
builtin_lib_types.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
builtin_ops.m
…
bytecode_backend.m
…
bytecode_data.m
Stop using implicit streams in the bytecode backend.
2023-09-11 12:12:12 +10:00
bytecode_gen.m
Stop using implicit streams in the bytecode backend.
2023-09-11 12:12:12 +10:00
bytecode.m
Stop using implicit streams in the bytecode backend.
2023-09-11 12:12:12 +10:00
c_util.m
…
call_gen.m
Fix a bug in LLDS codegen's handling of builtins.
2023-10-06 10:25:57 +11:00
canonicalize_interface.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
check_for_missing_type_defns.m
…
check_hlds.m
Carve typecheck_clauses.m out of typecheck.m.
2023-10-04 09:11:17 +11:00
check_import_accessibility.m
Move some imports to the implementation section.
2023-10-10 13:21:40 +11:00
check_libgrades.m
Simplify more calls to handle_given_options.
2023-07-12 03:02:59 +02:00
check_module_interface.m
Add new option --generate-dependencies-ints.
2023-10-12 06:50:07 +11:00
check_pragma_format_call.m
…
check_promise.m
…
check_type_inst_mode_defns.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
check_typeclass.m
Fix a sixth batch of C# invalid test failures.
2023-10-28 01:34:33 +11:00
clause_to_proc.m
Simplify a pred table traversal.
2023-07-28 00:47:17 +02:00
closure_analysis.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
closure_gen.m
Make the integers inside goal_ids unsigned.
2023-11-22 10:03:50 +11:00
code_gen.m
Replace many calls to io.output_stream ...
2023-10-18 08:47:35 +11:00
code_info.m
Replace many calls to io.output_stream ...
2023-10-18 08:47:35 +11:00
code_loc_dep.m
Replace many calls to io.output_stream ...
2023-10-18 08:47:35 +11:00
code_model.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
code_util.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
commit_gen.m
…
common.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
COMP_FLAGS.in
Stop using higher order insts as modes.
2023-08-15 00:19:34 +02:00
comp_unit_interface.m
Optimize the generation of .int0 files.
2023-11-04 04:54:14 +11:00
compile_target_code.m
Write "can't open file" messages to ProgressStream ...
2023-10-22 09:47:52 +11:00
compiler_util.m
Simplify more calls to handle_given_options.
2023-07-12 03:02:59 +02:00
complexity.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
compute_grade.m
…
const_prop.m
…
const_struct.m
…
constraint.m
Fix singleton warnings for code with 'some [...]' goals.
2023-06-10 09:59:00 +02:00
continuation_info.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
convert_parse_tree.m
Separate marker pragmas from other decl/impl pragmas.
2023-08-06 12:33:55 +02:00
coverage_profiling.m
Make the integers inside goal_ids unsigned.
2023-11-22 10:03:50 +11:00
cse_detection.m
Give a predicate a more meaningful name.
2023-11-21 16:48:46 +11:00
ctgc.datastruct.m
…
ctgc.fixpoint_table.m
…
ctgc.livedata.m
Move utility routines from hlds_goal.m to ctgc.util.m.
2023-09-02 09:50:59 +10:00
ctgc.m
…
ctgc.selector.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
ctgc.util.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
dead_proc_elim.m
Move predicates to the only modules using them.
2023-09-01 12:41:39 +10:00
decide_type_repn.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
deep_profiling.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
default_func_mode.m
Make some arities into pred_form_arities.
2023-07-03 01:57:10 +02:00
deforest.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
delay_construct.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
delay_info.m
…
delay_partial_inst.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
delay_slot.m
…
dense_switch.m
…
dep_par_conj.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
dependency_graph.m
Stop using digraph.tsort and digraph.atsort ...
2023-06-22 00:25:26 +02:00
deps_map.m
Rename have_read_module_maps to have_parse_tree_maps ...
2023-10-22 08:39:27 +11:00
det_analysis.m
Fix a fifth batch of C# invalid test failures.
2023-10-27 15:52:11 +11:00
det_report.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
det_util.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
direct_arg_in_out.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
disj_gen.m
…
distance_granularity.m
Delete two type synonyms that obscure rather than help.
2023-09-02 08:40:40 +10:00
du_type_layout.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
dupelim.m
…
dupproc.m
…
equiv_type_hlds.m
Add inst_lookup_debug, and use it to fix a bug.
2023-08-13 12:39:56 +02:00
equiv_type.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
error_msg_inst.m
Extend and fix the code for dumping insts.
2023-08-31 16:25:31 +10:00
error_sort.m
Let callers of write_*interface_file* print errors.
2023-10-08 10:11:08 +11:00
error_spec.m
Make --generate-dependencies-ints more practical.
2023-10-15 13:10:40 +11:00
error_type_util.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
error_util.m
Make --generate-dependencies-ints more practical.
2023-10-15 13:10:40 +11:00
exception_analysis.m
Delete invalid procs from their pred_info.
2023-07-18 14:03:14 +02:00
export.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
exprn_aux.m
…
fact_table.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
field_access.m
…
file_kind.m
Group extensions by their translation algorithms.
2023-08-10 02:47:01 +02:00
file_names.m
Line up some comments.
2023-10-26 16:27:05 +11:00
file_util.m
Write "can't open file" messages to ProgressStream ...
2023-10-22 09:47:52 +11:00
find_module.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
float_regs.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
follow_code.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
follow_vars.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
foreign.m
Make foreign_procs their own top-level item kind.
2023-08-04 11:42:46 +02:00
format_call.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
frameopt.m
Make foreign_procs' "extra" attributes regular attributes.
2023-08-02 22:41:43 +02:00
from_ground_term_util.m
…
generate_dep_d_files.m
Rename have_read_module_maps to have_parse_tree_maps ...
2023-10-22 08:39:27 +11:00
get_dependencies.m
Separate marker pragmas from other decl/impl pragmas.
2023-08-06 12:33:55 +02:00
global_data.m
…
globals.m
Add --install-method option.
2023-11-13 20:27:57 +11:00
goal_expr_to_goal.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
goal_form.m
…
goal_mode.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
goal_path.m
Make the integers inside goal_ids unsigned.
2023-11-22 10:03:50 +11:00
goal_store.m
…
goal_util.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
grab_modules.m
Give an initial module_baggage to grab_modules.m.
2023-10-23 11:39:58 +11:00
granularity.m
…
graph_colour.m
…
handle_options.m
Add --install-method option.
2023-11-13 20:27:57 +11:00
headvar_names.m
…
hhf.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
higher_order.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
hlds_args.m
…
hlds_call_tree.m
Make --show-pred-movability list the types to move.
2023-10-04 22:16:49 +11:00
hlds_class.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
hlds_clauses.m
Fix warnings from mmc --make.
2023-07-31 01:39:13 +02:00
hlds_code_util.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
hlds_cons.m
Extend "did you mean" suggestions beyond preds.
2023-09-26 18:51:18 +10:00
hlds_data.m
…
hlds_defns.m
Make some arities into pred_form_arities.
2023-07-03 01:57:10 +02:00
hlds_dependency_graph.m
Delete invalid procs from their pred_info.
2023-07-18 14:03:14 +02:00
hlds_desc.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
hlds_error_util.m
Make some arities into pred_form_arities.
2023-07-03 01:57:10 +02:00
hlds_goal.m
Make the integers inside goal_ids unsigned.
2023-11-22 10:03:50 +11:00
hlds_inst_mode.m
Give some predicates/variables more meaningful names.
2023-08-13 14:19:59 +02:00
hlds_llds.m
…
hlds_module.m
Fix comment rot.
2023-09-02 12:52:11 +10:00
hlds_out_goal.m
Make the integers inside goal_ids unsigned.
2023-11-22 10:03:50 +11:00
hlds_out_inst_table.m
Provide a mechanism to avoid duplicate work.
2023-08-31 18:27:50 +10:00
hlds_out_mode.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
hlds_out_module.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
hlds_out_pred.m
Make the integers inside goal_ids unsigned.
2023-11-22 10:03:50 +11:00
hlds_out_type_table.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
hlds_out_typeclass_table.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
hlds_out_util.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
hlds_out.m
…
hlds_pred.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
hlds_proc_util.m
Move some imports to the implementation section.
2023-10-10 13:21:40 +11:00
hlds_promise.m
…
hlds_rtti.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
hlds_statistics.m
Split error_pieces_to_string into two versions.
2023-08-06 01:45:59 +02:00
hlds.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
implementation_defined_literals.m
…
implicit_parallelism.m
…
indent.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
inlining.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
inst_abstract_unify.m
Extend and fix the code for dumping insts.
2023-08-31 16:25:31 +10:00
inst_check.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
inst_graph.m
More style updates to old code.
2023-09-11 14:49:39 +10:00
inst_lookup.m
Extend and fix the code for dumping insts.
2023-08-31 16:25:31 +10:00
inst_match.m
Delete mer_inst's free/1 functor.
2023-07-22 12:26:55 +02:00
inst_merge.m
Give some predicates/variables more meaningful names.
2023-08-13 14:19:59 +02:00
inst_mode_type_prop.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
inst_test.m
Delete mer_inst's free/1 functor.
2023-07-22 12:26:55 +02:00
inst_user.m
Delete mer_inst's free/1 functor.
2023-07-22 12:26:55 +02:00
inst_util.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
instance_method_clauses.m
Fix singleton warnings for code with 'some [...]' goals.
2023-06-10 09:59:00 +02:00
instmap.m
…
int_emu.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
intermod_analysis.m
Add code to write parse trees to a string.
2023-11-01 19:53:40 +11:00
intermod_decide.m
Carve four new modules out of intermod.m.
2023-07-28 12:43:33 +02:00
intermod_info.m
Carve four new modules out of intermod.m.
2023-07-28 12:43:33 +02:00
intermod_mark_exported.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
intermod_order_pred_info.m
Make some arities into pred_form_arities.
2023-07-03 01:57:10 +02:00
intermod_status.m
Carve four new modules out of intermod.m.
2023-07-28 12:43:33 +02:00
intermod.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
interval.m
Fix singleton warnings for code with 'some [...]' goals.
2023-06-10 09:59:00 +02:00
introduce_exists_casts.m
Make some arities into pred_form_arities.
2023-07-03 01:57:10 +02:00
introduce_parallelism.m
Delete two type synonyms that obscure rather than help.
2023-09-02 08:40:40 +10:00
introduced_call_table.m
…
ite_gen.m
Replace many calls to io.output_stream ...
2023-10-18 08:47:35 +11:00
item_util.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
java_names.m
…
jumpopt.m
…
labelopt.m
…
lambda.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
layout_out.m
…
layout.m
…
lco.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
libs.m
…
live_vars.m
Fix warnings from mmc --make.
2023-07-31 01:39:13 +02:00
livemap.m
…
liveness.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
ll_backend.m
…
ll_pseudo_type_info.m
…
llds_out_code_addr.m
…
llds_out_data.m
…
llds_out_file.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
llds_out_global.m
Fix failing tabling tests with MSVC.
2023-07-17 19:38:20 +10:00
llds_out_instr.m
…
llds_out_util.m
…
llds_out.m
…
llds.m
Make foreign_procs' "extra" attributes regular attributes.
2023-08-02 22:41:43 +02:00
lookup_switch.m
…
lookup_util.m
…
loop_inv.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
lp_rational.m
Add lookup_name_default_prefix to varset.m.
2023-05-29 11:51:23 +02:00
lp.m
…
make_goal.m
Fix spelling.
2023-11-06 16:37:33 +11:00
make_hlds_error.m
Add new option --generate-dependencies-ints.
2023-10-12 06:50:07 +11:00
make_hlds_passes.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
make_hlds_separate_items.m
Allow use_module declarations in .int2 files ...
2023-09-04 15:00:38 +10:00
make_hlds_types.m
…
make_hlds_warn.m
Extend and fix the code for dumping insts.
2023-08-31 16:25:31 +10:00
make_hlds.m
…
make.build.m
Write truncated .err file to ProgressStream ...
2023-10-18 11:48:27 +11:00
make.check_up_to_date.m
Simplify some over-complex code.
2023-11-13 19:30:24 +11:00
make.dependencies.m
Compute final prereqs as index set.
2023-11-14 12:09:57 +11:00
make.deps_cache.m
Disable the two new caches in make.deps_cache.m.
2023-10-16 16:03:06 +11:00
make.deps_set.m
Apply deforestation when computing dependencies.
2023-11-05 00:50:17 +11:00
make.file_names.m
Get the right filename for sources of nested modules.
2023-12-05 13:41:53 +11:00
make.find_local_modules.m
Simplify some aspects of make's caches.
2023-10-14 12:32:11 +11:00
make.get_module_dep_info.m
Simplify some over-complex code.
2023-11-13 19:30:24 +11:00
make.hash.m
Carve three new modules out of make.dependencies.m.
2023-09-17 18:53:48 +10:00
make.m
Gather statistics about make.deps_cache.m.
2023-10-15 12:36:47 +11:00
make.make_info.m
Simplify the interface to make.dependencies.m.
2023-11-14 02:56:54 +11:00
make.module_dep_file.m
Add new option --generate-dependencies-ints.
2023-10-12 06:50:07 +11:00
make.module_target.m
Fix update of timestamp cache by target file.
2023-12-06 12:43:15 +11:00
make.program_target.m
Delete recently obsoleted code.
2023-11-30 23:32:34 +11:00
make.timestamp.m
Get the right filename for sources of nested modules.
2023-12-05 13:41:53 +11:00
make.top_level.m
Delete now-obsolete comment.
2023-10-26 16:27:48 +11:00
make.track_flags.m
Carve three new modules out of make.dependencies.m.
2023-09-17 18:53:48 +10:00
make.util.m
Carve three new modules out of make.dependencies.m.
2023-09-17 18:53:48 +10:00
mark_static_terms.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
mark_tail_calls.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
matching.m
…
maybe_error.m
Move some code to make.module_dep_file.m.
2023-09-22 19:40:16 +10:00
maybe_util.m
…
mcsolver.m
Stop using implicit streams in old constraint solvers.
2023-09-11 14:18:35 +10:00
md5.m
Avoid a clash with a system header.
2023-07-07 23:37:33 +10:00
mercury_compile_front_end.m
Write "can't open file" messages to ProgressStream ...
2023-10-22 09:47:52 +11:00
mercury_compile_llds_back_end.m
Replace many calls to io.output_stream ...
2023-10-18 08:47:35 +11:00
mercury_compile_main.m
Address review comment, and add a warning.
2023-11-04 16:52:43 +11:00
mercury_compile_make_hlds.m
Rename have_read_module_maps to have_parse_tree_maps ...
2023-10-22 08:39:27 +11:00
mercury_compile_middle_passes.m
Replace many calls to io.output_stream ...
2023-10-18 08:47:35 +11:00
mercury_compile_mlds_back_end.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
mercury_compile.m
…
Mercury.options
Use only explicit streams in make.module_target.m.
2023-10-19 11:32:10 +11:00
middle_rec.m
…
ml_accurate_gc.m
Enforce an invariant by using a subtype.
2023-07-16 02:44:47 +02:00
ml_args_util.m
Delete all references to put_nondet_env_on_heap.
2023-07-14 04:00:00 +02:00
ml_backend.m
…
ml_call_gen.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
ml_closure_gen.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
ml_code_gen.m
Fix singleton warnings for code with 'some [...]' goals.
2023-06-10 09:59:00 +02:00
ml_code_util.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
ml_commit_gen.m
…
ml_disj_gen.m
…
ml_elim_nested.m
Stop using qual_class_name in ids of other entities.
2023-07-16 12:32:32 +02:00
ml_foreign_proc_gen.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
ml_gen_info.m
…
ml_global_data.m
Stop using qual_class_name in ids of other entities.
2023-07-16 12:32:32 +02:00
ml_lookup_switch.m
Represent global structs using a bespoke type.
2023-07-16 00:31:50 +02:00
ml_optimize.m
…
ml_proc_gen.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
ml_rename_classes.m
Delete the mlds_class_kind type.
2023-07-16 17:40:48 +02:00
ml_simplify_switch.m
Enforce an invariant by using a subtype.
2023-07-16 02:44:47 +02:00
ml_string_switch.m
…
ml_switch_gen.m
Enforce an invariant by using a subtype.
2023-07-16 02:44:47 +02:00
ml_tag_switch.m
…
ml_target_util.m
…
ml_top_gen.m
Represent environments using a bespoke type.
2023-07-14 03:48:22 +02:00
ml_type_gen.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
ml_unify_gen_construct.m
Delete the mlds_class_kind type.
2023-07-16 17:40:48 +02:00
ml_unify_gen_deconstruct.m
…
ml_unify_gen_test.m
…
ml_unify_gen_util.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
ml_unify_gen.m
…
ml_unused_assign.m
…
ml_util.m
…
mlds_dump.m
Delete the mlds_class_kind type.
2023-07-16 17:40:48 +02:00
mlds_to_c_class.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_c_data.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_c_export.m
Represent global structs using a bespoke type.
2023-07-16 00:31:50 +02:00
mlds_to_c_file.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_c_func.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_c_global.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_c_name.m
…
mlds_to_c_stmt.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_c_type.m
Delete the mlds_class_kind type.
2023-07-16 17:40:48 +02:00
mlds_to_c_util.m
…
mlds_to_cs_class.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_cs_data.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_cs_export.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_cs_file.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_cs_func.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_cs_global.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_cs_name.m
Stop using qual_class_name in ids of other entities.
2023-07-16 12:32:32 +02:00
mlds_to_cs_stmt.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_cs_type.m
Delete the mlds_class_kind type.
2023-07-16 17:40:48 +02:00
mlds_to_cs_util.m
…
mlds_to_java_class.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_java_data.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_java_export.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_java_file.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_java_func.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_java_global.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_java_name.m
Stop using qual_class_name in ids of other entities.
2023-07-16 12:32:32 +02:00
mlds_to_java_stmt.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds_to_java_type.m
Delete the mlds_class_kind type.
2023-07-16 17:40:48 +02:00
mlds_to_java_util.m
…
mlds_to_java_wrap.m
Delete the mlds_class_kind type.
2023-07-16 17:40:48 +02:00
mlds_to_target_util.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mlds.m
Fix typo.
2023-11-06 21:31:23 +11:00
Mmakefile
Temporarily disable the use of depend_ints on MinGW64.
2023-10-24 21:11:53 +11:00
mmakefiles.m
Fill in source group names in mmakefile rules.
2023-09-04 15:46:42 +10:00
mmc_analysis.m
Take ext_src out of the ext type.
2023-07-06 16:14:35 +02:00
mode_comparison.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
mode_constraint_robdd.m
Make the integers inside goal_ids unsigned.
2023-11-22 10:03:50 +11:00
mode_constraints.m
Make the integers inside goal_ids unsigned.
2023-11-22 10:03:50 +11:00
mode_debug.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mode_errors.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
mode_info.m
Delete invalid procs from their pred_info.
2023-07-18 14:03:14 +02:00
mode_ordering.m
Move mode constraint access preds to mode_ordering.m.
2023-09-02 11:58:31 +10:00
mode_robdd.equiv_vars.m
Stop using higher order insts as modes.
2023-08-15 00:19:34 +02:00
mode_robdd.implications.m
Stop using higher order insts as modes.
2023-08-15 00:19:34 +02:00
mode_robdd.m
…
mode_robdd.tfeirn.m
More style updates to old code.
2023-09-11 14:49:39 +10:00
mode_test.m
…
mode_top_functor.m
Delete mer_inst's free/1 functor.
2023-07-22 12:26:55 +02:00
mode_util.m
…
modecheck_call.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
modecheck_coerce.m
Delete mer_inst's free/1 functor.
2023-07-22 12:26:55 +02:00
modecheck_conj.m
…
modecheck_goal.m
Fix singleton warnings for code with 'some [...]' goals.
2023-06-10 09:59:00 +02:00
modecheck_unify.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
modecheck_util.m
Delete mer_inst's free/1 functor.
2023-07-22 12:26:55 +02:00
modes.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
module_baggage.m
Give an initial module_baggage to grab_modules.m.
2023-10-23 11:39:58 +11:00
module_cmds.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
module_dep_info.m
Fix comment rot.
2023-09-29 03:54:12 +10:00
module_deps_graph.m
…
module_qual.collect_mq_info.m
Separate marker pragmas from other decl/impl pragmas.
2023-08-06 12:33:55 +02:00
module_qual.id_set.m
Extend "did you mean" suggestions beyond preds.
2023-09-26 18:51:18 +10:00
module_qual.m
Fix redundant undefined inst error.
2023-06-18 20:08:09 +02:00
module_qual.qual_errors.m
Extend "did you mean" suggestions beyond preds.
2023-09-26 18:51:18 +10:00
module_qual.qualify_items.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
name_mangle.m
…
oisu_check.m
…
old_type_constraints.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
op_mode.m
Add new option --generate-dependencies-ints.
2023-10-12 06:50:07 +11:00
opt_debug.m
Make foreign_procs' "extra" attributes regular attributes.
2023-08-02 22:41:43 +02:00
opt_util.m
…
optimization_options.m
Enable constant propagation at -O2.
2023-08-18 13:14:40 +02:00
optimize.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
options_file.m
Make --generate-dependencies-ints more practical.
2023-10-15 13:10:40 +11:00
options.m
Add --install-method option.
2023-11-13 20:27:57 +11:00
ordering_mode_constraints.m
Make the integers inside goal_ids unsigned.
2023-11-22 10:03:50 +11:00
par_conj_gen.m
Make foreign_procs' "extra" attributes regular attributes.
2023-08-02 22:41:43 +02:00
par_loop_control.m
Delete two type synonyms that obscure rather than help.
2023-09-02 08:40:40 +10:00
parallel_to_plain_conj.m
…
parse_class.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
parse_dcg_goal.m
Address a review comment.
2023-11-05 17:49:13 +11:00
parse_error.m
Make --generate-dependencies-ints more practical.
2023-10-15 13:10:40 +11:00
parse_goal.m
Allow module qualification using mixed operators ...
2023-09-26 01:59:33 +10:00
parse_inst_mode_defn.m
…
parse_inst_mode_name.m
Make --allow-ho-insts-as-modes also apply to higher-order function insts.
2023-07-27 13:55:54 +10:00
parse_item.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
parse_module.m
Make --generate-dependencies-ints more practical.
2023-10-15 13:10:40 +11:00
parse_mutable.m
…
parse_pragma_analysis.m
Separate marker pragmas from other decl/impl pragmas.
2023-08-06 12:33:55 +02:00
parse_pragma_foreign.m
Separate marker pragmas from other decl/impl pragmas.
2023-08-06 12:33:55 +02:00
parse_pragma_tabling.m
Separate marker pragmas from other decl/impl pragmas.
2023-08-06 12:33:55 +02:00
parse_pragma.m
Separate marker pragmas from other decl/impl pragmas.
2023-08-06 12:33:55 +02:00
parse_string_format.m
…
parse_sym_name.m
Delete stray comment.
2023-11-29 23:21:05 +11:00
parse_tree_out_clause.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
parse_tree_out_cons_id.m
Strip quals from cons_ids when dumping switch cases.
2023-07-22 16:29:28 +02:00
parse_tree_out_info.m
Add code to write parse trees to a string.
2023-11-01 19:53:40 +11:00
parse_tree_out_inst.m
Add code to write parse trees to a string.
2023-11-01 19:53:40 +11:00
parse_tree_out_misc.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
parse_tree_out_pragma.m
Add code to write parse trees to a string.
2023-11-01 19:53:40 +11:00
parse_tree_out_pred_decl.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
parse_tree_out_sym_name.m
Use string builder in more of parse_tree_out*.m.
2023-07-09 16:47:48 +02:00
parse_tree_out_term.m
Clarify that length means #code points.
2023-07-10 10:19:40 +02:00
parse_tree_out_type_repn.m
Add code to write parse trees to a string.
2023-11-01 19:53:40 +11:00
parse_tree_out_type.m
Fix warnings from mmc --make.
2023-07-31 01:39:13 +02:00
parse_tree_out.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
parse_tree_to_term.m
Add inst_lookup_debug, and use it to fix a bug.
2023-08-13 12:39:56 +02:00
parse_tree.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
parse_type_defn.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
parse_type_name.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
parse_type_repn.m
…
parse_types.m
…
parse_util.m
Stop using higher order insts as modes.
2023-08-15 00:19:34 +02:00
parse_vars.m
…
passes_aux.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
pd_cost.m
…
pd_debug.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
pd_info.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
pd_term.m
…
pd_util.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
peephole.m
…
pickle.m
…
polyhedron.m
…
polymorphism_clause.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
polymorphism_goal.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
polymorphism_info.m
…
polymorphism_lambda.m
…
polymorphism_post_copy.m
…
polymorphism_type_class_info.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
polymorphism_type_info.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
polymorphism.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
post_term_analysis.m
…
post_typecheck.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
pragma_c_gen.m
Make foreign_procs their own top-level item kind.
2023-08-04 11:42:46 +02:00
pre_quantification.m
Fix singleton warnings for code with 'some [...]' goals.
2023-06-10 09:59:00 +02:00
pre_typecheck.m
Make some arities into pred_form_arities.
2023-07-03 01:57:10 +02:00
pred_name.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
pred_table.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
proc_gen.m
Replace many calls to io.output_stream ...
2023-10-18 08:47:35 +11:00
proc_label.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
proc_requests.m
…
process_util.m
…
prog_ctgc.m
Add code to write parse trees to a string.
2023-11-01 19:53:40 +11:00
prog_data_event.m
…
prog_data_foreign.m
Make foreign_procs their own top-level item kind.
2023-08-04 11:42:46 +02:00
prog_data_pragma.m
…
prog_data_used_modules.m
…
prog_data.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
prog_detism.m
…
prog_event.m
Fix a fifth batch of C# invalid test failures.
2023-10-27 15:52:11 +11:00
prog_foreign_enum.m
Add new option --generate-dependencies-ints.
2023-10-12 06:50:07 +11:00
prog_foreign.m
Group extensions by their translation algorithms.
2023-08-10 02:47:01 +02:00
prog_item_stats.m
Separate marker pragmas from other decl/impl pragmas.
2023-08-06 12:33:55 +02:00
prog_item.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
prog_mode.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
prog_mutable.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
prog_rename.m
…
prog_rep_tables.m
…
prog_rep.m
Delete mer_inst's free/1 functor.
2023-07-22 12:26:55 +02:00
prog_type_construct.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
prog_type_repn.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
prog_type_scan.m
Move some imports to the implementation section.
2023-10-10 13:21:40 +11:00
prog_type_subst.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
prog_type_test.m
Move some imports to the implementation section.
2023-10-10 13:21:40 +11:00
prog_type_unify.m
Move some imports to the implementation section.
2023-10-10 13:21:40 +11:00
prog_type.m
Move some imports to the implementation section.
2023-10-10 13:21:40 +11:00
prog_util.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
prop_mode_constraints.m
Stop using implicit streams in old constraint solvers.
2023-09-11 14:18:35 +10:00
pseudo_type_info.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
purity.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
push_goals_together.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
qual_info.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
quantification.m
Fix singleton warnings for code with 'some [...]' goals.
2023-06-10 09:59:00 +02:00
rat.m
Simplify some code.
2023-08-01 11:05:13 +02:00
rbmm.add_rbmm_goal_infos.m
Move a function to the only module using it.
2023-09-02 08:47:00 +10:00
rbmm.condition_renaming.m
Delete invalid procs from their pred_info.
2023-07-18 14:03:14 +02:00
rbmm.execution_path.m
Delete invalid procs from their pred_info.
2023-07-18 14:03:14 +02:00
rbmm.interproc_region_lifetime.m
…
rbmm.live_region_analysis.m
Delete invalid procs from their pred_info.
2023-07-18 14:03:14 +02:00
rbmm.live_variable_analysis.m
Delete invalid procs from their pred_info.
2023-07-18 14:03:14 +02:00
rbmm.m
…
rbmm.points_to_analysis.m
Delete invalid procs from their pred_info.
2023-07-18 14:03:14 +02:00
rbmm.points_to_graph.m
…
rbmm.points_to_info.m
…
rbmm.region_analysis.m
…
rbmm.region_arguments.m
Delete invalid procs from their pred_info.
2023-07-18 14:03:14 +02:00
rbmm.region_instruction.m
Delete invalid procs from their pred_info.
2023-07-18 14:03:14 +02:00
rbmm.region_liveness_info.m
…
rbmm.region_resurrection_renaming.m
…
rbmm.region_transformation.m
Delete invalid procs from their pred_info.
2023-07-18 14:03:14 +02:00
read_modules.m
Rename have_read_module_maps to have_parse_tree_maps ...
2023-10-22 08:39:27 +11:00
reassign.m
…
recompilation.check.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
recompilation.m
Make some arities into pred_form_arities.
2023-07-03 01:57:10 +02:00
recompilation.usage.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
recompilation.used_file.m
Stop using io.output_stream in some modules.
2023-09-13 22:17:02 +10:00
recompilation.version.m
Enforce either all types only, or all types/modes.
2023-11-18 22:20:39 +11:00
recompute_instmap_deltas.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
resolve_unify_functor.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
rtti_out.m
Write out whole lines at a time in a C struct.
2023-07-07 23:23:01 +02:00
rtti_to_mlds.m
Make some arities into pred_form_arities.
2023-07-03 01:57:10 +02:00
rtti.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
saved_vars.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
set_of_var.m
Stop using higher order insts as modes.
2023-08-15 00:19:34 +02:00
shell_util.m
…
simplify_goal_call.m
Make some arities into pred_form_arities.
2023-07-03 01:57:10 +02:00
simplify_goal_conj.m
Fix a bug in --merge-code-after-switch.
2023-11-08 02:34:36 +11:00
simplify_goal_disj.m
…
simplify_goal_ite.m
…
simplify_goal_scope.m
Fix singleton warnings for code with 'some [...]' goals.
2023-06-10 09:59:00 +02:00
simplify_goal_switch.m
Add new optimization option --split-switch-arms.
2023-07-24 19:14:17 +02:00
simplify_goal_unify.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
simplify_goal.m
Fix more C# test failures.
2023-11-02 03:22:50 +11:00
simplify_info.m
Extend and fix the code for dumping insts.
2023-08-31 16:25:31 +10:00
simplify_proc.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
simplify_tasks.m
Merge consecutive switches on the same variable.
2023-08-17 12:10:13 +02:00
simplify.m
Add new optimization option --split-switch-arms.
2023-07-24 19:14:17 +02:00
size_prof.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
smm_common.m
…
source_file_map.m
Require explicit streams for write_error_specs.
2023-09-09 19:19:44 +10:00
source_stats.awk
…
special_pred.m
…
split_parse_tree_src.m
Update the names of some predicates.
2023-10-22 14:37:49 +11:00
split_switch_arms.m
Add new optimization option --split-switch-arms.
2023-07-24 19:14:17 +02:00
ssdebug.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
stack_alloc.m
…
stack_layout.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
stack_opt.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
state_var.m
Make the integers inside goal_ids unsigned.
2023-11-22 10:03:50 +11:00
status.m
Make foreign_procs their own top-level item kind.
2023-08-04 11:42:46 +02:00
stdlabel.m
…
stm_expand.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
store_alloc.m
…
stratify.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
string_encoding.m
…
string_switch.m
…
structure_reuse.analysis.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
structure_reuse.direct.choose_reuse.m
Delete two type synonyms that obscure rather than help.
2023-09-02 08:40:40 +10:00
structure_reuse.direct.detect_garbage.m
Delete two type synonyms that obscure rather than help.
2023-09-02 08:40:40 +10:00
structure_reuse.direct.m
Stop using implicit streams in ctgc modules.
2023-09-11 15:18:59 +10:00
structure_reuse.domain.m
Delete invalid procs from their pred_info.
2023-07-18 14:03:14 +02:00
structure_reuse.indirect.m
…
structure_reuse.lbu.m
Move utility routines from hlds_goal.m to ctgc.util.m.
2023-09-02 09:50:59 +10:00
structure_reuse.lfu.m
Move utility routines from hlds_goal.m to ctgc.util.m.
2023-09-02 09:50:59 +10:00
structure_reuse.m
…
structure_reuse.versions.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
structure_sharing.analysis.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
structure_sharing.domain.m
Make foreign_procs their own top-level item kind.
2023-08-04 11:42:46 +02:00
structure_sharing.m
…
style_checks.m
Split error_pieces_to_string into two versions.
2023-08-06 01:45:59 +02:00
superhomogeneous.m
Extend and fix the code for dumping insts.
2023-08-31 16:25:31 +10:00
switch_case.m
…
switch_detection.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
switch_gen.m
…
switch_util.m
…
table_gen.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
tabling_analysis.m
Delete two type synonyms that obscure rather than help.
2023-09-02 08:40:40 +10:00
tag_switch.m
…
term_constr_build.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
term_constr_data.m
Delete two type synonyms that obscure rather than help.
2023-09-02 08:40:40 +10:00
term_constr_errors.m
…
term_constr_fixpoint.m
Delete two type synonyms that obscure rather than help.
2023-09-02 08:40:40 +10:00
term_constr_initial.m
Delete invalid procs from their pred_info.
2023-07-18 14:03:14 +02:00
term_constr_main_types.m
…
term_constr_main.m
…
term_constr_pass2.m
Delete two type synonyms that obscure rather than help.
2023-09-02 08:40:40 +10:00
term_constr_util.m
…
term_errors.m
…
term_norm.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
term_pass1.m
…
term_pass2.m
…
term_traversal.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
term_util.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
termination.m
Make foreign_procs their own top-level item kind.
2023-08-04 11:42:46 +02:00
timestamp.m
…
top_level.m
…
trace_gen.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
trace_params.m
…
trailing_analysis.m
Delete two type synonyms that obscure rather than help.
2023-09-02 08:40:40 +10:00
transform_hlds.m
Carve four new modules out of intermod.m.
2023-07-28 12:43:33 +02:00
transform_llds.m
Make some arities into pred_form_arities.
2023-07-03 01:57:10 +02:00
try_expand.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
tupling.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
type_assign.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
type_class_info.m
Make some arities into pred_form_arities.
2023-07-03 01:57:10 +02:00
type_constraints.m
…
type_ctor_info.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
type_util.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
typecheck_clauses.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
typecheck_debug.m
Replace many calls to io.output_stream ...
2023-10-18 08:47:35 +11:00
typecheck_error_overload.m
Fix warnings from mmc --make.
2023-07-31 01:39:13 +02:00
typecheck_error_type_assign.m
Fix warnings from mmc --make.
2023-07-31 01:39:13 +02:00
typecheck_error_undef.m
Extend "did you mean" suggestions beyond preds.
2023-09-26 18:51:18 +10:00
typecheck_error_util.m
Add new option --generate-dependencies-ints.
2023-10-12 06:50:07 +11:00
typecheck_errors.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
typecheck_info.m
Replace many calls to io.output_stream ...
2023-10-18 08:47:35 +11:00
typecheck_msgs.m
Add new option --generate-dependencies-ints.
2023-10-12 06:50:07 +11:00
typecheck.m
Replace many calls to io.output_stream ...
2023-10-18 08:47:35 +11:00
typeclasses.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
types_into_modes.m
Delete mer_inst's free/1 functor.
2023-07-22 12:26:55 +02:00
unify_gen_construct.m
…
unify_gen_deconstruct.m
…
unify_gen_test.m
…
unify_gen_util.m
…
unify_gen.m
…
unify_proc.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
unique_modes.m
Carve hlds_proc_util.m out of hlds_pred.m.
2023-09-01 16:41:33 +10:00
unneeded_code.m
Make the integers inside goal_ids unsigned.
2023-11-22 10:03:50 +11:00
untupling.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
unused_args.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
unused_imports.m
Stop using io.output_stream in some modules.
2023-09-13 22:17:02 +10:00
use_local_vars.m
…
va_map.m
…
var_db.m
…
var_locn.m
…
var_table_hlds.m
Carve five new modules out of prog_type.m.
2023-10-06 08:42:43 +11:00
var_table.m
…
vartypes.m
…
wrap_blocks.m
…
write_deps_file.m
Delete all calls to get_progress_output_stream ...
2023-10-17 20:41:33 +11:00
write_error_spec.m
Make indents unsigned.
2023-11-22 07:46:14 +11:00
write_module_interface_files.m
Fix more C# test case failures in tests/invalid*.
2023-10-25 19:21:06 +11:00
xml_documentation.m
Write "can't open file" messages to ProgressStream ...
2023-10-22 09:47:52 +11:00