Category:ALGOL 68: Difference between revisions

!rowspan=2| Coercion examples

|-

|-

!S<br>

* All parts (but one) of a balanced clause

* One side of an identity relation, as "~" in: <lang algol68> ~ IS ~</lang>

Widening occurs if there is no loss of precision. For example: An INT will be coerced to a REAL, and a REAL will be coerced to a LONG REAL. But not vice-versa. Examples:

<lang algol68>INT to LONG INT

*Operands of formulas as "~" in:<lang algol68>OP: ~ * ~</lang>

*Parameters of transput calls

<lang algol68>UNION(INT,REAL) var := 1</lang>

|-

<lang algol68>FROM ~ BY ~ TO ~ WHILE ~ DO ... OD etc</lang>

* Primaries of calls (e.g. sin in sin(x))

<lang algol68>REF REF BOOL to BOOL

REF REF REF INT to INT</lang>

* Primaries of slices, as in "~" in: <lang algol68>~[1:99]</lang>

* Secondaries of selections, as "~" in: <lang algol68>value OF ~</lang>

<lang algol68>REF BOOL to REF BOOL

REF REF INT to REF INT

t

|| The LHS of assignments, as "~" in: <lang algol68>~ := ...</lang>

* deproceduring of: <lang algol68>PROC REAL random: e.g. random</lang>

|}