generalized switch

[Frank Adams]

In article <2600072 at ccvaxa> aglew at ccvaxa.UUCP writes:
>C2 and C3 should not simultaneously hold if C1, for a deterministic 
>language. A compiler can easily generate checks for this.

A compiler can easily generate checks for certain simple cases of this.  It
cannot generate checks which are guaranteed to work; the problem is
undecidable in general.

Frank Adams                           ihnp4!philabs!pwa-b!mmintl!franka
Multimate International    52 Oakland Ave North    E. Hartford, CT 06108