Simon Taylor 98d2568a0f Make sure the input to a union-diff instruction has ...

Estimated hours taken: 1

compiler/rl_sort.m:
	Make sure the input to a union-diff instruction has
	the right index.

1999-05-27 01:06:02 +00:00

..

notes

Document how to build binary packages for Linux.

1999-04-16 06:20:47 +00:00

.cvsignore

Add rl_file.m and rl_out.m.

1999-05-05 02:23:43 +00:00

arg_info.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

atsort.m

…

base_type_info.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

base_type_layout.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

base_typeclass_info.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

basic_block.m

…

bytecode_data.m

Fix reversed arguments in a call.

1999-03-10 00:01:42 +00:00

bytecode_gen.m

This change does some renaming to match the new nomenclature introduced

1999-04-22 01:04:32 +00:00

bytecode.m

This change does some renaming to match the new nomenclature introduced

1999-04-22 01:04:32 +00:00

call_gen.m

Switch to a closure representation that includes runtime type and procedure id

1999-04-16 06:05:49 +00:00

call_graph.m

…

check_typeclass.m

User-guided type specialization.

1999-04-23 01:03:51 +00:00

clause_to_proc.m

Fix a couple of bugs related to pruning of impure goals with no output

1998-10-20 15:07:07 +00:00

code_aux.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

code_exprn.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

code_gen.m

Add an option that causes the compiler to pass information to the

1999-04-30 08:24:24 +00:00

code_info.m

Add an option that causes the compiler to pass information to the

1999-04-30 08:24:24 +00:00

code_util.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

commit_gen.m

…

common.m

…

const_prop.m

User-guided type specialization.

1999-04-23 01:03:51 +00:00

constraint.m

Fix some old problems with HLDS dumps, including blank lines between goals

1999-03-12 06:14:17 +00:00

context.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

continuation_info.m

Switch to a closure representation that includes runtime type and procedure id

1999-04-16 06:05:49 +00:00

cse_detection.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

dead_proc_elim.m

User-guided type specialization.

1999-04-23 01:03:51 +00:00

deforest.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

delay_info.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

delay_slot.m

…

dense_switch.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

dependency_graph.m

During the writing of the RTTI paper, we decided that type_ctor_info

1999-03-22 08:09:08 +00:00

det_analysis.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

det_report.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

det_util.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

disj_gen.m

Allow the native collector to work for nondet code, by generating layout

1999-03-12 05:53:29 +00:00

dnf.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

dupelim.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

equiv_type.m

User-guided type specialization.

1999-04-23 01:03:51 +00:00

error_util.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

excess.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

export.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

exprn_aux.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

fact_table.m

Use floating point functions instead of the obsolete predicates.

1999-03-18 01:31:33 +00:00

follow_code.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

follow_vars.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

frameopt.m

…

globals.m

Make it possible to compile a module (e.g. std_util) without debugging,

1998-11-05 03:53:34 +00:00

goal_path.m

…

goal_util.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

graph_colour.m

…

handle_options.m

Remove the obsolete option --heap-space, which was used only with NU-Prolog.

1999-04-29 02:55:37 +00:00

higher_order.m

User-guided type specialization.

1999-04-23 01:03:51 +00:00

hlds_data.m

This change does some renaming to match the new nomenclature introduced

1999-04-22 01:04:32 +00:00

hlds_goal.m

User-guided type specialization.

1999-04-23 01:03:51 +00:00

hlds_module.m

Add an option that causes the compiler to pass information to the

1999-04-30 08:24:24 +00:00

hlds_out.m

Use check_typeclass__introduced_pred_name_prefix rather than

1999-04-27 07:59:02 +00:00

hlds_pred.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

hlds.m

…

implication.m

…

inlining.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

inst_match.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

inst_util.m

…

inst.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

instmap.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

intermod.m

User-guided type specialization.

1999-04-23 01:03:51 +00:00

ite_gen.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

jumpopt.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

labelopt.m

Allow the native collector to work for nondet code, by generating layout

1999-03-12 05:53:29 +00:00

lambda.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

lco.m

…

