From b1d11bae7eb849388b76af012adacc402ed16b27 Mon Sep 17 00:00:00 2001 From: Jon Meow <46229924+jonmeow@users.noreply.github.com> Date: Mon, 17 May 2021 08:15:07 -0700 Subject: [PATCH] Fix 6c -> carbon ext (#536) Chandler reminded me of this, the `.carbon` extension is noted here: https://github.com/carbon-language/carbon-lang/tree/trunk/docs/design/code_and_name_organization#overview --- .pre-commit-config.yaml | 2 +- executable_semantics/BUILD | 2 +- .../testdata/{assignment_copy1.6c => assignment_copy1.carbon} | 0 .../testdata/{assignment_copy2.6c => assignment_copy2.carbon} | 0 executable_semantics/testdata/{block1.6c => block1.carbon} | 0 executable_semantics/testdata/{block2.6c => block2.carbon} | 0 executable_semantics/testdata/{break1.6c => break1.carbon} | 0 executable_semantics/testdata/{choice1.6c => choice1.carbon} | 0 .../testdata/{continue1.6c => continue1.carbon} | 0 ...ental_continuation1.6c => experimental_continuation1.carbon} | 0 ...ental_continuation2.6c => experimental_continuation2.carbon} | 0 ...ental_continuation3.6c => experimental_continuation3.carbon} | 0 ...ental_continuation4.6c => experimental_continuation4.carbon} | 0 ...ental_continuation5.6c => experimental_continuation5.carbon} | 0 ...ental_continuation6.6c => experimental_continuation6.carbon} | 0 ...ental_continuation7.6c => experimental_continuation7.carbon} | 0 ...ental_continuation8.6c => experimental_continuation8.carbon} | 0 ...ental_continuation9.6c => experimental_continuation9.carbon} | 0 executable_semantics/testdata/{fun1.6c => fun1.carbon} | 0 executable_semantics/testdata/{fun2.6c => fun2.carbon} | 0 executable_semantics/testdata/{fun3.6c => fun3.carbon} | 0 executable_semantics/testdata/{fun4.6c => fun4.carbon} | 0 executable_semantics/testdata/{fun5.6c => fun5.carbon} | 0 .../testdata/{fun6_fail_type.6c => fun6_fail_type.carbon} | 0 .../testdata/{fun_named_params.6c => fun_named_params.carbon} | 0 .../testdata/{fun_named_params2.6c => fun_named_params2.carbon} | 0 .../testdata/{fun_recur.6c => fun_recur.carbon} | 0 executable_semantics/testdata/{funptr1.6c => funptr1.carbon} | 0 .../testdata/{global_variable1.6c => global_variable1.carbon} | 0 .../testdata/{global_variable2.6c => global_variable2.carbon} | 0 .../testdata/{global_variable3.6c => global_variable3.carbon} | 0 .../testdata/{global_variable4.6c => global_variable4.carbon} | 0 .../testdata/{global_variable5.6c => global_variable5.carbon} | 0 .../testdata/{global_variable6.6c => global_variable6.carbon} | 0 .../testdata/{global_variable7.6c => global_variable7.carbon} | 0 .../testdata/{global_variable8.6c => global_variable8.carbon} | 0 executable_semantics/testdata/{if1.6c => if1.carbon} | 0 executable_semantics/testdata/{if2.6c => if2.carbon} | 0 executable_semantics/testdata/{if3.6c => if3.carbon} | 0 .../testdata/{match_any_int.6c => match_any_int.carbon} | 0 .../testdata/{match_int.6c => match_int.carbon} | 0 .../testdata/{match_int_default.6c => match_int_default.carbon} | 0 .../testdata/{match_type.6c => match_type.carbon} | 0 executable_semantics/testdata/{next.6c => next.carbon} | 0 .../testdata/{pattern_init.6c => pattern_init.carbon} | 0 .../{pattern_variable_fail.6c => pattern_variable_fail.carbon} | 0 executable_semantics/testdata/{record1.6c => record1.carbon} | 0 executable_semantics/testdata/{struct1.6c => struct1.carbon} | 0 executable_semantics/testdata/{struct2.6c => struct2.carbon} | 0 executable_semantics/testdata/{struct3.6c => struct3.carbon} | 0 executable_semantics/testdata/{tuple1.6c => tuple1.carbon} | 0 executable_semantics/testdata/{tuple2.6c => tuple2.carbon} | 0 executable_semantics/testdata/{tuple3.6c => tuple3.carbon} | 0 executable_semantics/testdata/{tuple4.6c => tuple4.carbon} | 0 executable_semantics/testdata/{tuple5.6c => tuple5.carbon} | 0 .../testdata/{tuple_assign.6c => tuple_assign.carbon} | 0 .../testdata/{tuple_equality.6c => tuple_equality.carbon} | 0 .../testdata/{tuple_equality2.6c => tuple_equality2.carbon} | 0 .../testdata/{tuple_equality3.6c => tuple_equality3.carbon} | 0 .../testdata/{tuple_match.6c => tuple_match.carbon} | 0 .../testdata/{tuple_match2.6c => tuple_match2.carbon} | 0 .../testdata/{tuple_match3.6c => tuple_match3.carbon} | 0 .../testdata/{type_compute.6c => type_compute.carbon} | 0 .../testdata/{type_compute2.6c => type_compute2.carbon} | 0 .../testdata/{type_compute3.6c => type_compute3.carbon} | 0 executable_semantics/testdata/{while1.6c => while1.carbon} | 0 executable_semantics/testdata/{zero.6c => zero.carbon} | 0 67 files changed, 2 insertions(+), 2 deletions(-) rename executable_semantics/testdata/{assignment_copy1.6c => assignment_copy1.carbon} (100%) rename executable_semantics/testdata/{assignment_copy2.6c => assignment_copy2.carbon} (100%) rename executable_semantics/testdata/{block1.6c => block1.carbon} (100%) rename executable_semantics/testdata/{block2.6c => block2.carbon} (100%) rename executable_semantics/testdata/{break1.6c => break1.carbon} (100%) rename executable_semantics/testdata/{choice1.6c => choice1.carbon} (100%) rename executable_semantics/testdata/{continue1.6c => continue1.carbon} (100%) rename executable_semantics/testdata/{experimental_continuation1.6c => experimental_continuation1.carbon} (100%) rename executable_semantics/testdata/{experimental_continuation2.6c => experimental_continuation2.carbon} (100%) rename executable_semantics/testdata/{experimental_continuation3.6c => experimental_continuation3.carbon} (100%) rename executable_semantics/testdata/{experimental_continuation4.6c => experimental_continuation4.carbon} (100%) rename executable_semantics/testdata/{experimental_continuation5.6c => experimental_continuation5.carbon} (100%) rename executable_semantics/testdata/{experimental_continuation6.6c => experimental_continuation6.carbon} (100%) rename executable_semantics/testdata/{experimental_continuation7.6c => experimental_continuation7.carbon} (100%) rename executable_semantics/testdata/{experimental_continuation8.6c => experimental_continuation8.carbon} (100%) rename executable_semantics/testdata/{experimental_continuation9.6c => experimental_continuation9.carbon} (100%) rename executable_semantics/testdata/{fun1.6c => fun1.carbon} (100%) rename executable_semantics/testdata/{fun2.6c => fun2.carbon} (100%) rename executable_semantics/testdata/{fun3.6c => fun3.carbon} (100%) rename executable_semantics/testdata/{fun4.6c => fun4.carbon} (100%) rename executable_semantics/testdata/{fun5.6c => fun5.carbon} (100%) rename executable_semantics/testdata/{fun6_fail_type.6c => fun6_fail_type.carbon} (100%) rename executable_semantics/testdata/{fun_named_params.6c => fun_named_params.carbon} (100%) rename executable_semantics/testdata/{fun_named_params2.6c => fun_named_params2.carbon} (100%) rename executable_semantics/testdata/{fun_recur.6c => fun_recur.carbon} (100%) rename executable_semantics/testdata/{funptr1.6c => funptr1.carbon} (100%) rename executable_semantics/testdata/{global_variable1.6c => global_variable1.carbon} (100%) rename executable_semantics/testdata/{global_variable2.6c => global_variable2.carbon} (100%) rename executable_semantics/testdata/{global_variable3.6c => global_variable3.carbon} (100%) rename executable_semantics/testdata/{global_variable4.6c => global_variable4.carbon} (100%) rename executable_semantics/testdata/{global_variable5.6c => global_variable5.carbon} (100%) rename executable_semantics/testdata/{global_variable6.6c => global_variable6.carbon} (100%) rename executable_semantics/testdata/{global_variable7.6c => global_variable7.carbon} (100%) rename executable_semantics/testdata/{global_variable8.6c => global_variable8.carbon} (100%) rename executable_semantics/testdata/{if1.6c => if1.carbon} (100%) rename executable_semantics/testdata/{if2.6c => if2.carbon} (100%) rename executable_semantics/testdata/{if3.6c => if3.carbon} (100%) rename executable_semantics/testdata/{match_any_int.6c => match_any_int.carbon} (100%) rename executable_semantics/testdata/{match_int.6c => match_int.carbon} (100%) rename executable_semantics/testdata/{match_int_default.6c => match_int_default.carbon} (100%) rename executable_semantics/testdata/{match_type.6c => match_type.carbon} (100%) rename executable_semantics/testdata/{next.6c => next.carbon} (100%) rename executable_semantics/testdata/{pattern_init.6c => pattern_init.carbon} (100%) rename executable_semantics/testdata/{pattern_variable_fail.6c => pattern_variable_fail.carbon} (100%) rename executable_semantics/testdata/{record1.6c => record1.carbon} (100%) rename executable_semantics/testdata/{struct1.6c => struct1.carbon} (100%) rename executable_semantics/testdata/{struct2.6c => struct2.carbon} (100%) rename executable_semantics/testdata/{struct3.6c => struct3.carbon} (100%) rename executable_semantics/testdata/{tuple1.6c => tuple1.carbon} (100%) rename executable_semantics/testdata/{tuple2.6c => tuple2.carbon} (100%) rename executable_semantics/testdata/{tuple3.6c => tuple3.carbon} (100%) rename executable_semantics/testdata/{tuple4.6c => tuple4.carbon} (100%) rename executable_semantics/testdata/{tuple5.6c => tuple5.carbon} (100%) rename executable_semantics/testdata/{tuple_assign.6c => tuple_assign.carbon} (100%) rename executable_semantics/testdata/{tuple_equality.6c => tuple_equality.carbon} (100%) rename executable_semantics/testdata/{tuple_equality2.6c => tuple_equality2.carbon} (100%) rename executable_semantics/testdata/{tuple_equality3.6c => tuple_equality3.carbon} (100%) rename executable_semantics/testdata/{tuple_match.6c => tuple_match.carbon} (100%) rename executable_semantics/testdata/{tuple_match2.6c => tuple_match2.carbon} (100%) rename executable_semantics/testdata/{tuple_match3.6c => tuple_match3.carbon} (100%) rename executable_semantics/testdata/{type_compute.6c => type_compute.carbon} (100%) rename executable_semantics/testdata/{type_compute2.6c => type_compute2.carbon} (100%) rename executable_semantics/testdata/{type_compute3.6c => type_compute3.carbon} (100%) rename executable_semantics/testdata/{while1.6c => while1.carbon} (100%) rename executable_semantics/testdata/{zero.6c => zero.carbon} (100%) 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