~sircmpwn/hare-specification unlisted

c59e3e24d6522b3a2a26ee5ba5a597c48c393fb4 — Drew DeVault a month ago d60d7d8
Casts & type assertions: provide type hint
1 files changed, 4 insertions(+), 0 deletions(-)

M language/expressions.tex
M language/expressions.tex => language/expressions.tex +4 -0
@@ 1072,6 1072,10 @@ form illustrates the precedence. The second and third forms (\terminal{:} and
fourth form (\terminal{is}) has a result type of \terminal{bool}.

\specsubsubitem
Each form shall provide the specified \nonterminal{type} as a type hint to its
\nonterminal{cast-expression}.

\specsubsubitem
The second form is a \textit{type cast}, and shall not fail. It shall cause the
execution environment to convert or interpret the value as another type.