\startdesc{Cast expression}
\defref{cast expression}
\startlambda
- body :: targettype
+ body ▶ targettype
\stoplambda
A cast expression allows you to change the type of an expression to an
equivalent type. Note that this is not meant to do any actual work, like
The value of a cast is the value of its body, unchanged. The type of this
value is equal to the target type, not the type of its body.
- \todo{Move this paragraph}
+ \todo{Move and update this paragraph}
Note that this syntax is also used sometimes to indicate that a particular
expression has a particular type, even when no cast expression is
involved. This is then purely informational, since the only elements that
checking usage constraints on state variables.
\todo{Implementation issues: Separate compilation, simplified core.}
+
+% vim: set sw=2 sts=2 expandtab: