Re: Safety and power in languages

salomon@silver.cs.umanitoba.ca (Daniel J. Salomon) writes:


> ...Ada requires that all variant records have an explicit discriminant...


      Maybe I am misunderstanding what you are saying here, but I think I
am not. Ada TYPES with variants must have explicit discriminants, but
objects of (constrained) subtypes do not need to contain discriminant
values. So it is possible to map a C union without discriminant to a
matching Ada type, but, as you indicate is required in C, the
programmer will have to know which view to take.


        I won't even ask why you would want to do such a silly thing,
since I have been forced to do it for the same reasons--usually
because some hardware designer got cute.


--


Robert I. Eachus


--

Return to the comp.compilers page.
Search the comp.compilers archives again.