mercury

typeclasses

Re-enable the implied instance tests.

1998-02-04 03:23:18 +00:00

.cvsignore

Tell CVS to ignore the automatically generated files

1998-01-12 13:34:27 +00:00

address_of_builtins.exp

…

address_of_builtins.m

…

agg.exp

Add the regression test case for two bugs in higher-order

1997-05-27 06:20:57 +00:00

agg.m

Add the regression test case for two bugs in higher-order

1997-05-27 06:20:57 +00:00

bidirectional.exp

…

bidirectional.inp

…

bidirectional.m

Add import_module char', needed for type char'.

1997-07-03 08:47:12 +00:00

boyer.exp

Add a regression test for a performance bug that caused type

1997-06-10 04:03:58 +00:00

boyer.m

Add a regression test for a performance bug that caused type

1997-06-10 04:03:58 +00:00

c_write_string.exp

…

c_write_string.m

…

cc_nondet_disj.exp

…

cc_nondet_disj.inp

…

cc_nondet_disj.m

Remove support for term_to_type and type_to_term implemented as special

1997-05-20 02:09:15 +00:00

construct.exp

Update the test cases to reflect recent changes to io__write.

1997-04-28 15:52:30 +00:00

construct.m

Update the test cases to reflect recent changes to io__write.

1997-04-28 15:52:30 +00:00

cqueue.m

New file. This is part of the eqv_type_bug test case,

1997-12-30 15:46:48 +00:00

curry2_test.m

Add some more tests of currying, to test the optimization

1996-12-09 14:31:49 +00:00

curry2.exp

Add some more tests of currying, to test the optimization

1996-12-09 14:31:49 +00:00

curry2.m

Add some more tests of currying, to test the optimization

1996-12-09 14:31:49 +00:00

curry.exp

…

curry.m

…

cycles.exp

Add new test case `cycles.m'; this is a regression test

1997-04-09 13:46:17 +00:00

cycles.m

Add import_module char', needed for type char'.

1997-07-03 08:47:12 +00:00

deep_copy_bug.exp

Change the expected output for writing out values of type `var'.

1997-05-26 10:32:10 +00:00

deep_copy_bug.m

Fix a bug that Tom reported where calling solutions/3 with an

1997-04-10 16:05:13 +00:00

dense_lookup_switch.exp

Test case where there is a switch which covers half the functors of a

1997-09-24 02:33:43 +00:00

dense_lookup_switch.m

Added a pragma(no_inline...) so that this test case _actually_ fails

1997-09-24 03:26:51 +00:00

det_in_semidet_cntxt.exp

Fix a bug. For the example code in the bug report, simplify.m simplified

1997-07-09 05:45:35 +00:00

det_in_semidet_cntxt.m

Fix a bug. For the example code in the bug report, simplify.m simplified

1997-07-09 05:45:35 +00:00

division_test.exp

Clean up the handlng of integer division and remainder.

1997-03-21 10:57:45 +00:00

division_test.m

Fix a bug in the definition of `div'.

1997-11-24 15:27:33 +00:00

elim_special_pred.exp

Commit these files, I had forgotten to `cvs add' them last time.

1997-02-20 23:04:10 +00:00

elim_special_pred.m

Use function det_argument/2 instead of pred det_arg/3.

1997-05-17 18:54:41 +00:00

eqv_type_bug.exp

Fix a bug in ML_create_type_info():

1997-12-30 06:42:25 +00:00

eqv_type_bug.m

Fix a bug in ML_create_type_info():

1997-12-30 06:42:25 +00:00

erroneous_liveness.exp

Fix a bug which caused the code generator to fail on certain

1997-08-23 20:35:08 +00:00

erroneous_liveness.inp

Fix a bug which caused the code generator to fail on certain

1997-08-23 20:35:08 +00:00

erroneous_liveness.m

Fix a bug which caused the code generator to fail on certain

1997-08-23 20:35:08 +00:00

error_func.exp

When inlining calls, use the goalinfo from the body of

1997-07-09 08:21:09 +00:00

error_func.m

Rename time.m as benchmarking.m.

1997-07-28 10:08:00 +00:00

expand.exp