live_vars.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

livemap.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

liveness.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

llds_common.m

Add an option that causes the compiler to pass information to the

1999-04-30 08:24:24 +00:00

llds_out.m

Make the header look somewhat neater.

1999-05-10 06:08:44 +00:00

llds.m

Add an option that causes the compiler to pass information to the

1999-04-30 08:24:24 +00:00

lookup_switch.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

lp.m

…

magic_util.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

magic.m

Preprocess mercury_compile.m and rl_file.m to remove dependencies

1999-04-28 01:18:44 +00:00

make_hlds.m

Fix a possible bug - when updating the import_status

1999-05-18 01:53:33 +00:00

make_tags.m

This change does some renaming to match the new nomenclature introduced

1999-04-22 01:04:32 +00:00

mercury_compile.m

Add an option that causes the compiler to pass information to the

1999-04-30 08:24:24 +00:00

mercury_to_c.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

mercury_to_goedel.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

mercury_to_mercury.m

User-guided type specialization.

1999-04-23 01:03:51 +00:00

middle_rec.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

Mmakefile

Preprocess mercury_compile.m and rl_file.m to remove dependencies

1999-04-28 01:18:44 +00:00

mode_debug.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

mode_errors.m

Fix some old problems with HLDS dumps, including blank lines between goals

1999-03-12 06:14:17 +00:00

mode_info.m

Fix a code generator abort reported by Stephane Marie

1999-05-18 03:09:21 +00:00

mode_util.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

modecheck_call.m

Fix a code generator abort reported by Stephane Marie

1999-05-18 03:09:21 +00:00

modecheck_unify.m

Fix a code generator abort reported by Stephane Marie

1999-05-18 03:09:21 +00:00

modes.m

Fix a code generator abort reported by Stephane Marie

1999-05-18 03:09:21 +00:00

module_qual.m

User-guided type specialization.

1999-04-23 01:03:51 +00:00

modules.m

Do not put line numbers into the generated interface files,

1999-05-11 03:59:39 +00:00

opt_debug.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

opt_util.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

optimize.m

Allow the native collector to work for nondet code, by generating layout

1999-03-12 05:53:29 +00:00

options.m

Add an option that causes the compiler to pass information to the

1999-04-30 08:24:24 +00:00

par_conj_gen.m

Switch to a closure representation that includes runtime type and procedure id

1999-04-16 06:05:49 +00:00

passes_aux.m

s/tree234__count/map__count/

1999-03-26 11:15:45 +00:00

pd_cost.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

pd_debug.m

Fix some old problems with HLDS dumps, including blank lines between goals

1999-03-12 06:14:17 +00:00

pd_info.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

pd_term.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

pd_util.m

Fix a code generator abort reported by Stephane Marie

1999-05-18 03:09:21 +00:00

peephole.m

…

polymorphism.m

User-guided type specialization.

1999-04-23 01:03:51 +00:00

post_typecheck.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

pragma_c_gen.m

For nondet pragma c_code, don't output calls to save_registers()

1999-03-28 01:27:21 +00:00

prog_data.m

User-guided type specialization.

1999-04-23 01:03:51 +00:00

prog_io_dcg.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

prog_io_goal.m

Fix some misleading variable names and comments:

1999-03-24 13:30:21 +00:00

prog_io_pragma.m

User-guided type specialization.

1999-04-23 01:03:51 +00:00

prog_io_typeclass.m

Implement abstract instance declarations.

1999-02-12 03:46:59 +00:00

prog_io_util.m

User-guided type specialization.

1999-04-23 01:03:51 +00:00

prog_io.m

Remove support for NU-Prolog and SICStus Prolog.

1999-03-15 08:48:36 +00:00

prog_out.m

Fix some old problems with HLDS dumps, including blank lines between goals

1999-03-12 06:14:17 +00:00

prog_util.m

Undo the part of my previous change to make_pred_name_with_context

1999-04-28 02:53:14 +00:00

purity.m

Avoid some spurious flow-on diagnostics.

1999-03-05 13:09:36 +00:00

quantification.m

