diff --git a/.pre-commit-config.yaml b/.pre-commit-config.yaml index 133c24869908..b72e5e420352 100644 --- a/.pre-commit-config.yaml +++ b/.pre-commit-config.yaml @@ -40,7 +40,7 @@ repos: Exceptions. See /LICENSE for license information. SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception - --custom_format - - '\.6c$' + - '\.carbon$' - '' - '// ' - '' diff --git a/executable_semantics/BUILD b/executable_semantics/BUILD index aa0653de86a6..162d91f0118d 100644 --- a/executable_semantics/BUILD +++ b/executable_semantics/BUILD @@ -94,7 +94,7 @@ EXAMPLES = [ [genrule( name = "%s_out" % e, - srcs = ["testdata/%s.6c" % e], + srcs = ["testdata/%s.carbon" % e], outs = ["testdata/%s.out" % e], # Suppress command errors. cmd = "$(location executable_semantics) $< > $@ 2>&1 || echo EXIT CODE: $$? >> $@", diff --git a/executable_semantics/testdata/assignment_copy1.6c b/executable_semantics/testdata/assignment_copy1.carbon similarity index 100% rename from executable_semantics/testdata/assignment_copy1.6c rename to executable_semantics/testdata/assignment_copy1.carbon diff --git a/executable_semantics/testdata/assignment_copy2.6c b/executable_semantics/testdata/assignment_copy2.carbon similarity index 100% rename from executable_semantics/testdata/assignment_copy2.6c rename to executable_semantics/testdata/assignment_copy2.carbon diff --git a/executable_semantics/testdata/block1.6c b/executable_semantics/testdata/block1.carbon similarity index 100% rename from executable_semantics/testdata/block1.6c rename to executable_semantics/testdata/block1.carbon diff --git a/executable_semantics/testdata/block2.6c b/executable_semantics/testdata/block2.carbon similarity index 100% rename from executable_semantics/testdata/block2.6c rename to executable_semantics/testdata/block2.carbon diff --git a/executable_semantics/testdata/break1.6c b/executable_semantics/testdata/break1.carbon similarity index 100% rename from executable_semantics/testdata/break1.6c rename to executable_semantics/testdata/break1.carbon diff --git a/executable_semantics/testdata/choice1.6c b/executable_semantics/testdata/choice1.carbon similarity index 100% rename from executable_semantics/testdata/choice1.6c rename to executable_semantics/testdata/choice1.carbon diff --git a/executable_semantics/testdata/continue1.6c b/executable_semantics/testdata/continue1.carbon similarity index 100% rename from executable_semantics/testdata/continue1.6c rename to executable_semantics/testdata/continue1.carbon diff --git a/executable_semantics/testdata/experimental_continuation1.6c b/executable_semantics/testdata/experimental_continuation1.carbon similarity index 100% rename from executable_semantics/testdata/experimental_continuation1.6c rename to executable_semantics/testdata/experimental_continuation1.carbon diff --git a/executable_semantics/testdata/experimental_continuation2.6c b/executable_semantics/testdata/experimental_continuation2.carbon similarity index 100% rename from executable_semantics/testdata/experimental_continuation2.6c rename to executable_semantics/testdata/experimental_continuation2.carbon diff --git a/executable_semantics/testdata/experimental_continuation3.6c b/executable_semantics/testdata/experimental_continuation3.carbon similarity index 100% rename from executable_semantics/testdata/experimental_continuation3.6c rename to executable_semantics/testdata/experimental_continuation3.carbon diff --git a/executable_semantics/testdata/experimental_continuation4.6c b/executable_semantics/testdata/experimental_continuation4.carbon similarity index 100% rename from executable_semantics/testdata/experimental_continuation4.6c rename to executable_semantics/testdata/experimental_continuation4.carbon diff --git a/executable_semantics/testdata/experimental_continuation5.6c b/executable_semantics/testdata/experimental_continuation5.carbon similarity index 100% rename from executable_semantics/testdata/experimental_continuation5.6c rename to executable_semantics/testdata/experimental_continuation5.carbon diff --git a/executable_semantics/testdata/experimental_continuation6.6c b/executable_semantics/testdata/experimental_continuation6.carbon similarity index 100% rename from executable_semantics/testdata/experimental_continuation6.6c rename to executable_semantics/testdata/experimental_continuation6.carbon diff --git a/executable_semantics/testdata/experimental_continuation7.6c b/executable_semantics/testdata/experimental_continuation7.carbon similarity index 100% rename from executable_semantics/testdata/experimental_continuation7.6c rename to executable_semantics/testdata/experimental_continuation7.carbon diff --git a/executable_semantics/testdata/experimental_continuation8.6c b/executable_semantics/testdata/experimental_continuation8.carbon similarity index 100% rename from executable_semantics/testdata/experimental_continuation8.6c rename to executable_semantics/testdata/experimental_continuation8.carbon diff --git a/executable_semantics/testdata/experimental_continuation9.6c b/executable_semantics/testdata/experimental_continuation9.carbon similarity index 100% rename from executable_semantics/testdata/experimental_continuation9.6c rename to executable_semantics/testdata/experimental_continuation9.carbon diff --git a/executable_semantics/testdata/fun1.6c b/executable_semantics/testdata/fun1.carbon similarity index 100% rename from executable_semantics/testdata/fun1.6c rename to executable_semantics/testdata/fun1.carbon diff --git a/executable_semantics/testdata/fun2.6c b/executable_semantics/testdata/fun2.carbon similarity index 100% rename from executable_semantics/testdata/fun2.6c rename to executable_semantics/testdata/fun2.carbon diff --git a/executable_semantics/testdata/fun3.6c b/executable_semantics/testdata/fun3.carbon similarity index 100% rename from executable_semantics/testdata/fun3.6c rename to executable_semantics/testdata/fun3.carbon diff --git a/executable_semantics/testdata/fun4.6c b/executable_semantics/testdata/fun4.carbon similarity index 100% rename from executable_semantics/testdata/fun4.6c rename to executable_semantics/testdata/fun4.carbon diff --git a/executable_semantics/testdata/fun5.6c b/executable_semantics/testdata/fun5.carbon similarity index 100% rename from executable_semantics/testdata/fun5.6c rename to executable_semantics/testdata/fun5.carbon diff --git a/executable_semantics/testdata/fun6_fail_type.6c b/executable_semantics/testdata/fun6_fail_type.carbon similarity index 100% rename from executable_semantics/testdata/fun6_fail_type.6c rename to executable_semantics/testdata/fun6_fail_type.carbon diff --git a/executable_semantics/testdata/fun_named_params.6c b/executable_semantics/testdata/fun_named_params.carbon similarity index 100% rename from executable_semantics/testdata/fun_named_params.6c rename to executable_semantics/testdata/fun_named_params.carbon diff --git a/executable_semantics/testdata/fun_named_params2.6c b/executable_semantics/testdata/fun_named_params2.carbon similarity index 100% rename from executable_semantics/testdata/fun_named_params2.6c rename to executable_semantics/testdata/fun_named_params2.carbon diff --git a/executable_semantics/testdata/fun_recur.6c b/executable_semantics/testdata/fun_recur.carbon similarity index 100% rename from executable_semantics/testdata/fun_recur.6c rename to executable_semantics/testdata/fun_recur.carbon diff --git a/executable_semantics/testdata/funptr1.6c b/executable_semantics/testdata/funptr1.carbon similarity index 100% rename from executable_semantics/testdata/funptr1.6c rename to executable_semantics/testdata/funptr1.carbon diff --git a/executable_semantics/testdata/global_variable1.6c b/executable_semantics/testdata/global_variable1.carbon similarity index 100% rename from executable_semantics/testdata/global_variable1.6c rename to executable_semantics/testdata/global_variable1.carbon diff --git a/executable_semantics/testdata/global_variable2.6c b/executable_semantics/testdata/global_variable2.carbon similarity index 100% rename from executable_semantics/testdata/global_variable2.6c rename to executable_semantics/testdata/global_variable2.carbon diff --git a/executable_semantics/testdata/global_variable3.6c b/executable_semantics/testdata/global_variable3.carbon similarity index 100% rename from executable_semantics/testdata/global_variable3.6c rename to executable_semantics/testdata/global_variable3.carbon diff --git a/executable_semantics/testdata/global_variable4.6c b/executable_semantics/testdata/global_variable4.carbon similarity index 100% rename from executable_semantics/testdata/global_variable4.6c rename to executable_semantics/testdata/global_variable4.carbon diff --git a/executable_semantics/testdata/global_variable5.6c b/executable_semantics/testdata/global_variable5.carbon similarity index 100% rename from executable_semantics/testdata/global_variable5.6c rename to executable_semantics/testdata/global_variable5.carbon diff --git a/executable_semantics/testdata/global_variable6.6c b/executable_semantics/testdata/global_variable6.carbon similarity index 100% rename from executable_semantics/testdata/global_variable6.6c rename to executable_semantics/testdata/global_variable6.carbon diff --git a/executable_semantics/testdata/global_variable7.6c b/executable_semantics/testdata/global_variable7.carbon similarity index 100% rename from executable_semantics/testdata/global_variable7.6c rename to executable_semantics/testdata/global_variable7.carbon diff --git a/executable_semantics/testdata/global_variable8.6c b/executable_semantics/testdata/global_variable8.carbon similarity index 100% rename from executable_semantics/testdata/global_variable8.6c rename to executable_semantics/testdata/global_variable8.carbon diff --git a/executable_semantics/testdata/if1.6c b/executable_semantics/testdata/if1.carbon similarity index 100% rename from executable_semantics/testdata/if1.6c rename to executable_semantics/testdata/if1.carbon diff --git a/executable_semantics/testdata/if2.6c b/executable_semantics/testdata/if2.carbon similarity index 100% rename from executable_semantics/testdata/if2.6c rename to executable_semantics/testdata/if2.carbon diff --git a/executable_semantics/testdata/if3.6c b/executable_semantics/testdata/if3.carbon similarity index 100% rename from executable_semantics/testdata/if3.6c rename to executable_semantics/testdata/if3.carbon diff --git a/executable_semantics/testdata/match_any_int.6c b/executable_semantics/testdata/match_any_int.carbon similarity index 100% rename from executable_semantics/testdata/match_any_int.6c rename to executable_semantics/testdata/match_any_int.carbon diff --git a/executable_semantics/testdata/match_int.6c b/executable_semantics/testdata/match_int.carbon similarity index 100% rename from executable_semantics/testdata/match_int.6c rename to executable_semantics/testdata/match_int.carbon diff --git a/executable_semantics/testdata/match_int_default.6c b/executable_semantics/testdata/match_int_default.carbon similarity index 100% rename from executable_semantics/testdata/match_int_default.6c rename to executable_semantics/testdata/match_int_default.carbon diff --git a/executable_semantics/testdata/match_type.6c b/executable_semantics/testdata/match_type.carbon similarity index 100% rename from executable_semantics/testdata/match_type.6c rename to executable_semantics/testdata/match_type.carbon diff --git a/executable_semantics/testdata/next.6c b/executable_semantics/testdata/next.carbon similarity index 100% rename from executable_semantics/testdata/next.6c rename to executable_semantics/testdata/next.carbon diff --git a/executable_semantics/testdata/pattern_init.6c b/executable_semantics/testdata/pattern_init.carbon similarity index 100% rename from executable_semantics/testdata/pattern_init.6c rename to executable_semantics/testdata/pattern_init.carbon diff --git a/executable_semantics/testdata/pattern_variable_fail.6c b/executable_semantics/testdata/pattern_variable_fail.carbon similarity index 100% rename from executable_semantics/testdata/pattern_variable_fail.6c rename to executable_semantics/testdata/pattern_variable_fail.carbon diff --git a/executable_semantics/testdata/record1.6c b/executable_semantics/testdata/record1.carbon similarity index 100% rename from executable_semantics/testdata/record1.6c rename to executable_semantics/testdata/record1.carbon diff --git a/executable_semantics/testdata/struct1.6c b/executable_semantics/testdata/struct1.carbon similarity index 100% rename from executable_semantics/testdata/struct1.6c rename to executable_semantics/testdata/struct1.carbon diff --git a/executable_semantics/testdata/struct2.6c b/executable_semantics/testdata/struct2.carbon similarity index 100% rename from executable_semantics/testdata/struct2.6c rename to executable_semantics/testdata/struct2.carbon diff --git a/executable_semantics/testdata/struct3.6c b/executable_semantics/testdata/struct3.carbon similarity index 100% rename from executable_semantics/testdata/struct3.6c rename to executable_semantics/testdata/struct3.carbon diff --git a/executable_semantics/testdata/tuple1.6c b/executable_semantics/testdata/tuple1.carbon similarity index 100% rename from executable_semantics/testdata/tuple1.6c rename to executable_semantics/testdata/tuple1.carbon diff --git a/executable_semantics/testdata/tuple2.6c b/executable_semantics/testdata/tuple2.carbon similarity index 100% rename from executable_semantics/testdata/tuple2.6c rename to executable_semantics/testdata/tuple2.carbon diff --git a/executable_semantics/testdata/tuple3.6c b/executable_semantics/testdata/tuple3.carbon similarity index 100% rename from executable_semantics/testdata/tuple3.6c rename to executable_semantics/testdata/tuple3.carbon diff --git a/executable_semantics/testdata/tuple4.6c b/executable_semantics/testdata/tuple4.carbon similarity index 100% rename from executable_semantics/testdata/tuple4.6c rename to executable_semantics/testdata/tuple4.carbon diff --git a/executable_semantics/testdata/tuple5.6c b/executable_semantics/testdata/tuple5.carbon similarity index 100% rename from executable_semantics/testdata/tuple5.6c rename to executable_semantics/testdata/tuple5.carbon diff --git a/executable_semantics/testdata/tuple_assign.6c b/executable_semantics/testdata/tuple_assign.carbon similarity index 100% rename from executable_semantics/testdata/tuple_assign.6c rename to executable_semantics/testdata/tuple_assign.carbon diff --git a/executable_semantics/testdata/tuple_equality.6c b/executable_semantics/testdata/tuple_equality.carbon similarity index 100% rename from executable_semantics/testdata/tuple_equality.6c rename to executable_semantics/testdata/tuple_equality.carbon diff --git a/executable_semantics/testdata/tuple_equality2.6c b/executable_semantics/testdata/tuple_equality2.carbon similarity index 100% rename from executable_semantics/testdata/tuple_equality2.6c rename to executable_semantics/testdata/tuple_equality2.carbon diff --git a/executable_semantics/testdata/tuple_equality3.6c b/executable_semantics/testdata/tuple_equality3.carbon similarity index 100% rename from executable_semantics/testdata/tuple_equality3.6c rename to executable_semantics/testdata/tuple_equality3.carbon diff --git a/executable_semantics/testdata/tuple_match.6c b/executable_semantics/testdata/tuple_match.carbon similarity index 100% rename from executable_semantics/testdata/tuple_match.6c rename to executable_semantics/testdata/tuple_match.carbon diff --git a/executable_semantics/testdata/tuple_match2.6c b/executable_semantics/testdata/tuple_match2.carbon similarity index 100% rename from executable_semantics/testdata/tuple_match2.6c rename to executable_semantics/testdata/tuple_match2.carbon diff --git a/executable_semantics/testdata/tuple_match3.6c b/executable_semantics/testdata/tuple_match3.carbon similarity index 100% rename from executable_semantics/testdata/tuple_match3.6c rename to executable_semantics/testdata/tuple_match3.carbon diff --git a/executable_semantics/testdata/type_compute.6c b/executable_semantics/testdata/type_compute.carbon similarity index 100% rename from executable_semantics/testdata/type_compute.6c rename to executable_semantics/testdata/type_compute.carbon diff --git a/executable_semantics/testdata/type_compute2.6c b/executable_semantics/testdata/type_compute2.carbon similarity index 100% rename from executable_semantics/testdata/type_compute2.6c rename to executable_semantics/testdata/type_compute2.carbon diff --git a/executable_semantics/testdata/type_compute3.6c b/executable_semantics/testdata/type_compute3.carbon similarity index 100% rename from executable_semantics/testdata/type_compute3.6c rename to executable_semantics/testdata/type_compute3.carbon diff --git a/executable_semantics/testdata/while1.6c b/executable_semantics/testdata/while1.carbon similarity index 100% rename from executable_semantics/testdata/while1.6c rename to executable_semantics/testdata/while1.carbon diff --git a/executable_semantics/testdata/zero.6c b/executable_semantics/testdata/zero.carbon similarity index 100% rename from executable_semantics/testdata/zero.6c rename to executable_semantics/testdata/zero.carbon