Update the test cases to reflect recent changes to io__write.

1997-04-28 15:52:30 +00:00

expand.m

Various bits of cleaning up.

1997-06-04 09:59:57 +00:00

export_test.exp

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

1997-07-29 01:05:10 +00:00

export_test.m

Fix a bug: the `pragma c_code' declaration did not specify

1997-09-11 02:11:56 +00:00

float_map.exp

Bug fix: make sure that the transformation that keeps stack frames

1997-07-23 08:38:18 +00:00

float_map.m

Bug fix: make sure that the transformation that keeps stack frames

1997-07-23 08:38:18 +00:00

float_reg.exp

Add test cases for 1.0e10' and 1.0e30'.

1997-07-03 12:13:37 +00:00

float_reg.m

Add test cases for 1.0e10' and 1.0e30'.

1997-07-03 12:13:37 +00:00

float_rounding_bug.exp

…

float_rounding_bug.m

…

free_free_mode.exp

…

free_free_mode.m

Fix module names in :- module declarations.

1996-12-23 04:58:23 +00:00

func_and_pred.exp

…

func_and_pred.m

…

func_ctor_ambig.exp

Fix a bug which caused the compiler to generate incorrect

1998-02-19 03:17:16 +00:00

func_ctor_ambig.m

Fix a bug which caused the compiler to generate incorrect

1998-02-19 03:17:16 +00:00

func_test.exp

…

func_test.m

…

getopt_test.exp

Bug fix for getopt (from Philip Dart).

1997-07-08 06:44:07 +00:00

getopt_test.m

Bug fix for getopt (from Philip Dart).

1997-07-08 06:44:07 +00:00

ground_dd.exp

Fix a bug reported by Mark Brown that caused type_to_term

1998-01-22 07:12:30 +00:00

ground_dd.m

Fix a bug reported by Mark Brown that caused type_to_term

1998-01-22 07:12:30 +00:00

higher_order_func_test.exp

…

higher_order_func_test.m

Delete nondet/multi modes of the function `map_f',

1997-07-07 08:28:56 +00:00

higher_order_syntax.exp

Add some tests for the new higher-order syntax.

1996-12-10 08:51:36 +00:00

higher_order_syntax.m

Delete nondet/multi modes of the function `map_f',

1997-07-07 08:28:56 +00:00

higher_order_type_manip.exp

Add module qualifiers to names generated by the function

1997-08-05 04:38:19 +00:00

higher_order_type_manip.m

Allow the names of higher order types to be generated.

1997-07-16 15:57:00 +00:00

ho_func_reg.exp

Regression tests for 2 bugs.

1997-01-08 01:40:33 +00:00

ho_func_reg.m

Fix some errors in the function declarations found by

1997-07-24 01:02:16 +00:00

ho_order.exp

Bug fix.

1997-07-17 04:25:56 +00:00

ho_order.m

Document that lambda.m no longer reorders the arguments

1998-02-12 03:47:54 +00:00

ho_solns.exp

Add ho_solns test. Turn on this and some other tests.

1997-01-29 01:10:10 +00:00

ho_solns.m

Add ho_solns test. Turn on this and some other tests.

1997-01-29 01:10:10 +00:00

ho_univ_to_type.exp

Confirm, and fix an XXX in polymorphism.

1997-02-04 01:35:56 +00:00

ho_univ_to_type.m

Confirm, and fix an XXX in polymorphism.

1997-02-04 01:35:56 +00:00

imported_no_tag.m

Bug fixes for module qualified cons_ids.

1997-04-08 02:28:33 +00:00

impossible_unify.exp

Fix a bug in the handling of implied modes.

1997-09-15 21:13:17 +00:00

impossible_unify.m

Fix a bug in the handling of implied modes.

1997-09-15 21:13:17 +00:00

Mmakefile

Fix a bug which caused the compiler to generate incorrect

1998-02-19 03:17:16 +00:00

mode_choice.exp

Change the way mode analysis chooses which mode of a predicate to call.

1997-10-15 07:46:33 +00:00

mode_choice.m

Change the way mode analysis chooses which mode of a predicate to call.

1997-10-15 07:46:33 +00:00

name_mangling.exp

Update the test cases to reflect recent changes to io__write.

1997-04-28 15:52:30 +00:00

name_mangling.m

Fix a bug where having a type named `,'/2 caused an error in

