Fergus Henderson 90f11a0345 Improve the error message for type ambiguities that are due ...

Estimated hours taken: 1

compiler/typecheck.m:
	Improve the error message for type ambiguities that are due
	to the same predicate being defined in more than one module.

1996-04-17 13:03:42 +00:00

..

notes

Document the changes in the design of type-checking that were

1996-04-07 14:21:49 +00:00

.cvsignore

…

arg_info.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

atsort.m

…

call_gen.m

Fix the handling of builtins so that it takes module qualifiers into account.

1996-04-03 05:13:20 +00:00

call_graph.m

…

clause_to_proc.m

If there are no declared modes for a function, give it a default

1996-04-05 13:34:38 +00:00

code_aux.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

code_exprn.m

Do some more work on improving floating-point performance:

1996-04-07 07:41:52 +00:00

code_gen.pp

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

code_info.m

A bunch of cleanups: improve error messages, tidy up the code.

1996-04-05 18:19:17 +00:00

code_util.m

Add mercury_builtin:builtin_int_{lt,gt} to the list of builtin

1996-04-07 15:01:50 +00:00

common.m

…

constraint.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

cse_detection.m

Import `int' for '<'/2.

1996-04-15 07:48:22 +00:00

dead_proc_elim.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

delay_info.m

Made a start towards getting better code generated for nested creates

1996-04-05 08:27:21 +00:00

dense_switch.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

dependency_graph.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

det_analysis.m

Fix a typo which reflected a fundamental design error.

1996-04-11 01:02:48 +00:00

det_report.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

disj_gen.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

dnf.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

dupelim.m

…

excess.m

Documented the changed interfaces to list, std_util and graph.

1996-04-03 02:30:34 +00:00

exprn_aux.m

Do some more work on improving floating-point performance:

1996-04-07 07:41:52 +00:00

follow_code.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

follow_vars.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

frameopt.m

…

garbage_out.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

globals.m

…

goal_util.m

Documented the changed interfaces to list, std_util and graph.

1996-04-03 02:30:34 +00:00

graph_colour.m

…

handle_options.m

Import `int' for '<'/2.

1996-04-13 01:09:00 +00:00

higher_order.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

hlds_data.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

hlds_goal.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

hlds_module.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

hlds_out.m

Print out the map(var, type) from the proc_info as well as the

1996-04-12 23:22:03 +00:00

hlds_pred.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

hlds.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

implication.m

…

inlining.m

Remove an overly conservative sanity check introduced in my previous

1996-04-14 13:38:44 +00:00

inst_match.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

ite_gen.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

jumpopt.m

…

labelopt.m

Fix a typo which reflected a fundamental design error.

1996-04-11 01:02:48 +00:00

lambda.m

Re-enable the optimization of not introducing separate

1996-04-07 20:03:21 +00:00

live_vars.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

livemap.m

Factor out some more common cases.

1996-04-03 14:18:47 +00:00

liveness.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

llds.m

Replace the word_size option with the two options bits_per_word and

1996-04-16 06:03:45 +00:00

lookup_switch.m

Replace the word_size option with the two options bits_per_word and

1996-04-16 06:03:45 +00:00

make_hlds.m

Fix a bug reported by Zoltan: it was printing out a misleading error

1996-04-08 08:39:01 +00:00

make_tags.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

mercury_compile.pp

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

mercury_to_c.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

mercury_to_goedel.m

…

mercury_to_mercury.m

A bunch of cleanups: improve error messages, tidy up the code.

1996-04-05 18:19:17 +00:00

middle_rec.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

Mmake

…

mode_errors.m

A bunch of cleanups: improve error messages, tidy up the code.

1996-04-05 18:19:17 +00:00

mode_info.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

mode_util.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

modes.m

Fix a bug in inlining of polymorphic predicates, which showed up

1996-04-12 23:30:54 +00:00

modules.m

…

nit_builtin.m

…

no_builtin.m

…

opt_debug.m

Fix a typo which reflected a fundamental design error.

1996-04-11 01:02:48 +00:00

opt_util.m

Fix a typo which reflected a fundamental design error.

1996-04-11 01:02:48 +00:00

optimize.pp

…

options.m

Fixed a one-character bug that made all optimization levels into

1996-04-17 09:49:29 +00:00

passes_aux.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

peephole.m

Replace the word_size option with the two options bits_per_word and

1996-04-16 06:03:45 +00:00

polymorphism.m

A bunch of cleanups: improve error messages, tidy up the code.

1996-04-05 18:19:17 +00:00

prog_io.m

Remove most of the old hack which expanded calls to is/2 in the

1996-04-07 14:47:45 +00:00

prog_out.m

…

prog_util.m

Expand eqivalence types in `:- func' declarations.

1996-04-05 11:44:24 +00:00

quantification.m

Documented the changed interfaces to list, std_util and graph.

1996-04-03 02:30:34 +00:00

shapes.m

Fix a bug or two in the implementation of no_tag tags: to

1996-04-12 16:59:37 +00:00

source_stats.awk

…

special_pred.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

store_alloc.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

string_switch.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

switch_detection.m

Replace the word_size option with the two options bits_per_word and

1996-04-16 06:03:45 +00:00

switch_gen.m

Documented the changed interfaces to list, std_util and graph.

1996-04-03 02:30:34 +00:00

tag_switch.m

Replace the word_size option with the two options bits_per_word and

1996-04-16 06:03:45 +00:00

transform.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

tree.m

…

type_util.m

Fix a bug in inlining of polymorphic predicates, which showed up

1996-04-12 23:30:54 +00:00

typecheck.m

Improve the error message for type ambiguities that are due

1996-04-17 13:03:42 +00:00

undef_modes.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

undef_types.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

unify_gen.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

unify_proc.m

In the code generated for compare/3 predicates, call

1996-04-07 15:27:31 +00:00

unique_modes.m

Change the progress messages and error messages to print out

1996-04-03 11:52:34 +00:00

unused_args.m

Divided the old hlds.m into four files:

1996-04-02 12:12:24 +00:00

utils.m

…

value_number.m

Replace the word_size option with the two options bits_per_word and

1996-04-16 06:03:45 +00:00

vn_block.m

Replace the word_size option with the two options bits_per_word and

1996-04-16 06:03:45 +00:00

vn_cost.m

Replace the word_size option with the two options bits_per_word and

1996-04-16 06:03:45 +00:00

vn_debug.m

Replace the word_size option with the two options bits_per_word and

1996-04-16 06:03:45 +00:00

vn_filter.m

Add a file for which I did a "cvs add" in the wrong directory.

1996-04-17 00:07:40 +00:00

vn_flush.m

Replace the word_size option with the two options bits_per_word and

1996-04-16 06:03:45 +00:00

vn_livemap.m

…

vn_order.m

Replace the word_size option with the two options bits_per_word and

1996-04-16 06:03:45 +00:00

vn_table.m

Fix a typo which reflected a fundamental design error.

1996-04-11 01:02:48 +00:00

vn_temploc.m

Replace the word_size option with the two options bits_per_word and

1996-04-16 06:03:45 +00:00

vn_type.m

Replace the word_size option with the two options bits_per_word and

1996-04-16 06:03:45 +00:00

vn_util.m

Fix a typo which reflected a fundamental design error.

1996-04-11 01:02:48 +00:00

vn_verify.m

Replace the word_size option with the two options bits_per_word and

1996-04-16 06:03:45 +00:00