mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-16 18:03:36 +00:00
Code Issues Projects Releases Wiki Activity
Files
version-22_01_7
mercury/compiler
History
Julien Fischer 4b78d1efd5 Fix failing tabling tests with MSVC. 
The tests tabling/fib_string and tabling/unused_args both fail when compiled in
grade none.gc with MSVC. This is due to the code generator emitting an empty
array initializer, which MSVC rejects since it is not standard C.

compiler/llds_out_global.m:
   Output a dummy initializer in the above case.
2023-07-17 19:54:46 +10:00
..
notes
s/http/https/, and fix link rot.
2023-02-02 16:45:17 +11:00
.gitignore
Ignore files generated by MSVC.
2023-07-11 20:04:40 +10:00
.mgnuc_copts
…
.mgnuc_opts
…
.nocopyright
…
abstract_mode_constraints.m
…
accumulator.m
Update a link to the papers page.
2023-02-14 19:32:09 +11:00
add_class.m
Separate always_treat_as_first from treat_as_first.
2022-01-12 18:03:17 +11:00
add_clause.m
Use explicit streams in several modules.
2021-06-08 16:44:06 +10:00
add_foreign_enum.m
Fix a bug in the unused import computation.
2021-08-09 14:36:31 +10:00
add_foreign_proc.m
Separate always_treat_as_first from treat_as_first.
2022-01-12 18:03:17 +11:00
add_heap_ops.m
Delete unneeded module qualifiers.
2020-10-09 05:12:58 +11:00
add_mode.m
Add "Error:" at the start of an error message.
2021-10-17 09:44:34 +11:00
add_mutable_aux_preds.m
Simplify the logic of prog_mutable.m.
2021-05-29 20:40:18 +10:00
add_pragma_tabling.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
add_pragma_type_spec.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
add_pragma.m
Fix compiler abort adding pragmas for unknown procs.
2021-12-19 18:15:47 +11:00
add_pred.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
add_solver.m
Don't import unneeded modules in the interface.
2021-05-29 12:55:02 +10:00
add_special_pred.m
Check "for type_ctor" annotations on user insts.
2021-12-30 23:39:20 +11:00
add_trail_ops.m
Delete unneeded module qualifiers.
2020-10-09 05:12:58 +11:00
add_type.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
analysis.file.m
Add a "mercury_term_" prefix to lexer.m/parser.m.
2021-12-31 02:38:07 +11:00
analysis.m
Stop using exit status to report success/failure.
2021-08-23 22:07:14 +10:00
arg_info.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
assertion.m
Pair lambda arg vars with their modes.
2021-08-21 17:49:42 +10:00
backend_libs.m
Delete include declaration of deleted erlang_rtti module.
2020-10-29 17:34:10 +11:00
base_typeclass_info.m
…
basic_block.m
…
build_mode_constraints.m
Pair lambda arg vars with their modes.
2021-08-21 17:49:42 +10:00
builtin_lib_types.m
Make code moved to builtin_lib_types.m fit in.
2021-06-19 20:12:39 +10:00
builtin_ops.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
bytecode_backend.m
…
bytecode_data.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
bytecode_gen.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
bytecode.m
Replace (C->T;E) with (if C then T else E).
2020-08-09 18:04:57 +10:00
c_util.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
call_gen.m
Represent coerce goals as a type of cast.
2021-04-14 15:10:18 +10:00
canonicalize_interface.m
…
check_for_missing_type_defns.m
…
check_hlds.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
check_libgrades.m
Return error_specs instead of doing printouts.
2022-01-11 23:08:17 +11:00
check_promise.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
check_raw_comp_unit.m
Use checked types/insts/modes in parse_tree_module_src.
2021-10-16 17:37:36 +11:00
check_type_inst_mode_defns.m
Move unneeded-there imports out of the interface.
2021-11-19 11:06:19 +11:00
check_typeclass.m
Separate always_treat_as_first from treat_as_first.
2022-01-12 18:03:17 +11:00
clause_to_proc.m
…
closure_analysis.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
closure_gen.m
Make --everything-in-one-c-function a bool option.
2020-09-29 10:25:42 +10:00
code_gen.m
Specify output streams in some places.
2021-03-24 22:02:18 +11:00
code_info.m
Add bespoke type for du types' details.
2021-07-01 08:26:04 +10:00
code_loc_dep.m
Make pred declaration and definition order match.
2021-03-25 04:27:30 +11:00
code_model.m
…
code_util.m
Don't import unneeded modules in the interface.
2021-05-29 12:55:02 +10:00
commit_gen.m
…
common.m
Separate always_treat_as_first from treat_as_first.
2022-01-12 18:03:17 +11:00
COMP_FLAGS.in
Specify --no-halt-at-warn-make-{int,opt}.
2021-12-26 03:10:01 +11:00
comp_unit_interface.m
Use checked types/insts/modes in parse_tree_module_src.
2021-10-16 17:37:36 +11:00
compile_target_code.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
compiler_util.m
Separate always_treat_as_first from treat_as_first.
2022-01-12 18:03:17 +11:00
complexity.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
compute_grade.m
Delete almost all remaining references to Erlang.
2022-01-23 03:34:36 +11:00
const_prop.m
Replace ten int cons_ids with one.
2021-06-03 23:58:32 +10:00
const_struct.m
Let simplify introduce ground_term_const cons_ids.
2021-06-01 12:31:28 +10:00
constraint.m
Put bigger/slower-varying inputs before others.
2021-06-14 16:48:19 +10:00
continuation_info.m
Put bigger inputs first.
2020-11-30 17:34:42 +11:00
convert_parse_tree.m
Use checked types/insts/modes in parse_tree_module_src.
2021-10-16 17:37:36 +11:00
coverage_profiling.m
Replace ten int cons_ids with one.
2021-06-03 23:58:32 +10:00
cse_detection.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
ctgc.datastruct.m
Enable and fix a bunch of compiler warnings.
2021-06-11 20:11:13 +10:00
ctgc.fixpoint_table.m
Enable and fix a bunch of compiler warnings.
2021-06-11 20:11:13 +10:00
ctgc.livedata.m
Replace (C->T;E) with (if C then T else E).
2020-08-09 18:04:57 +10:00
ctgc.m
…
ctgc.selector.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
ctgc.util.m
Enable and fix a bunch of compiler warnings.
2021-06-11 20:11:13 +10:00
dead_proc_elim.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
decide_type_repn.m
Separate subtypes from du types in parse trees.
2021-10-02 16:45:26 +10:00
deep_profiling.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
default_func_mode.m
Switch to structured item sequence numbers.
2021-05-19 13:27:27 +10:00
deforest.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
delay_construct.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
delay_info.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
delay_partial_inst.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
delay_slot.m
…
dense_switch.m
Make type_range also succeed for discontiguous range of enum values.
2021-04-13 15:04:55 +10:00
dep_par_conj.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
dependency_graph.m
…
deps_map.m
Standardize messages about reading files.
2022-01-21 18:00:22 +11:00
det_analysis.m
Pair lambda arg vars with their modes.
2021-08-21 17:49:42 +10:00
det_report.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
det_util.m
Pair lambda arg vars with their modes.
2021-08-21 17:49:42 +10:00
direct_arg_in_out.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
disj_gen.m
Avoid -O<n> resetting previously set options.
2020-09-28 18:16:13 +10:00
distance_granularity.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
du_type_layout.m
Improve old/new comparisons for du type layouts.
2021-08-01 01:15:29 +10:00
dupelim.m
…
dupproc.m
…
equiv_type_hlds.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
equiv_type.m
Use checked types/insts/modes in parse_tree_module_src.
2021-10-16 17:37:36 +11:00
error_msg_inst.m
Don't expand insts in inst names.
2022-02-06 22:29:52 +11:00
error_util.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
exception_analysis.m
Carve two new modules out of intermod.m.
2021-12-01 01:42:18 +11:00
export.m
Stop using exit status to report success/failure.
2021-08-23 22:07:14 +10:00
exprn_aux.m
…
fact_table.m
Separate always_treat_as_first from treat_as_first.
2022-01-12 18:03:17 +11:00
field_access.m
…
file_kind.m
Partition extensions into ".m" and "all others".
2020-08-17 23:43:15 +10:00
file_names.m
Carve three modules out of make.m.
2022-01-10 12:22:42 +11:00
file_util.m
Move the maybe_succeeded type to maybe_succeeded.m.
2021-08-13 03:08:19 +10:00
find_module.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
float_regs.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
follow_code.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
follow_vars.m
Use explicit streams in fact_table.m.
2021-06-08 07:53:05 +10:00
foreign.m
Add bespoke type for du types' details.
2021-07-01 08:26:04 +10:00
format_call.m
Fix a bug in string.format.
2023-01-29 01:50:48 +11:00
frameopt.m
Improve programming style.
2020-07-17 10:48:13 +10:00
from_ground_term_util.m
…
generate_dep_d_files.m
Standardize messages about reading files.
2022-01-21 18:00:22 +11:00
get_dependencies.m
Use checked types/insts/modes in parse_tree_module_src.
2021-10-16 17:37:36 +11:00
global_data.m
Avoid -O<n> resetting previously set options.
2020-09-28 18:16:13 +10:00
globals.m
Fix spelling and doubled-up words.
2021-06-14 20:15:52 +10:00
goal_expr_to_goal.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
goal_form.m
…
goal_mode.m
Put bigger/slower-varying inputs before others.
2021-06-14 16:48:19 +10:00
goal_path.m
Pair lambda arg vars with their modes.
2021-08-21 17:49:42 +10:00
goal_store.m
…
goal_util.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
grab_modules.m
Standardize messages about reading files.
2022-01-21 18:00:22 +11:00
granularity.m
Delete the Erlang backend from the compiler.
2020-10-29 13:24:49 +11:00
graph_colour.m
…
handle_options.m
Update copyright notices for 2023.
2023-01-28 16:44:55 +11:00
headvar_names.m
…
hhf.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
higher_order.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
hlds_args.m
…
hlds_class.m
Fix another typo.
2022-02-09 22:25:37 +11:00
hlds_clauses.m
Switch to structured item sequence numbers.
2021-05-19 13:27:27 +10:00
hlds_code_util.m
Build the no_tag_type_nap in decide_type_repns_new.
2021-07-09 08:54:26 +10:00
hlds_cons.m
Group related predicates together.
2021-04-27 01:36:19 +10:00
hlds_data.m
Represent "is this a subtype" using a bespoke type.
2021-07-09 09:25:04 +10:00
hlds_defns.m
Add name_arity as a format_component.
2021-06-27 20:39:50 +10:00
hlds_dependency_graph.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
hlds_desc.m
Represent coerce goals as a type of cast.
2021-04-14 15:10:18 +10:00
hlds_error_util.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
hlds_goal.m
Handle const_var_maps left by add_trail_ops.m.
2022-02-08 20:42:17 +11:00
hlds_inst_mode.m
…
hlds_llds.m
Improve programming style.
2020-07-17 10:48:13 +10:00
hlds_module.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
hlds_out_goal.m
Fix writing of coerce casts in .opt files.
2022-02-16 20:00:36 +11:00
hlds_out_inst_table.m
Fix a bug in the unused import computation.
2021-08-09 14:36:31 +10:00
hlds_out_mode.m
Add an XXX about tuple_cons cons_ids.
2021-02-26 20:40:23 +11:00
hlds_out_module.m
Clarify comment.
2021-08-10 14:12:38 +10:00
hlds_out_pred.m
Don't apply unused_args to unsuitable preds/procs.
2022-01-03 02:37:10 +11:00
hlds_out_type_table.m
Fix a bug in the unused import computation.
2021-08-09 14:36:31 +10:00
hlds_out_typeclass_table.m
Move unneeded-there imports out of the interface.
2021-11-19 11:06:19 +11:00
hlds_out_util.m
Pair lambda arg vars with their modes.
2021-08-21 17:49:42 +10:00
hlds_out.m
Carve three new modules out of hlds_out_module.m.
2021-08-08 08:04:05 +10:00
hlds_pred.m
Prepare for checking insts' "for type_ctor/arity".
2021-12-24 23:28:08 +11:00
hlds_promise.m
…
hlds_rtti.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
hlds_statistics.m
Pair lambda arg vars with their modes.
2021-08-21 17:49:42 +10:00
hlds.m
…
implementation_defined_literals.m
Pair lambda arg vars with their modes.
2021-08-21 17:49:42 +10:00
implicit_parallelism.m
…
inlining.m
Do not let inlining touch daio-transformed preds.
2022-01-25 21:53:33 +11:00
inst_abstract_unify.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
inst_check.m
Add bespoke type for du types' details.
2021-07-01 08:26:04 +10:00
inst_graph.m
…
inst_lookup.m
Check "for type_ctor" annotations on user insts.
2021-12-30 23:39:20 +11:00
inst_match.m
Put types before in insts in argument lists.
2021-12-17 14:12:53 +11:00
inst_merge.m
Put types before in insts in argument lists.
2021-12-17 14:12:53 +11:00
inst_mode_type_prop.m
Check "for type_ctor" annotations on user insts.
2021-12-30 23:39:20 +11:00
inst_test.m
Associate a type with an inst.
2021-12-17 11:40:56 +11:00
inst_user.m
Check "for type_ctor" annotations on user insts.
2021-12-30 23:39:20 +11:00
inst_util.m
Associate a type with an inst.
2021-12-17 11:40:56 +11:00
instmap.m
Put types before in insts in argument lists.
2021-12-17 14:12:53 +11:00
int_emu.m
Fix a bug in compile-time evaluation.
2023-04-20 07:53:47 +10:00
intermod_analysis.m
Carve two new modules out of intermod.m.
2021-12-01 01:42:18 +11:00
intermod_order_pred_info.m
Carve two new modules out of intermod.m.
2021-12-01 01:42:18 +11:00
intermod.m
Prepare for checking insts' "for type_ctor/arity".
2021-12-24 23:28:08 +11:00
interval.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
introduce_exists_casts.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
introduce_parallelism.m
Specify output streams in some places.
2021-03-25 07:57:24 +11:00
ite_gen.m
Specify output streams in some places.
2021-03-24 22:02:18 +11:00
item_util.m
Carve two new modules out of intermod.m.
2021-12-01 01:42:18 +11:00
java_names.m
…
jumpopt.m
Avoid -O<n> resetting previously set options.
2020-09-28 18:16:13 +10:00
labelopt.m
…
lambda.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
layout_out.m
Stricter checking of tabling pragmas vs grades.
2021-06-14 14:11:13 +10:00
layout.m
…
lco.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
libs.m
Move the maybe_succeeded type to maybe_succeeded.m.
2021-08-13 03:08:19 +10:00
live_vars.m
Represent coerce goals as a type of cast.
2021-04-14 15:10:18 +10:00
livemap.m
…
liveness.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
ll_backend.m
…
ll_pseudo_type_info.m
…
llds_out_code_addr.m
Write to explicitly named streams in many modules.
2020-11-14 15:07:55 +11:00
llds_out_data.m
Write to explicitly named streams in many modules.
2020-11-14 15:07:55 +11:00
llds_out_file.m
Move the maybe_succeeded type to maybe_succeeded.m.
2021-08-13 03:08:19 +10:00
llds_out_global.m
Fix failing tabling tests with MSVC.
2023-07-17 19:54:46 +10:00
llds_out_instr.m
Make generated C code easier to read.
2020-12-29 19:40:59 +11:00
llds_out_util.m
Write to explicitly named streams in many modules.
2020-11-14 15:07:55 +11:00
llds_out.m
…
llds.m
Stricter checking of tabling pragmas vs grades.
2021-06-14 14:11:13 +10:00
lookup_switch.m
Fix lookup switches on subtype enums.
2021-04-09 17:41:23 +10:00
lookup_util.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
loop_inv.m
Stop generating duplicate aux MLDS functions.
2022-02-11 23:16:47 +11:00
lp_rational.m
Improve the code generating .opt/.trans_opt files.
2021-11-30 22:18:47 +11:00
lp.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
make_goal.m
Use standard length comment lines.
2022-01-10 08:59:08 +11:00
make_hlds_error.m
Use standard length comment lines.
2022-01-10 08:59:08 +11:00
make_hlds_passes.m
Fix a bug in adding .opt files to the HLDS.
2022-01-03 16:30:28 +11:00
make_hlds_separate_items.m
Fix a bug in adding .opt files to the HLDS.
2022-01-03 16:30:28 +11:00
make_hlds_warn.m
Use standard length comment lines.
2022-01-10 08:59:08 +11:00
make_hlds.m
Use standard length comment lines.
2022-01-10 08:59:08 +11:00
make.build.m
Make options_file.m return either info or error.
2022-01-23 02:05:23 +11:00
make.dependencies.m
Say whether a missing module is imported or included.
2022-03-13 15:00:37 +11:00
make.deps_set.m
Carve three modules out of make.m.
2022-01-10 12:22:42 +11:00
make.m
Carve three modules out of make.m.
2022-01-10 12:22:42 +11:00
make.make_info.m
Say whether a missing module is imported or included.
2022-03-13 15:00:37 +11:00
make.module_dep_file.m
Fix writing fact table file names in .module_dep files.
2022-12-05 22:39:58 +11:00
make.module_target.m
Make options_file.m return either info or error.
2022-01-23 02:05:23 +11:00
make.program_target.m
Fix Github issue #116.
2023-03-22 17:48:44 +11:00
make.top_level.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
make.track_flags.m
Make options_file.m return either info or error.
2022-01-23 02:05:23 +11:00
make.util.m
Carve three modules out of make.m.
2022-01-10 12:22:42 +11:00
mark_static_terms.m
Handle const_var_maps left by add_trail_ops.m.
2022-02-08 20:42:17 +11:00
mark_tail_calls.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
matching.m
Specify output streams in some places.
2021-03-25 03:48:01 +11:00
maybe_error.m
Make options_file.m return either info or error.
2022-01-23 02:05:23 +11:00
maybe_succeeded.m
Move the maybe_succeeded type to maybe_succeeded.m.
2021-08-13 03:08:19 +10:00
mcsolver.m
…
md5.m
Avoid a clash with a system header.
2023-07-11 19:51:12 +10:00
mercury_compile_front_end.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
mercury_compile_llds_back_end.m
Fix name clash between C modules.
2022-01-25 21:53:05 +11:00
mercury_compile_main.m
Do not ignore errors from library checks.
2023-03-10 20:43:10 +11:00
mercury_compile_middle_passes.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
mercury_compile_mlds_back_end.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
mercury_compile.m
…
mercury_to_mercury.m
Fix quoting of attributes in type defns.
2022-02-09 22:26:19 +11:00
Mercury.options
Fix compilation in C# and Java grades.
2022-01-13 19:01:44 +11:00
middle_rec.m
Make --everything-in-one-c-function a bool option.
2020-09-29 10:25:42 +10:00
ml_accurate_gc.m
Carve three new modules out of polymorphism.m.
2021-03-22 20:21:22 +11:00
ml_args_util.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
ml_backend.m
…
ml_call_gen.m
Represent coerce goals as a type of cast.
2021-04-14 15:10:18 +10:00
ml_closure_gen.m
Minor updates of comments.
2021-06-03 11:19:58 +10:00
ml_code_gen.m
Clarify comment.
2022-03-17 15:22:21 +11:00
ml_code_util.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
ml_commit_gen.m
…
ml_disj_gen.m
Handle const_var_maps left by add_trail_ops.m.
2022-02-08 20:42:17 +11:00
ml_elim_nested.m
Fix comments.
2022-02-11 23:17:57 +11:00
ml_foreign_proc_gen.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
ml_gen_info.m
Handle const_var_maps left by add_trail_ops.m.
2022-02-08 20:42:17 +11:00
ml_global_data.m
Fix spelling and doubled-up words.
2021-06-14 20:15:52 +10:00
ml_lookup_switch.m
Fix lookup switches on subtype enums.
2021-04-09 17:41:23 +10:00
ml_optimize.m
Use explicit streams in several modules.
2021-03-22 23:28:13 +11:00
ml_proc_gen.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
ml_rename_classes.m
…
ml_simplify_switch.m
Make type_range also succeed for discontiguous range of enum values.
2021-04-13 15:04:55 +10:00
ml_string_switch.m
Fix a bug in string trie jump switches.
2022-12-14 15:47:13 +11:00
ml_switch_gen.m
Don't let ml_tag_switch.m generate duplicate fields.
2022-02-11 23:18:04 +11:00
ml_tag_switch.m
Don't let ml_tag_switch.m generate duplicate fields.
2022-02-11 23:18:04 +11:00
ml_target_util.m
Delete the Erlang backend from the compiler.
2020-10-29 13:24:49 +11:00
ml_top_gen.m
Stricter checking of tabling pragmas vs grades.
2021-06-14 14:11:13 +10:00
ml_type_gen.m
Represent "is this a subtype" using a bespoke type.
2021-07-09 09:25:04 +10:00
ml_unify_gen_construct.m
Handle const_var_maps left by add_trail_ops.m.
2022-02-08 20:42:17 +11:00
ml_unify_gen_deconstruct.m
…
ml_unify_gen_test.m
Add bespoke type for du types' details.
2021-07-01 08:26:04 +10:00
ml_unify_gen_util.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
ml_unify_gen.m
…
ml_unused_assign.m
…
ml_util.m
…
mlds_dump.m
Rename a functor to avoid ambiguity.
2021-05-17 18:52:24 +10:00
mlds_to_c_class.m
Fix formatting in MLDS dumps.
2022-02-11 23:17:05 +11:00
mlds_to_c_data.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
mlds_to_c_export.m
Write to explicitly named streams in the MLDS backend.
2020-11-17 11:20:43 +11:00
mlds_to_c_file.m
Fix formatting in MLDS dumps.
2022-02-11 23:17:05 +11:00
mlds_to_c_func.m
Fix formatting in MLDS dumps.
2022-02-11 23:17:05 +11:00
mlds_to_c_global.m
Write to explicitly named streams in the MLDS backend.
2020-11-17 11:20:43 +11:00
mlds_to_c_name.m
Write to explicitly named streams in the MLDS backend.
2020-11-17 11:20:43 +11:00
mlds_to_c_stmt.m
Fix formatting in MLDS dumps.
2022-02-11 23:17:05 +11:00
mlds_to_c_type.m
Try to delete duplicate rows in MLDS scalar commons.
2021-05-18 11:39:59 +10:00
mlds_to_c_util.m
Write to explicitly named streams in the MLDS backend.
2020-11-17 11:20:43 +11:00
mlds_to_cs_class.m
Write to explicitly named streams in the MLDS backend.
2020-11-17 11:20:43 +11:00
mlds_to_cs_data.m
Avoid a C# error with bitwise complement.
2022-03-24 23:17:10 +11:00
mlds_to_cs_export.m
Write to explicitly named streams in the MLDS backend.
2020-11-17 11:20:43 +11:00
mlds_to_cs_file.m
Move the maybe_succeeded type to maybe_succeeded.m.
2021-08-13 03:08:19 +10:00
mlds_to_cs_func.m
Write to explicitly named streams in the MLDS backend.
2020-11-17 11:20:43 +11:00
mlds_to_cs_global.m
Rename a functor to avoid ambiguity.
2021-05-17 18:52:24 +10:00
mlds_to_cs_name.m
Write to explicitly named streams in the MLDS backend.
2020-11-17 11:20:43 +11:00
mlds_to_cs_stmt.m
Fix C# "declared/assigned but not used" warnings.
2022-03-13 14:54:08 +11:00
mlds_to_cs_type.m
Write to explicitly named streams in the MLDS backend.
2020-11-17 11:20:43 +11:00
mlds_to_cs_util.m
Write to explicitly named streams in the MLDS backend.
2020-11-17 11:20:43 +11:00
mlds_to_java_class.m
Write to explicitly named streams in the MLDS backend.
2020-11-17 11:20:43 +11:00
mlds_to_java_data.m
Fix div and mod for 32-bit uints in the Java backend.
2021-08-13 02:54:27 +10:00
mlds_to_java_export.m
Write to explicitly named streams in the MLDS backend.
2020-11-17 11:20:43 +11:00
mlds_to_java_file.m
Move the maybe_succeeded type to maybe_succeeded.m.
2021-08-13 03:08:19 +10:00
mlds_to_java_func.m
Write to explicitly named streams in the MLDS backend.
2020-11-17 11:20:43 +11:00
mlds_to_java_global.m
Rename a functor to avoid ambiguity.
2021-05-17 18:52:24 +10:00
mlds_to_java_name.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
mlds_to_java_stmt.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
mlds_to_java_type.m
Write to explicitly named streams in the MLDS backend.
2020-11-17 11:20:43 +11:00
mlds_to_java_util.m
Write to explicitly named streams in the MLDS backend.
2020-11-17 11:20:43 +11:00
mlds_to_java_wrap.m
Fix a reference in a comment.
2020-08-09 21:48:52 +10:00
mlds_to_target_util.m
Rename a functor to avoid ambiguity.
2021-05-17 18:52:24 +10:00
mlds.m
Fix indentation.
2021-12-31 00:06:34 +11:00
Mmakefile
Update a comment.
2022-11-10 14:12:44 +11:00
mmakefiles.m
Ensure trans_opt_deps rules can be read back.
2022-12-27 13:29:49 +11:00
mmc_analysis.m
Partition extensions into ".m" and "all others".
2020-08-17 23:43:15 +10:00
mode_comparison.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
mode_constraint_robdd.m
Move see/seen/tell/told from io.m to prolog.m.
2021-08-30 15:44:09 +10:00
mode_constraints.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
mode_debug.m
Specify output streams in some places.
2021-03-24 22:02:18 +11:00
mode_errors.m
Separate always_treat_as_first from treat_as_first.
2022-01-12 18:03:17 +11:00
mode_info.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
mode_ordering.m
Pair lambda arg vars with their modes.
2021-08-21 17:49:42 +10:00
mode_robdd.equiv_vars.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
mode_robdd.implications.m
Move see/seen/tell/told from io.m to prolog.m.
2021-08-30 15:44:09 +10:00
mode_robdd.m
…
mode_robdd.tfeirn.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
mode_test.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
mode_top_functor.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
mode_util.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
modecheck_call.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
modecheck_coerce.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
modecheck_conj.m
Clean up the representation of mode errors.
2021-02-24 15:34:18 +11:00
modecheck_goal.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
modecheck_unify.m
Prepare for checking insts' "for type_ctor/arity".
2021-12-24 23:28:08 +11:00
modecheck_util.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
modes.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
module_cmds.m
Fix typo.
2022-05-26 22:45:11 +10:00
module_deps_graph.m
Create and use module_dep_summary.
2021-07-29 17:39:04 +10:00
module_imports.m
Delete two trivial predicates that don't fit.
2021-08-20 21:49:43 +10:00
module_qual.collect_mq_info.m
Use checked types/insts/modes in parse_tree_module_src.
2021-10-16 17:37:36 +11:00
module_qual.id_set.m
More recompilation type specializations.
2021-08-29 00:41:14 +10:00
module_qual.m
Introduce aug_make_int_unit.
2021-08-17 19:23:55 +10:00
module_qual.qual_errors.m
Fix a possible silent failure when making .int files.
2021-12-17 12:55:29 +11:00
module_qual.qualify_items.m
Fix silent failure during module qualification.
2022-04-11 14:23:04 +10:00
name_mangle.m
Write to explicitly named streams in many modules.
2020-11-14 15:07:55 +11:00
oisu_check.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
old_type_constraints.m
Pair lambda arg vars with their modes.
2021-08-21 17:49:42 +10:00
op_mode.m
Add the new option --output-stdlib-grades.
2022-01-21 20:59:02 +11:00
opt_debug.m
Make subtypes share low-level data representation with base type.
2021-04-09 17:36:38 +10:00
opt_util.m
Make pred declaration and definition order match.
2021-03-25 07:07:12 +11:00
optimization_options.m
Fix -O<n> options below default optimisation level.
2021-06-07 16:49:54 +10:00
optimize.m
Use explicit streams in several modules.
2021-03-22 23:28:13 +11:00
options_file.m
Delete almost all remaining references to Erlang.
2022-01-23 03:34:36 +11:00
options.m
Fix --no-warn-non-contiguous-decls documentation.
2023-03-03 11:25:40 +11:00
ordering_mode_constraints.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
par_conj_gen.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
par_loop_control.m
Make the goal_type type more fit for purpose.
2021-05-20 00:46:18 +10:00
parallel_to_plain_conj.m
Specify output streams in some places.
2021-03-25 07:57:24 +11:00
parse_class.m
Separate subtypes from du types in parse trees.
2021-10-02 16:45:26 +10:00
parse_dcg_goal.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
parse_error.m
…
parse_goal.m
Fix reverse implication goals.
2021-10-28 10:50:35 +11:00
parse_inst_mode_defn.m
Switch to structured item sequence numbers.
2021-05-19 13:27:27 +10:00
parse_inst_mode_name.m
Document Args=[] for ints, floats and strings.
2021-04-03 10:36:11 +11:00
parse_item.m
Add missing code for parsing 'promise_ex's.
2021-12-07 17:04:03 +11:00
parse_module.m
Standardize messages about reading files.
2022-01-21 18:00:22 +11:00
parse_mutable.m
Make illegal mutable attributes unrepresentable.
2021-05-25 21:39:58 +10:00
parse_pragma_analysis.m
Don't import unneeded modules in the interface.
2021-05-29 12:55:02 +10:00
parse_pragma_foreign.m
Switch to structured item sequence numbers.
2021-05-19 13:27:27 +10:00
parse_pragma_tabling.m
Stricter checking of tabling pragmas vs grades.
2021-06-14 14:11:13 +10:00
parse_pragma.m
Stricter checking of tabling pragmas vs grades.
2021-06-14 14:11:13 +10:00
parse_string_format.m
Allow formatting of sized integers.
2020-11-10 11:00:47 +11:00
parse_sym_name.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
parse_tree_out_clause.m
Delete the cl_maybe_attrs field from clauses.
2021-05-19 15:14:54 +10:00
parse_tree_out_info.m
Write to explicitly named streams in many modules.
2020-11-14 15:07:55 +11:00
parse_tree_out_inst.m
Fix formatting when reporting problem insts.
2022-02-05 22:55:38 +11:00
parse_tree_out_pragma.m
Gather preds' pragmas without the I/O state.
2021-12-06 07:08:21 +11:00
parse_tree_out_pred_decl.m
Gather pred declarations.
2021-12-06 07:08:21 +11:00
parse_tree_out_term.m
Add a "mercury_term_" prefix to lexer.m/parser.m.
2021-12-31 02:38:07 +11:00
parse_tree_out_type_repn.m
Use bespoke types for local and remote sectags.
2021-07-04 11:41:54 +10:00
parse_tree_out.m
Fix quoting of attributes in type defns.
2022-02-09 22:26:19 +11:00
parse_tree_to_term.m
Replace ten int cons_ids with one.
2021-06-03 23:58:32 +10:00
parse_tree.m
Rename check_parse_tree_type_defns.m ...
2021-09-08 06:59:35 +10:00
parse_type_defn.m
Use checked types/insts/modes in parse_tree_module_src.
2021-10-16 17:37:36 +11:00
parse_type_name.m
Parse and check subtype definitions.
2021-03-15 11:16:31 +11:00
parse_type_repn.m
Delete almost all remaining references to Erlang.
2022-01-23 03:34:36 +11:00
parse_types.m
Rename version_numbers to module_item_version_numbers.
2021-08-28 00:05:34 +10:00
parse_util.m
Replace ten int cons_ids with one.
2021-06-03 23:58:32 +10:00
parse_vars.m
…
passes_aux.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
pd_cost.m
Make pred declaration and definition order match.
2021-03-25 06:22:03 +11:00
pd_debug.m
Allow prog_out.m's callers to use explicit streams.
2021-03-25 09:43:02 +11:00
pd_info.m
Put bigger/slower-varying inputs before others.
2021-06-14 16:48:19 +10:00
pd_term.m
Make pred declaration and definition order match.
2021-03-25 06:22:03 +11:00
pd_util.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
peephole.m
Avoid -O<n> resetting previously set options.
2020-09-28 18:16:13 +10:00
pickle.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
polyhedron.m
Specify output streams in some places.
2021-03-25 03:48:01 +11:00
polymorphism_info.m
Fix nonlocal typeclass_infos in rhs_lambda_goals.
2021-08-20 20:05:38 +10:00
polymorphism_lambda.m
Pair lambda arg vars with their modes.
2021-08-21 17:49:42 +10:00
polymorphism_post_copy.m
Fix a bug in the unused import computation.
2021-08-09 14:36:31 +10:00
polymorphism_type_class_info.m
Fix a bug in the unused import computation.
2021-08-09 14:36:31 +10:00
polymorphism_type_info.m
Replace ten int cons_ids with one.
2021-06-03 23:58:32 +10:00
polymorphism.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
post_term_analysis.m
Add bespoke type for du types' details.
2021-07-01 08:26:04 +10:00
post_typecheck.m
Separate always_treat_as_first from treat_as_first.
2022-01-12 18:03:17 +11:00
pragma_c_gen.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
pre_quantification.m
Pair lambda arg vars with their modes.
2021-08-21 17:49:42 +10:00
pre_typecheck.m
Make the goal_type type more fit for purpose.
2021-05-20 00:46:18 +10:00
pred_table.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
proc_gen.m
Specify output streams in some places.
2021-03-25 03:48:01 +11:00
proc_label.m
…
proc_requests.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
process_util.m
Split build_with_check_for_interrupt into two.
2021-08-18 21:27:16 +10:00
prog_ctgc.m
Replace ten int cons_ids with one.
2021-06-03 23:58:32 +10:00
prog_data_event.m
…
prog_data_foreign.m
Delete foreign includes field of module_and_imports.
2021-07-30 23:21:13 +10:00
prog_data_pragma.m
Fix spelling and doubled-up words.
2021-06-14 20:15:52 +10:00
prog_data_used_modules.m
…
prog_data.m
Update references to LIMITATIONS file.
2022-01-01 15:53:34 +11:00
prog_detism.m
…
prog_event.m
Separate always_treat_as_first from treat_as_first.
2022-01-12 18:03:17 +11:00
prog_foreign_enum.m
Rename check_parse_tree_type_defns.m ...
2021-09-08 06:59:35 +10:00
prog_foreign.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
prog_item_stats.m
Fix rcu_ and acu_ field name prefixes.
2021-08-12 08:29:58 +10:00
prog_item.m
Use checked types/insts/modes in parse_tree_module_src.
2021-10-16 17:37:36 +11:00
prog_mode.m
Fix formatting when reporting problem insts.
2022-02-05 22:55:38 +11:00
prog_mutable.m
Simplify the logic of prog_mutable.m.
2021-05-29 20:40:18 +10:00
prog_out.m
Build the no_tag_type_nap in decide_type_repns_new.
2021-07-09 08:54:26 +10:00
prog_rename.m
…
prog_rep_tables.m
…
prog_rep.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
prog_type_subst.m
…
prog_type.m
Fix inconsistent variable names.
2021-12-25 03:53:29 +11:00
prog_util.m
Replace ten int cons_ids with one.
2021-06-03 23:58:32 +10:00
prop_mode_constraints.m
Revisit valid vs all proc_ids in a pred_info.
2020-07-30 19:46:14 +10:00
pseudo_type_info.m
…
purity.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
push_goals_together.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
qual_info.m
More recompilation type specializations.
2021-08-29 00:41:14 +10:00
quantification.m
Pair lambda arg vars with their modes.
2021-08-21 17:49:42 +10:00
rat.m
Improve the code generating .opt/.trans_opt files.
2021-11-30 22:18:47 +11:00
rbmm.add_rbmm_goal_infos.m
Make constant prop work with loop invariant opt.
2021-05-13 13:34:07 +10:00
rbmm.condition_renaming.m
Fix doubled-up words and spelling.
2021-06-20 20:29:50 +10:00
rbmm.execution_path.m
Replace ten int cons_ids with one.
2021-06-03 23:58:32 +10:00
rbmm.interproc_region_lifetime.m
…
rbmm.live_region_analysis.m
Add foldl7 and foldl8 to list.m.
2021-05-23 22:04:33 +10:00
rbmm.live_variable_analysis.m
Revisit valid vs all proc_ids in a pred_info.
2020-07-30 19:46:14 +10:00
rbmm.m
…
rbmm.points_to_analysis.m
Replace (C->T;E) with (if C then T else E).
2020-08-09 18:04:57 +10:00
rbmm.points_to_graph.m
Enable and fix a bunch of compiler warnings.
2021-06-11 20:11:13 +10:00
rbmm.points_to_info.m
…
rbmm.region_arguments.m
Revisit valid vs all proc_ids in a pred_info.
2020-07-30 19:46:14 +10:00
rbmm.region_instruction.m
Replace (C->T;E) with (if C then T else E).
2020-08-09 18:04:57 +10:00
rbmm.region_liveness_info.m
Enable and fix a bunch of compiler warnings.
2021-06-11 20:11:13 +10:00
rbmm.region_resurrection_renaming.m
Replace (C->T;E) with (if C then T else E).
2020-08-09 18:04:57 +10:00
rbmm.region_transformation.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
read_modules.m
Standardize messages about reading files.
2022-01-21 18:00:22 +11:00
reassign.m
Group switch arms with identical actions together.
2021-06-08 10:54:33 +10:00
recompilation.check.m
Standardize messages about reading files.
2022-01-21 18:00:22 +11:00
recompilation.m
Delay I/O when writing out .used files.
2021-08-30 01:26:16 +10:00
recompilation.usage.m
Move unneeded-there imports out of the interface.
2021-11-19 11:06:19 +11:00
recompilation.used_file.m
Replace tuple with bespoke type.
2022-01-10 17:20:49 +11:00
recompilation.version.m
Switch to checked type/inst/mode maps for .int0.
2021-10-03 06:21:44 +11:00
recompute_instmap_deltas.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
resolve_unify_functor.m
Add bespoke type for du types' details.
2021-07-01 08:26:04 +10:00
rtti_out.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
rtti_to_mlds.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
rtti.m
Make subtypes share high-level data representation with base type.
2021-04-09 17:41:23 +10:00
saved_vars.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
set_of_var.m
…
simplify_goal_call.m
Delete almost all remaining references to Erlang.
2022-01-23 03:34:36 +11:00
simplify_goal_conj.m
Make constant prop work with loop invariant opt.
2021-05-13 13:34:07 +10:00
simplify_goal_disj.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
simplify_goal_ite.m
Add bespoke type for du types' details.
2021-07-01 08:26:04 +10:00
simplify_goal_scope.m
Let simplify introduce ground_term_const cons_ids.
2021-06-01 12:31:28 +10:00
simplify_goal_switch.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
simplify_goal_unify.m
Delete almost all remaining references to Erlang.
2022-01-23 03:34:36 +11:00
simplify_goal.m
Let simplify introduce ground_term_const cons_ids.
2021-06-01 12:31:28 +10:00
simplify_info.m
Let simplify introduce ground_term_const cons_ids.
2021-06-01 12:31:28 +10:00
simplify_proc.m
Fix a bug in string.format.
2023-01-29 01:50:48 +11:00
simplify_tasks.m
Fix a bug in the unused import computation.
2021-08-09 14:36:31 +10:00
simplify.m
…
size_prof.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
smm_common.m
Enable and fix a bunch of compiler warnings.
2021-06-11 20:11:13 +10:00
source_file_map.m
Specify streams explicitly in more modules.
2021-05-17 22:55:06 +10:00
source_stats.awk
…
special_pred.m
Add bespoke type for du types' details.
2021-07-01 08:26:04 +10:00
split_parse_tree_src.m
Address Julien's review comments.
2022-02-04 16:59:56 +11:00
ssdebug.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
stack_alloc.m
…
stack_layout.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
stack_opt.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
state_var.m
Fix a comment.
2021-09-18 11:39:59 +10:00
status.m
Add missing code for parsing 'promise_ex's.
2021-12-07 17:04:03 +11:00
stdlabel.m
…
stm_expand.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
store_alloc.m
…
stratify.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
string_encoding.m
Delete the Erlang backend from the compiler.
2020-10-29 13:24:49 +11:00
string_switch.m
Don't let ml_tag_switch.m generate duplicate fields.
2022-02-11 23:18:04 +11:00
structure_reuse.analysis.m
Carve two new modules out of intermod.m.
2021-12-01 01:42:18 +11:00
structure_reuse.direct.choose_reuse.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
structure_reuse.direct.detect_garbage.m
Enable and fix a bunch of compiler warnings.
2021-06-11 20:11:13 +10:00
structure_reuse.direct.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
structure_reuse.domain.m
Enable and fix a bunch of compiler warnings.
2021-06-11 20:11:13 +10:00
structure_reuse.indirect.m
Add distinguishing prefixes to some field names.
2021-08-03 23:57:13 +10:00
structure_reuse.lbu.m
…
structure_reuse.lfu.m
…
structure_reuse.m
…
structure_reuse.versions.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
structure_sharing.analysis.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
structure_sharing.domain.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
structure_sharing.m
…
style_checks.m
Provide more info in a warning.
2021-07-03 21:52:59 +10:00
superhomogeneous.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
switch_case.m
Don't let ml_tag_switch.m generate duplicate fields.
2022-02-11 23:18:04 +11:00
switch_detection.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
switch_gen.m
Avoid -O<n> resetting previously set options.
2020-09-28 18:16:13 +10:00
switch_util.m
Don't let ml_tag_switch.m generate duplicate fields.
2022-02-11 23:18:04 +11:00
table_gen.m
Don't mention nonexistent pragmas in error msgs.
2022-02-21 22:20:03 +11:00
tabling_analysis.m
Carve two new modules out of intermod.m.
2021-12-01 01:42:18 +11:00
tag_switch.m
Don't let ml_tag_switch.m generate duplicate fields.
2022-02-11 23:18:04 +11:00
term_constr_build.m
Fix wording.
2023-03-25 16:47:06 +11:00
term_constr_data.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
term_constr_errors.m
Separate always_treat_as_first from treat_as_first.
2022-01-12 18:03:17 +11:00
term_constr_fixpoint.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
term_constr_initial.m
Rename a predicate to avoid ambiguity.
2021-08-11 14:51:21 +10:00
term_constr_main_types.m
…
term_constr_main.m
…
term_constr_pass2.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
term_constr_util.m
Fix doubled-up words and spelling.
2021-06-20 20:29:50 +10:00
term_errors.m
Separate always_treat_as_first from treat_as_first.
2022-01-12 18:03:17 +11:00
term_norm.m
Add bespoke type for du types' details.
2021-07-01 08:26:04 +10:00
term_pass1.m
…
term_pass2.m
Fix a compiler abort in term_pass2.m.
2022-12-28 13:36:46 +11:00
term_traversal.m
Represent coerce goals as a type of cast.
2021-04-14 15:10:18 +10:00
term_util.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
termination.m
Make the names of termination options more consistent.
2020-10-15 03:34:11 +11:00
timestamp.m
Rename version_numbers to module_item_version_numbers.
2021-08-28 00:05:34 +10:00
top_level.m
Delete the Erlang backend from the compiler.
2020-10-29 13:24:49 +11:00
trace_gen.m
Simplify implications of debugging.
2020-10-13 01:54:43 +11:00
trace_params.m
Simplify implications of debugging.
2020-10-13 01:54:43 +11:00
trailing_analysis.m
Carve two new modules out of intermod.m.
2021-12-01 01:42:18 +11:00
transform_hlds.m
Carve two new modules out of intermod.m.
2021-12-01 01:42:18 +11:00
transform_llds.m
…
try_expand.m
Pair lambda arg vars with their modes.
2021-08-21 17:49:42 +10:00
tupling.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
type_assign.m
Carve typecheck_debug.m out of type_assign.m.
2021-08-09 08:03:33 +10:00
type_class_info.m
…
type_constraints.m
…
type_ctor_info.m
Represent "is this a subtype" using a bespoke type.
2021-07-09 09:25:04 +10:00
type_util.m
Associate a type with an inst.
2021-12-17 11:40:56 +11:00
typecheck_debug.m
Move unneeded-there imports out of the interface.
2021-11-19 11:06:19 +11:00
typecheck_errors.m
Simplify some code.
2022-01-08 08:51:34 +11:00
typecheck_info.m
Prepare for checking insts' "for type_ctor/arity".
2021-12-24 23:28:08 +11:00
typecheck_msgs.m
Separate always_treat_as_first from treat_as_first.
2022-01-12 18:03:17 +11:00
typecheck.m
Stop counting errors in module_infos.
2022-01-15 16:33:38 +11:00
typeclasses.m
Add the --debug-types-pred-name <Name> option.
2021-08-09 09:28:06 +10:00
uint_emu.m
Fix a bug in compile-time evaluation.
2023-04-20 07:53:47 +10:00
unify_gen_construct.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
unify_gen_deconstruct.m
Don't pass an unused variable.
2020-07-17 14:25:08 +10:00
unify_gen_test.m
…
unify_gen_util.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
unify_gen.m
Don't pass an unused variable.
2020-07-17 14:25:08 +10:00
unify_proc.m
Represent "is this a subtype" using a bespoke type.
2021-07-09 09:25:04 +10:00
unique_modes.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
unneeded_code.m
Revise the code printing progress messages.
2021-12-19 20:32:47 +11:00
untupling.m
Break up inst_util.m and mode_util.m.
2021-12-16 01:31:35 +11:00
unused_args.m
Don't apply unused_args to unsuitable preds/procs.
2022-01-03 02:37:10 +11:00
unused_imports.m
Fix a possible silent failure when making .int files.
2021-12-17 12:55:29 +11:00
use_local_vars.m
Specify pred or func for all pragmas.
2021-06-16 15:23:58 +10:00
var_locn.m
Make constant prop work with loop invariant opt.
2021-05-13 13:34:07 +10:00
vartypes.m
…
wrap_blocks.m
…
write_deps_file.m
Fix Github issue #116.
2023-03-22 17:48:44 +11:00
write_module_interface_files.m
Standardize messages about reading files.
2022-01-21 18:00:22 +11:00
xml_documentation.m
Add bespoke type for du types' details.
2021-07-01 08:26:04 +10:00