Fergus Henderson 0a3bcc07b6 Fix another bug in the recalculation of the non-local variables: ...

Estimated hours taken: 2

compiler/polymorphism.m:
	Fix another bug in the recalculation of the non-local variables:
	we need to requantify if we have added any type variables,
	not just if we have added type variables that are non-local
	at the top level.

1997-08-09 05:01:28 +00:00

..

notes

Add update of configure.in to check for new features.

1997-08-01 05:26:09 +00:00

.cvsignore

…

arg_info.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

atsort.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

base_type_info.m

Add module qualifiers to names generated by the function

1997-08-05 04:37:35 +00:00

base_type_layout.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

bytecode_gen.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

bytecode.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

call_gen.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

call_graph.m

…

clause_to_proc.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

code_aux.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

code_exprn.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

code_gen.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

code_info.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

code_util.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

common.m

…

constraint.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

continuation_info.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

cse_detection.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

dead_proc_elim.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

delay_info.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

delay_slot.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

dense_switch.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

dependency_graph.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

det_analysis.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

det_report.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

det_util.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

disj_gen.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

dnf.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

dupelim.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

equiv_type.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

excess.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

export.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

exprn_aux.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

fact_table.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

follow_code.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

follow_vars.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

frameopt.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

globals.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

goal_util.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

graph_colour.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

handle_options.m

Update copyright messages.

1997-07-28 14:57:46 +00:00

higher_order.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

hlds_data.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

hlds_goal.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

hlds_module.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

hlds_out.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

hlds_pred.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

hlds.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

implication.m

…

inlining.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

inst_match.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

inst_util.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

inst.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

instmap.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

intermod.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

ite_gen.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

jumpopt.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

labelopt.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

lambda.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

lco.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

live_vars.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

livemap.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

liveness.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

llds_common.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

llds_out.m

Change the place in which the "#include" for a module's ".h" file is placed

1997-07-29 01:03:38 +00:00

llds.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

lookup_switch.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

make_hlds.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

make_tags.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

mercury_compile.m

Change the place in which the "#include" for a module's ".h" file is placed

1997-07-29 01:03:38 +00:00

mercury_to_c.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

mercury_to_goedel.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

mercury_to_mercury.m

Fix typo in previous change.

1997-08-08 20:52:10 +00:00

middle_rec.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

Mmakefile

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

mode_debug.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

mode_errors.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

mode_info.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

mode_util.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

modecheck_call.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

modecheck_unify.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

modes.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

module_qual.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

modules.m

Fix spelling error in comment.

1997-08-06 04:40:26 +00:00

opt_debug.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

opt_util.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

optimize.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

options.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

passes_aux.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

peephole.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

polymorphism.m

Fix another bug in the recalculation of the non-local variables:

1997-08-09 05:01:28 +00:00

pragma_c_gen.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

prog_data.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

prog_io_dcg.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

prog_io_goal.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

prog_io_pragma.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

prog_io_util.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

prog_io.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

prog_out.m

Fix a "the The" in a comment introduced by my previous change.

1997-07-27 15:16:38 +00:00

prog_util.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

quantification.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

saved_vars.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

simplify.m

Fix a bug where the code generator complained about `nondet

1997-08-09 01:49:39 +00:00

source_stats.awk

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

special_pred.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

store_alloc.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

stratify.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

string_switch.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

switch_detection.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

switch_gen.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

tag_switch.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

transform.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

tree.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

type_util.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

typecheck.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

unify_gen.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

unify_proc.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

unique_modes.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

unused_args.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

value_number.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

vn_block.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

vn_cost.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

vn_debug.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

vn_filter.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

vn_flush.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

vn_livemap.m

…

vn_order.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

vn_table.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

vn_temploc.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

vn_type.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

vn_util.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00

vn_verify.m

Update the copyright messages so that (a) they contain the correct years

1997-07-27 15:09:59 +00:00