| .. |
|
apply.carbon
|
e26bc32343
Change remaining uses of `Bool` to `bool`, following #750. (#1901)
|
3 năm trước cách đây |
|
call_at_compile_time.carbon
|
b74d3f80f1
Add a new kind of Witness value that carries an expression (#1324)
|
3 năm trước cách đây |
|
fail_implicit_conversion_extra_field.carbon
|
c29f56e667
Initial support for generic parameters that are introduced in a function parameter list (#1247)
|
4 năm trước cách đây |
|
fail_implicit_conversion_missing_field.carbon
|
c29f56e667
Initial support for generic parameters that are introduced in a function parameter list (#1247)
|
4 năm trước cách đây |
|
fail_missing_exclam.carbon
|
7a67715ac5
Error: track message and prefix/location separately. (#1529)
|
3 năm trước cách đây |
|
fail_not_addable.carbon
|
f3127d2e83
Fix test failure due to racing commits. (#1802)
|
3 năm trước cách đây |
|
fail_not_type.carbon
|
f0a34e4bf7
Added TypeCheckTypeExp() and changed function type literal and similar type-checking logic to use the new function (#1256)
|
4 năm trước cách đây |
|
fail_type_deduction_mismatch.carbon
|
e26bc32343
Change remaining uses of `Bool` to `bool`, following #750. (#1901)
|
3 năm trước cách đây |
|
fail_type_deduction_unused.carbon
|
e85f45de10
Move CHECK lines in tests next to the line that caused the output. (#1224)
|
4 năm trước cách đây |
|
fail_wrong_variable_substituation.carbon
|
2c921efe36
Fix for: missing check that deduced argument converts to type of parameter #1300 (#1918)
|
3 năm trước cách đây |
|
generic_method.carbon
|
93e19649aa
Support for `as` operator and user-defined `As` impls. (#1476)
|
3 năm trước cách đây |
|
implicit_conversion.carbon
|
c29f56e667
Initial support for generic parameters that are introduced in a function parameter list (#1247)
|
4 năm trước cách đây |
|
non_generic_param.carbon
|
309ec35f95
Rename executable_semantics to explorer (#1188)
|
4 năm trước cách đây |
|
nondeduced_generic_param.carbon
|
c29f56e667
Initial support for generic parameters that are introduced in a function parameter list (#1247)
|
4 năm trước cách đây |
|
return_val.carbon
|
309ec35f95
Rename executable_semantics to explorer (#1188)
|
4 năm trước cách đây |
|
swap.carbon
|
309ec35f95
Rename executable_semantics to explorer (#1188)
|
4 năm trước cách đây |
|
tuple_map.carbon
|
309ec35f95
Rename executable_semantics to explorer (#1188)
|
4 năm trước cách đây |
|
type_matching.carbon
|
309ec35f95
Rename executable_semantics to explorer (#1188)
|
4 năm trước cách đây |