Held Wednesday, October 16, 2002
Today we consider issues of type equivalence. That is, when two types can be treated as equivalent for purposes of assignment and function/procedure calls.
the samefor purposes of calls and assignment.
type t0 = record a: integer; b: integer end; t1 = record a: integer; b: real end; t2 = record a: integer; b: real end; t3 = record b: real; a; integer end; t4 = record c: integer; b: real end; t5 = record a: integer; b: real; c: integer; end; t6 = t1; var v0: t0; v1: t1; v2: t2; v3: t3; v4: t4; v5: t5; v6: t6; v7: record a: integer; b: real end; v8,v9: record a: integer; b: real end;
Thursday, 29 August 2002 [Samuel A. Rebelsky]
Wednesday, 16 October 2002 [Samuel A. Rebelsky]
I usually create these pages
on the fly, which means that I rarely
proofread them and they may contain bad grammar and incorrect details.
It also means that I tend to update them regularly (see the history for
more details). Feel free to contact me with any suggestions for changes.
This document was generated by
Siteweaver on Fri Dec 6 10:38:19 2002.
The source to the document was last modified on Wed Oct 16 10:44:34 2002.
This document may be found at