mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-16 01:43:35 +00:00
Code Issues Projects Releases Wiki Activity
Files
dde8c1f39648ef8d96fa848d760bd4fbc9c54c91
mercury/tests/typeclasses
History
Julien Fischer d0b64c87c7 Ignore files generated by MSVC. 
*/.gitignore:
   Ignore any increment linker files (.ilk) and program database (.pdb)
   file that MSVC generates.
2023-07-01 02:25:53 +10:00
..
.gitignore
Ignore files generated by MSVC.
2023-07-01 02:25:53 +10:00
abstract_instance.m
Fix programming style.
2020-12-30 20:13:00 +11:00
abstract_typeclass.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
arbitrary_constraint_class.exp
…
arbitrary_constraint_class.m
Replace uses of __ as a module qualifier.
2022-04-14 20:25:10 +10:00
arbitrary_constraint_pred_1.exp
…
arbitrary_constraint_pred_1.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
arbitrary_constraint_pred_2.exp
…
arbitrary_constraint_pred_2.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
complicated_constraint.exp
…
complicated_constraint.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
complicated_fundeps.exp
…
complicated_fundeps.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
constrained_lambda.exp
…
constrained_lambda.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
exist_disjunction.exp
…
exist_disjunction.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
existential_data_types_regr_test.exp
…
existential_data_types_regr_test.m
Replace uses of __ as a module qualifier.
2022-04-14 20:25:10 +10:00
existential_data_types.exp
…
existential_data_types.m
Replace uses of __ as a module qualifier.
2022-04-14 20:25:10 +10:00
existential_rtti.exp
…
existential_rtti.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
existential_type_classes.exp
…
existential_type_classes.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
existential_type_switch.exp
…
existential_type_switch.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
extra_typeinfo.exp
…
extra_typeinfo.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
extract_typeinfo2.exp
…
extract_typeinfo2.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
extract_typeinfo.exp
…
extract_typeinfo.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
func_default_mode_bug.exp
…
func_default_mode_bug.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
fundeps_1.exp
…
fundeps_1.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
fundeps_2.exp
…
fundeps_2.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
fundeps_3.exp
…
fundeps_3.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
fundeps_4.exp
…
fundeps_4.m
Clean up the tests in the other test directories.
2015-02-16 12:32:18 +11:00
fundeps_5.exp
…
fundeps_5.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
fundeps_6.exp
…
fundeps_6.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
fundeps_7.exp
…
fundeps_7.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
ground_constraint_2.exp
…
ground_constraint_2.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
ground_constraint.exp
…
ground_constraint.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
ho_map.exp
…
ho_map.m
Replace uses of __ as a module qualifier.
2022-04-14 20:25:10 +10:00
implied_instance_missing_constraint.exp
…
implied_instance_missing_constraint.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
implied_instance_multi_constraint.exp
…
implied_instance_multi_constraint.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
implied_instance_poly.exp
…
implied_instance_poly.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
implied_instance.exp
…
implied_instance.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
impure_methods.exp
…
impure_methods.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
inference_test_2.exp
…
inference_test_2.m
Remove "is" as a synonym for "=", step 1.
2020-08-21 10:42:37 +10:00
inference_test.exp
…
inference_test.m
Remove "is" as a synonym for "=", step 1.
2020-08-21 10:42:37 +10:00
instance_clauses.exp
…
instance_clauses.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
instance_unconstrained_tvar_dup.exp
…
instance_unconstrained_tvar_dup.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
instance_unconstrained_tvar_type_spec.exp
…
instance_unconstrained_tvar_type_spec.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
instance_unconstrained_tvar.exp
…
instance_unconstrained_tvar.m
Update typeclass testing.
2016-01-02 00:21:37 +11:00
intermod_typeclass_bug2.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
intermod_typeclass_bug.exp
…
intermod_typeclass_bug.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
lambda_multi_constraint_same_tvar.exp
…
lambda_multi_constraint_same_tvar.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
Mercury.options
…
Mmakefile
Make "mmake runtests" work again.
2020-06-10 01:05:15 +10:00
mode_decl_order_bug.exp
…
mode_decl_order_bug.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
module_test_m1.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
module_test_m2.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
module_test.exp
…
module_test.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
multi_constraint_diff_tvar.exp
…
multi_constraint_diff_tvar.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
multi_constraint_same_tvar.exp
…
multi_constraint_same_tvar.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
multi_moded.exp
…
multi_moded.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
multi_parameter_bug.exp
…
multi_parameter_bug.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
multi_parameter.exp
…
multi_parameter.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
no_fundep_infer.exp
…
no_fundep_infer.m
Clean up the tests in the other test directories.
2015-02-16 12:32:18 +11:00
nondet_class_method.exp
…
nondet_class_method.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
operator_classname.exp
…
operator_classname.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
record_syntax.exp
Clean up the tests in the other test directories.
2015-02-16 12:32:18 +11:00
record_syntax.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
recursive_instance_1.exp
…
recursive_instance_1.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
reordered_existential_constraint.exp
…
reordered_existential_constraint.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
submodule_consistency_tc.m
Clean up the tests in the other test directories.
2015-02-16 12:32:18 +11:00
submodule_consistency_tcin.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
submodule_consistency_tcin.sub.m
Clean up the tests in the other test directories.
2015-02-16 12:32:18 +11:00
submodule_consistency_test.exp
…
submodule_consistency_test.m
Clean up the tests in the other test directories.
2015-02-16 12:32:18 +11:00
superclass_bug2.exp
…
superclass_bug2.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
superclass_bug3.exp
…
superclass_bug3.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
superclass_bug.exp
…
superclass_bug.m
Replace uses of __ as a module qualifier.
2022-04-14 20:25:10 +10:00
superclass_call.exp
…
superclass_call.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
test_default_func_mode.exp
…
test_default_func_mode.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
tuple_instance.exp
…
tuple_instance.m
Replace uses of __ as a module qualifier.
2022-04-14 20:25:10 +10:00
type_spec_2.m
Clean up the tests in the other test directories.
2015-02-16 12:32:18 +11:00
type_spec.exp
…
type_spec.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
typeclass_exist_method_2.exp
…
typeclass_exist_method_2.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
typeclass_exist_method.exp
…
typeclass_exist_method.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
typeclass_order_bug2.exp
…
typeclass_order_bug2.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
typeclass_order_bug3.exp
…
typeclass_order_bug3.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
typeclass_order_bug.exp
…
typeclass_order_bug.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
typeclass_test_5.exp
…
typeclass_test_5.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
typeclass_test_6.exp
…
typeclass_test_6.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
unbound_tvar.exp
…
unbound_tvar.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
unqualified_method2.m
Check the type definitions in a module for consistency ...
2019-09-28 02:57:00 +10:00
unqualified_method3.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
unqualified_method.exp
…
unqualified_method.m
Update the style of many test cases.
2021-07-25 23:26:17 +10:00
use_abstract_instance.exp
…
use_abstract_instance.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00
use_abstract_typeclass.exp
…
use_abstract_typeclass.m
Update the style of some tests.
2020-11-16 12:52:33 +11:00