4 Commits

Author	SHA1	Message	Date
Luciano Almeida	22a18de1b1	[Sema] Improving integer literal as boolean diagnostic	2023-02-21 10:30:48 -03:00
Owen Voorhees	166555c34f	[Diagnostics] Better diagnostic for integer used as a boolean condition	2020-02-03 21:20:41 -08:00
Pavel Yaskevich	72b61f55bf	[Diagnostics] Tailored diagnostic for "condition" expression ... Since all condition expressions supposed to be convertible to `Bool`, let's use that type as contextual and produce a tailored diagnostic.	2019-09-20 12:37:35 -07:00
Marc Rasi	bf18697b4f	parsing, typechecking, and SILGen for #assert ... `#assert` is a new static assertion statement that will let us write tests for the new constant evaluation infrastructure that we are working on. `#assert` works by lowering to a `Builtin.poundAssert` SIL instruction. The constant evaluation infrastructure will look for these SIL instructions, const-evaluate their conditions, and emit errors if the conditions are non-constant or false. This commit implements parsing, typechecking and SILGen for `#assert`.	2018-11-07 16:34:17 -08:00