carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-09-25 06:30:09 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity
Files
0ca914a17a8675d8871a8506b275f62ba31880d9
carbon-lang/executable_semantics/testdata
T
History
Jon Meow 6ae9cc3cf8 Add support for return; (#678) 
This creates a ReturnExpression. A separate change should enforce that an implicit return of `()` is only allowed in functions that have an implicit return type of `()`, and I think the structure taken here should ease that.
2021-08-02 16:30:08 -07:00
..
assignment_copy1.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
assignment_copy1.golden
Experimental control-flow operator (#368)
2021-03-26 11:22:48 -04:00
assignment_copy2.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
assignment_copy2.golden
Experimental control-flow operator (#368)
2021-03-26 11:22:48 -04:00
block1.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
block1.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
block2.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
block2.golden
Experimental control-flow operator (#368)
2021-03-26 11:22:48 -04:00
break1.carbon
Require braces on control flow statements (#683)
2021-07-28 10:55:14 -07:00
break1.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
choice1.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
choice1.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
continue1.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
continue1.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
experimental_continuation1.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
experimental_continuation1.golden
Experimental control-flow operator (#368)
2021-03-26 11:22:48 -04:00
experimental_continuation2.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
experimental_continuation2.golden
Experimental control-flow operator (#368)
2021-03-26 11:22:48 -04:00
experimental_continuation3.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
experimental_continuation3.golden
Experimental control-flow operator (#368)
2021-03-26 11:22:48 -04:00
experimental_continuation4.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
experimental_continuation4.golden
Experimental control-flow operator (#368)
2021-03-26 11:22:48 -04:00
experimental_continuation5.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
experimental_continuation5.golden
Experimental control-flow operator (#368)
2021-03-26 11:22:48 -04:00
experimental_continuation6.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
experimental_continuation6.golden
Experimental control-flow operator (#368)
2021-03-26 11:22:48 -04:00
experimental_continuation7.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
experimental_continuation7.golden
Experimental control-flow operator (#368)
2021-03-26 11:22:48 -04:00
experimental_continuation8.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
experimental_continuation8.golden
Experimental control-flow operator (#368)
2021-03-26 11:22:48 -04:00
experimental_continuation9.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
experimental_continuation9.golden
Switch from llvm::errs()+exit() to FATAL_USER_ERROR() stream-based handling. (#670)
2021-07-28 10:47:33 -07:00
fun1.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
fun1.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
fun2.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
fun2.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
fun3.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
fun3.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
fun4.carbon
Fix 6c -> carbon ext (#536)
2021-05-17 08:15:07 -07:00
fun4.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
fun5.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
fun5.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
fun6_fail_type.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
fun6_fail_type.golden
Factor out a Pattern sum type from Expression (#685)
2021-07-30 12:24:12 -07:00
fun_named_params2.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
fun_named_params2.golden
Add a FatalUserError macro to help print user-caused errors. (#668)
2021-07-21 12:38:56 -07:00
fun_named_params.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
fun_named_params.golden
more tests of tuples, mixing positional and explicit field names (#480)
2021-04-21 17:23:16 -04:00
fun_recur.carbon
Require braces on control flow statements (#683)
2021-07-28 10:55:14 -07:00
fun_recur.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
funptr1.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
funptr1.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
generic_function1.carbon
Generic functions, first baby step (#658)
2021-07-22 15:16:56 -04:00
generic_function1.golden
Generic functions, first baby step (#658)
2021-07-22 15:16:56 -04:00
generic_function2.carbon
Generic functions, first baby step (#658)
2021-07-22 15:16:56 -04:00
generic_function2.golden
Generic functions, first baby step (#658)
2021-07-22 15:16:56 -04:00
generic_function3.carbon
Generic functions, first baby step (#658)
2021-07-22 15:16:56 -04:00
generic_function3.golden
Generic functions, first baby step (#658)
2021-07-22 15:16:56 -04:00
generic_function_apply.carbon
Generic functions, first baby step (#658)
2021-07-22 15:16:56 -04:00
generic_function_apply.golden
Generic functions, first baby step (#658)
2021-07-22 15:16:56 -04:00
generic_function_fail1.carbon
Generic functions, first baby step (#658)
2021-07-22 15:16:56 -04:00
generic_function_fail1.golden
Switch from llvm::errs()+exit() to FATAL_USER_ERROR() stream-based handling. (#670)
2021-07-28 10:47:33 -07:00
generic_function_fail2.carbon
Generic functions, first baby step (#658)
2021-07-22 15:16:56 -04:00
generic_function_fail2.golden
Generic functions, first baby step (#658)
2021-07-22 15:16:56 -04:00
generic_function_fail3.carbon
added a test for definition-side checking with expected failure (#673)
2021-07-23 11:42:07 -04:00
generic_function_fail3.golden
Switch from llvm::errs()+exit() to FATAL_USER_ERROR() stream-based handling. (#670)
2021-07-28 10:47:33 -07:00
generic_function_swap.carbon
Generic functions, first baby step (#658)
2021-07-22 15:16:56 -04:00
generic_function_swap.golden
Generic functions, first baby step (#658)
2021-07-22 15:16:56 -04:00
generic_function_tuple_map.carbon
Generic functions, first baby step (#658)
2021-07-22 15:16:56 -04:00
generic_function_tuple_map.golden
Generic functions, first baby step (#658)
2021-07-22 15:16:56 -04:00
global_variable1.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
global_variable1.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
global_variable2.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
global_variable2.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
global_variable3.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
global_variable3.golden
Switch from llvm::errs()+exit() to FATAL_USER_ERROR() stream-based handling. (#670)
2021-07-28 10:47:33 -07:00
global_variable4.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
global_variable4.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
global_variable5.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
global_variable5.golden
Switch from llvm::errs()+exit() to FATAL_USER_ERROR() stream-based handling. (#670)
2021-07-28 10:47:33 -07:00
global_variable6.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
global_variable6.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
global_variable7.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
global_variable7.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
global_variable8.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
global_variable8.golden
Switch from llvm::errs()+exit() to FATAL_USER_ERROR() stream-based handling. (#670)
2021-07-28 10:47:33 -07:00
if_else_if_else.carbon
Require braces on control flow statements (#683)
2021-07-28 10:55:14 -07:00
if_else_if_else.golden
Require braces on control flow statements (#683)
2021-07-28 10:55:14 -07:00
if_else_if.carbon
Require braces on control flow statements (#683)
2021-07-28 10:55:14 -07:00
if_else_if.golden
Require braces on control flow statements (#683)
2021-07-28 10:55:14 -07:00
if_else.carbon
Require braces on control flow statements (#683)
2021-07-28 10:55:14 -07:00
if_else.golden
Require braces on control flow statements (#683)
2021-07-28 10:55:14 -07:00
if_false.carbon
Require braces on control flow statements (#683)
2021-07-28 10:55:14 -07:00
if_false.golden
Require braces on control flow statements (#683)
2021-07-28 10:55:14 -07:00
if_nesting.carbon
Require braces on control flow statements (#683)
2021-07-28 10:55:14 -07:00
if_nesting.golden
Require braces on control flow statements (#683)
2021-07-28 10:55:14 -07:00
if_true.carbon
Require braces on control flow statements (#683)
2021-07-28 10:55:14 -07:00
if_true.golden
Require braces on control flow statements (#683)
2021-07-28 10:55:14 -07:00
ignored_parameter.carbon
Add support for _ placeholder. (#661)
2021-07-19 10:33:06 -07:00
ignored_parameter.golden
Add support for _ placeholder. (#661)
2021-07-19 10:33:06 -07:00
invalid_char.carbon
Handle invalid chars better, and do small cleanups around error output. (#657)
2021-07-20 12:04:45 -07:00
invalid_char.golden
Handle invalid chars better, and do small cleanups around error output. (#657)
2021-07-20 12:04:45 -07:00
match_any_int.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
match_any_int.golden
more tests of tuples, mixing positional and explicit field names (#480)
2021-04-21 17:23:16 -04:00
match_int_default.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
match_int_default.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
match_int.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
match_int.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
match_placeholder.carbon
Add support for _ placeholder. (#661)
2021-07-19 10:33:06 -07:00
match_placeholder.golden
Add support for _ placeholder. (#661)
2021-07-19 10:33:06 -07:00
next.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
next.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
no_match.carbon
Fix match bug when no case matches (#677)
2021-07-27 11:14:10 -07:00
no_match.golden
Fix match bug when no case matches (#677)
2021-07-27 11:14:10 -07:00
pattern_init.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
pattern_init.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
pattern_variable_fail.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
pattern_variable_fail.golden
Factor out a Pattern sum type from Expression (#685)
2021-07-30 12:24:12 -07:00
placeholder_variable.carbon
Add support for _ placeholder. (#661)
2021-07-19 10:33:06 -07:00
placeholder_variable.golden
Add support for _ placeholder. (#661)
2021-07-19 10:33:06 -07:00
record1.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
record1.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
return_empty_explicit.carbon
Add support for return; (#678)
2021-08-02 16:30:08 -07:00
return_empty_explicit.golden
Add support for return; (#678)
2021-08-02 16:30:08 -07:00
return_empty_implicit1.carbon
Add support for return; (#678)
2021-08-02 16:30:08 -07:00
return_empty_implicit1.golden
Add support for return; (#678)
2021-08-02 16:30:08 -07:00
return_empty_implicit2.carbon
Add support for return; (#678)
2021-08-02 16:30:08 -07:00
return_empty_implicit2.golden
Add support for return; (#678)
2021-08-02 16:30:08 -07:00
star.carbon
Add 3 '*' operators: one prefix, one infix, and one postfix, per #523. (#582)
2021-06-21 17:09:34 -07:00
star.golden
Add 3 '*' operators: one prefix, one infix, and one postfix, per #523. (#582)
2021-06-21 17:09:34 -07:00
struct1.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
struct1.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
struct2.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
struct2.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
struct3.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
struct3.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
struct_field_access_mismatch.carbon
Switch from llvm::errs()+exit() to FATAL_USER_ERROR() stream-based handling. (#670)
2021-07-28 10:47:33 -07:00
struct_field_access_mismatch.golden
Switch from llvm::errs()+exit() to FATAL_USER_ERROR() stream-based handling. (#670)
2021-07-28 10:47:33 -07:00
struct_field_mismatch.carbon
Switch from llvm::errs()+exit() to FATAL_USER_ERROR() stream-based handling. (#670)
2021-07-28 10:47:33 -07:00
struct_field_mismatch.golden
Fix tests affected by pattern change
2021-07-30 17:49:37 -07:00
struct_field_missing.carbon
Switch from llvm::errs()+exit() to FATAL_USER_ERROR() stream-based handling. (#670)
2021-07-28 10:47:33 -07:00
struct_field_missing.golden
Fix tests affected by pattern change
2021-07-30 17:49:37 -07:00
tuple1.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
tuple1.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
tuple2.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
tuple2.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
tuple3.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
tuple3.golden
more tests of tuples, mixing positional and explicit field names (#480)
2021-04-21 17:23:16 -04:00
tuple4.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
tuple4.golden
Add a FatalUserError macro to help print user-caused errors. (#668)
2021-07-21 12:38:56 -07:00
tuple5.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
tuple5.golden
Switch from llvm::errs()+exit() to FATAL_USER_ERROR() stream-based handling. (#670)
2021-07-28 10:47:33 -07:00
tuple_assign.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
tuple_assign.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
tuple_equality2.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
tuple_equality2.golden
Fix equality for tuples (#446)
2021-04-21 17:12:10 -04:00
tuple_equality3.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
tuple_equality3.golden
Switch from llvm::errs()+exit() to FATAL_USER_ERROR() stream-based handling. (#670)
2021-07-28 10:47:33 -07:00
tuple_equality.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
tuple_equality.golden
Fix equality for tuples (#446)
2021-04-21 17:12:10 -04:00
tuple_match2.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
tuple_match2.golden
more tests of tuples, mixing positional and explicit field names (#480)
2021-04-21 17:23:16 -04:00
tuple_match3.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
tuple_match3.golden
more tests of tuples, mixing positional and explicit field names (#480)
2021-04-21 17:23:16 -04:00
tuple_match.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
tuple_match.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
type_compute2.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
type_compute2.golden
Type computation tests (#511)
2021-05-05 14:46:10 -04:00
type_compute3.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
type_compute3.golden
Type computation tests (#511)
2021-05-05 14:46:10 -04:00
type_compute.carbon
Reverse 'type: identifier' to 'identifier: type' in executable
2021-06-02 11:33:50 -07:00
type_compute.golden
Type computation tests (#511)
2021-05-05 14:46:10 -04:00
while1.carbon
Require braces on control flow statements (#683)
2021-07-28 10:55:14 -07:00
while1.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00
zero.carbon
Fix 6c -> carbon ext (#536)
2021-05-17 08:15:07 -07:00
zero.golden
turn off tracing by default, change golden (#381)
2021-03-16 09:03:10 -04:00