Richard Smith e26bc32343 Change remaining uses of Bool to bool, following #750. (#1901) ...

The most significant change here is that explorer now uses the chosen spelling
rather than the old `Bool` spelling. Also update a few documentation examples
and some skeletal design docs to use the chosen spelling.

2022-08-03 17:55:34 -07:00

..

apply.carbon

Change remaining uses of Bool to bool, following #750. (#1901)

2022-08-03 17:55:34 -07:00

call_at_compile_time.carbon

Add a new kind of Witness value that carries an expression (#1324)

2022-06-10 14:16:54 -07:00

fail_implicit_conversion_extra_field.carbon

Initial support for generic parameters that are introduced in a function parameter list (#1247)

2022-05-12 08:48:19 -07:00

fail_implicit_conversion_missing_field.carbon

Initial support for generic parameters that are introduced in a function parameter list (#1247)

2022-05-12 08:48:19 -07:00

fail_missing_exclam.carbon

Error: track message and prefix/location separately. (#1529)

2022-07-26 15:08:19 -07:00

fail_not_addable.carbon

Fix test failure due to racing commits. (#1802)

2022-07-28 09:25:14 -07:00

fail_not_type.carbon

Added TypeCheckTypeExp() and changed function type literal and similar type-checking logic to use the new function (#1256)

2022-05-23 16:26:35 -07:00

fail_type_deduction_mismatch.carbon

Change remaining uses of Bool to bool, following #750. (#1901)

2022-08-03 17:55:34 -07:00

fail_type_deduction_unused.carbon

Move CHECK lines in tests next to the line that caused the output. (#1224)

2022-05-03 15:48:56 -07:00

generic_method.carbon

Support for as operator and user-defined As impls. (#1476)

2022-07-21 13:16:18 -07:00

implicit_conversion.carbon

Initial support for generic parameters that are introduced in a function parameter list (#1247)

2022-05-12 08:48:19 -07:00

non_generic_param.carbon

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00

nondeduced_generic_param.carbon

Initial support for generic parameters that are introduced in a function parameter list (#1247)

2022-05-12 08:48:19 -07:00

return_val.carbon

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00

swap.carbon

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00

tuple_map.carbon

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00

type_matching.carbon

Rename executable_semantics to explorer (#1188)

2022-04-29 13:20:25 -07:00