1997-04-05 07:11:36 +00:00

no_fully_strict.exp

…

no_fully_strict.m

…

no_inline.exp

Implement `:- pragma no_inline'. This pragma prevents the compiler from

1997-06-27 04:05:22 +00:00

no_inline.m

Implement `:- pragma no_inline'. This pragma prevents the compiler from

1997-06-27 04:05:22 +00:00

nullary_ho_func.exp

Fix a small bug (wrong variable name) in the expected output

1997-08-17 21:44:42 +00:00

nullary_ho_func.m

Test the output of type_name/1 for nullary higher-order function

1997-08-15 15:36:56 +00:00

pragma_c_code.exp

…

pragma_c_code.m

Add `#include <stdio.h>', to avoid warnings now that it is

1997-02-12 03:49:05 +00:00

pragma_import.exp

Add support for `pragma import', which is a simplified form of

1998-01-09 11:56:29 +00:00

pragma_import.m

Add support for `pragma import', which is a simplified form of

1998-01-09 11:56:29 +00:00

pragma_inline.exp

…

pragma_inline.m

Remove support for term_to_type and type_to_term implemented as special

1997-05-20 02:09:15 +00:00

purity.exp

Fix inappropriate warning message for purity markers.

1998-01-06 06:31:42 +00:00

purity.m

Fix inappropriate warning message for purity markers.

1998-01-06 06:31:42 +00:00

qual_adv_test.exp

…

qual_adv_test.m

Various fixes to the test cases so that they work with `__'

1997-02-23 06:12:24 +00:00

qual_basic_test.exp

…

qual_basic_test.m

Various fixes to the test cases so that they work with `__'

1997-02-23 06:12:24 +00:00

qual_is_test_imported.m

…

qual_is_test.exp

…

qual_is_test.m

…

qual_strang.m

Various fixes to the test cases so that they work with `__'

1997-02-23 06:12:24 +00:00

qual_strung.m

Various fixes to the test cases so that they work with `__'

1997-02-23 06:12:24 +00:00

remove_file.exp

Update the expected output for this test case to reflect

1998-02-27 13:02:09 +00:00

remove_file.m

Fix a bug in io__remove_file_2 that was spotted by

1998-01-22 02:26:53 +00:00

reorder_di.exp

Fix a bug that caused the compiler to report spurious unique mode

1998-01-21 06:11:20 +00:00

reorder_di.m

Fix a bug that caused the compiler to report spurious unique mode

1998-01-21 06:11:20 +00:00

rev_arith.exp

…

rev_arith.m

…

reverse_arith.exp

…

reverse_arith.m

Fix module names in :- module declarations.

1996-12-23 04:58:23 +00:00

rnd.exp

Fix a bug that broke Tom's implementation of a random number generator at -O6.

1998-02-18 03:24:46 +00:00

rnd.m

Fix a bug that broke Tom's implementation of a random number generator at -O6.

1998-02-18 03:24:46 +00:00

runtests

If the tests succeeded, remove the `.allres' file, rather than

1997-07-14 03:18:46 +00:00

string_alignment.exp

…

string_alignment.m

Various fixes to the test cases so that they work with `__'

1997-02-23 06:12:24 +00:00

string_loop.exp

…

string_loop.m

…

test_imported_no_tag.exp

Bug fixes for module qualified cons_ids.

1997-04-08 02:28:33 +00:00

test_imported_no_tag.m

Bug fixes for module qualified cons_ids.

1997-04-08 02:28:33 +00:00

tim_qual1.exp

…

tim_qual1.m

…

tim_qual2.m

…

tim_qual3.m

…

write_reg1.exp

Add module qualifiers to names generated by the function

1997-08-05 04:38:19 +00:00

write_reg1.m

Regresion test.

1997-01-14 01:36:24 +00:00

write.exp

Add module qualifiers to names generated by the function

1997-08-05 04:38:19 +00:00

write.m

The main purpose of this change is to rename array.m as bt_array.m, and

1997-07-25 05:16:31 +00:00