Some trivial changes to fix bugs in my previous change.

1999-03-13 01:29:14 +00:00

rl_analyse.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

rl_block_opt.m

Make it easier to turn off individual optimizations.

1999-05-19 04:41:28 +00:00

rl_block.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

rl_code.m

Add an argument to rl_PROC_materialise instructions to make

1999-05-11 05:03:59 +00:00

rl_dump.m

Fix some old problems with HLDS dumps, including blank lines between goals

1999-03-12 06:14:17 +00:00

rl_exprn.m

Preprocess mercury_compile.m and rl_file.m to remove dependencies

1999-04-28 01:18:44 +00:00

rl_file.pp

Preprocess mercury_compile.m and rl_file.m to remove dependencies

1999-04-28 01:18:44 +00:00

rl_gen.m

Preprocess mercury_compile.m and rl_file.m to remove dependencies

1999-04-28 01:18:44 +00:00

rl_info.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

rl_key.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

rl_liveness.m

Do the right thing for relations which are produced by

1999-05-19 04:42:43 +00:00

rl_loop.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

rl_opt.m

Make it easier to turn off individual optimizations.

1999-05-19 04:41:28 +00:00

rl_out.pp

Add an argument to rl_PROC_materialise instructions to make

1999-05-11 05:03:59 +00:00

rl_relops.m

Fix a typo in a comment.

1999-04-01 06:03:16 +00:00

rl_sort.m

Make sure the input to a union-diff instruction has

1999-05-27 01:06:02 +00:00

rl_stream.m

Fix bugs which caused streams to be used multiple times.

1999-05-19 04:32:57 +00:00

rl.m

Preprocess mercury_compile.m and rl_file.m to remove dependencies

1999-04-28 01:18:44 +00:00

saved_vars.m

Fix some old problems with HLDS dumps, including blank lines between goals

1999-03-12 06:14:17 +00:00

simplify.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

source_stats.awk

…

special_pred.m

…

stack_layout.m

Compress the representation of value shape information.

1999-05-07 08:09:05 +00:00

store_alloc.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

stratify.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

string_switch.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

switch_detection.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

switch_gen.m

This change does some renaming to match the new nomenclature introduced

1999-04-22 01:04:32 +00:00

table_gen.m

Rewrite significant parts of minimal model tabling so that it works

1999-04-20 11:48:56 +00:00

tag_switch.m

This change does some renaming to match the new nomenclature introduced

1999-04-22 01:04:32 +00:00

term_errors.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

term_pass1.m

Use floating point functions instead of the obsolete predicates.

1999-03-18 01:31:33 +00:00

term_pass2.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

term_traversal.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

term_util.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

termination.m

These changes make var' and term' polymorphic.

1998-11-20 04:10:36 +00:00

trace.m

Add an option that causes the compiler to pass information to the

1999-04-30 08:24:24 +00:00

trans_opt.m

…

transform_llds.m

Reorganize the handling of global data structures, and expose the table

1998-11-24 03:57:47 +00:00

transform.m

…

tree.m

…

type_util.m

User-guided type specialization.

1999-04-23 01:03:51 +00:00

typecheck.m

s/tree234__count/map__count/

1999-03-26 11:15:45 +00:00

unify_gen.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

unify_proc.m

Fix a code generator abort reported by Stephane Marie

1999-05-18 03:09:21 +00:00

unique_modes.m

Fix a code generator abort reported by Stephane Marie

1999-05-18 03:09:21 +00:00

unused_args.m

Aditi compilation.

1998-12-06 23:49:14 +00:00

value_number.m

Allow the native collector to work for nondet code, by generating layout

1999-03-12 05:53:29 +00:00

vn_block.m

Fix a bug in value numbering.

1998-09-18 09:48:10 +00:00

vn_cost.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

vn_debug.m

…

vn_filter.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

vn_flush.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

vn_livemap.m

…

vn_order.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

vn_table.m

…

vn_temploc.m

…

vn_type.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

vn_util.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00

vn_verify.m

Allow the compiler to handle create rvals whose arguments have a size

1999-04-30 06:21:49 +00:00