Branch: refs/heads/master
Revision: 49f818a
Author: vasslitvinov
Log Message:
Merge pull request #17119 from vasslitvinov/ucol-cg-test-syntax
Adjust CG tests from U. Colorado collaboration
These CG tests were added in #17018.
The bulk of the changes is in updating to the currently-implemented syntax:
- remove
typekeyword in interface formals lists - use
where implements IFC1(T1) && implements IFC2(T2)
instead ofwhere IFC(T)orwhere implements IFC1(T1), IFC2(T2)
Other changes:
- added .notest to 1 test as I am unsure how or whether to test the desired
feature, as it relates to unconstrained generics - futurized a couple of tests because of unresolved or currently-leaning-
the-opposite-direction features - futurized a couple of tests because the compiler crashes
- removed a couple of duplicate tests
These tests remain NOTEST-ed, as the majority of them fail because they use
a required function with non-void return type. I suggest enabling testing
once this feature is implemented.
The remote second feature that is not implemented is generic implements
statement, ex. R implements IFC; where R is a generic record or a class.
Even if it is a class, this could be a generic declaration over memory
management and/or nilability.
Modified Files:
A test/constrained-generics/ucol/cwailes-2/tier_2_model_lookup_w_scope.bad
A test/constrained-generics/ucol/cwailes-2/tier_2_model_lookup_w_scope.future
A test/constrained-generics/ucol/cwailes-2/tier_2_single_interface_multi_model.bad
A test/constrained-generics/ucol/cwailes-2/tier_2_single_interface_multi_model.future
A test/constrained-generics/ucol/cwailes-2/tier_3_unguarded_generic_conversion.notest
A test/constrained-generics/ucol/jsiek/definition_time_resolution.bad
A test/constrained-generics/ucol/jsiek/definition_time_resolution.future
A test/constrained-generics/ucol/jturner-1/min_concept_bad_implements.good
A test/constrained-generics/ucol/jturner-2/calling_simple_generic.bad
A test/constrained-generics/ucol/jturner-2/calling_simple_generic.future
R test/constrained-generics/ucol/cwailes-2/uncalledFunc.chpl
R test/constrained-generics/ucol/cwailes-2/uncalledFunc.good
R test/constrained-generics/ucol/jturner-1/min_concept_class.chpl
R test/constrained-generics/ucol/jturner-1/min_concept_class.good
R test/constrained-generics/ucol/jturner-1/min_concept_named.chpl
R test/constrained-generics/ucol/jturner-1/min_concept_named.good
R test/constrained-generics/ucol/jturner-1/min_concept_no_impl_stmt.chpl
R test/constrained-generics/ucol/jturner-1/min_concept_no_impl_stmt.good
R test/constrained-generics/ucol/jturner-1/min_concept_num_coerce.chpl
R test/constrained-generics/ucol/jturner-1/min_concept_num_coerce.good
R test/constrained-generics/ucol/jturner-1/min_concept_num_coerce2.chpl
R test/constrained-generics/ucol/jturner-1/min_concept_num_coerce2.good
R test/constrained-generics/ucol/jturner-1/min_concept_record.chpl
R test/constrained-generics/ucol/jturner-1/min_concept_record.good
R test/constrained-generics/ucol/jturner-2/multidict_in_fun.chpl
R test/constrained-generics/ucol/jturner-2/multidict_in_fun.good
R test/constrained-generics/ucol/jturner-2/multifun_in_dict.chpl
R test/constrained-generics/ucol/jturner-2/multifun_in_dict.good
R test/constrained-generics/ucol/neelam/min_concept_class.chpl
R test/constrained-generics/ucol/neelam/min_concept_class.good
M test/constrained-generics/ucol/cwailes-1/tier_1_auto_promote.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_class_type.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_function_not_in_model.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_function_not_in_model.good
M test/constrained-generics/ucol/cwailes-1/tier_1_implements_failure.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_implements_failure.good
M test/constrained-generics/ucol/cwailes-1/tier_1_int_32.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_inter_w_oper.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_inter_w_oper_no_impl_stmt.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_interface_method.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_min_concept.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_model_resolution.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_multi_function_interface.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_multi_interface.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_named_argument_alignment.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_no_impl_stmt.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_num_coerce1.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_num_coerce2.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_record_type.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_subtyping_0.chpl
M test/constrained-generics/ucol/cwailes-1/tier_1_subtyping_1.chpl
M test/constrained-generics/ucol/cwailes-2/tier_2_increasing_constraints.chpl
M test/constrained-generics/ucol/cwailes-2/tier_2_independent_check_single_model.chpl
M test/constrained-generics/ucol/cwailes-2/tier_2_model_duplication.chpl
M test/constrained-generics/ucol/cwailes-2/tier_2_model_lookup_w_scope.chpl
M test/constrained-generics/ucol/cwailes-2/tier_2_simple_model_passing.chpl
M test/constrained-generics/ucol/cwailes-2/tier_2_single_interface_multi_model.chpl
M test/constrained-generics/ucol/cwailes-2/tier_3_prefer_constrained.chpl
M test/constrained-generics/ucol/cwailes-2/tier_3_prefer_unconstrained_when_no_impl.chpl
M test/constrained-generics/ucol/cwailes-2/tier_3_unguarded_generic_conversion.chpl
M test/constrained-generics/ucol/jsiek/definition_time_resolution.chpl
M test/constrained-generics/ucol/jsiek/generic_calling_generic.chpl
M test/constrained-generics/ucol/jsiek/test_method_in_interface.chpl
M test/constrained-generics/ucol/jturner-1/min_concept_1.chpl
M test/constrained-generics/ucol/jturner-1/min_concept_auto_promote.chpl
M test/constrained-generics/ucol/jturner-1/min_concept_bad_function.chpl
M test/constrained-generics/ucol/jturner-1/min_concept_bad_implements.chpl
M test/constrained-generics/ucol/jturner-1/min_concept_int_32.chpl
M test/constrained-generics/ucol/jturner-1/min_concept_oper.chpl
M test/constrained-generics/ucol/jturner-1/min_concept_oper_no_impl_stmt.chpl
M test/constrained-generics/ucol/jturner-1/min_concept_record_generic.chpl
M test/constrained-generics/ucol/jturner-1/min_concept_simple_multi.chpl
M test/constrained-generics/ucol/jturner-1/min_concept_threaded_dict.chpl
M test/constrained-generics/ucol/jturner-1/min_concept_threaded_dict2.chpl
M test/constrained-generics/ucol/jturner-2/calling_simple_generic.chpl
M test/constrained-generics/ucol/jturner-2/proper_function_filtering.chpl
M test/constrained-generics/ucol/jturner-2/proper_function_filtering.good
M test/constrained-generics/ucol/neelam/min_concept_class_coercion.chpl
M test/constrained-generics/ucol/neelam/overloaded_min_with_implements.chpl
M test/constrained-generics/ucol/neelam/overloaded_min_without_implements.chpl
Compare: Comparing 129f6a166a1d...49f818a4723b · chapel-lang/chapel · GitHub