Re: Enumerated data types

In article <3621@goanna.cs.rmit.oz.au> ok@goanna.cs.rmit.OZ.AU (Richard A. O'Keefe) writes:
  > The thing which made overloading tricky in Algol 68 was that Algol 68
  > combined overloading with automatic coercions. Ada doesn't go in for
  > automatic coercion.


That is incorrect. Algol 68 allows overloading for operators only, and
coercions are not performed on operands of operators. For instance in
the context of:
'proc'('real','int')'real' + = ('real' r, 'int' i)'real': ....
the expression
1.0 + 1.0
can still not be resolved, i.e. widening does not take place. Similar
for other coercions. The only kind of coercions allowed for operands
is 'dereferencing', but that is common to other languages (and implicitly
also in Ada).


Ada is much trickier because overloading not only depends on operand
types (as in Algol 68) but also on result type.
--
dik t. winter, cwi, amsterdam, nederland
dik@cwi.nl
--

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