5.5 Implicit coercion
Note
This section describes the implementation of MS-VBAL §5.5 Implicit coercion.
RDCore implements the MS-VBAL type-coercion rules through pattern-matching against its type system.
The rules are implemented verbatim, except for the resolved specification errors noted in RD-VBAL §5.5.1.2.1 Let-coercion between numeric types.
In this section
| § | Title | MS-VBAL |
|---|---|---|
| 5.5.1 | Let-coercion | §5.5.1 |
| 5.5.2 | Set-coercion — reserved | §5.5.2 |
⏮️ RD-VBAL §5.4.5.13 Name Statement | ⏭️ RD-VBAL §5.5.1 Let-coercion