* Derived Types, RM 3.4(11, 15)
@ 1987-01-22 9:13 Geoff Mendal
0 siblings, 0 replies; only message in thread
From: Geoff Mendal @ 1987-01-22 9:13 UTC (permalink / raw)
Dear Ada Fans-
It's hardly been a week since the last SIGAda and we're already
confused. Consider the following package spec:
package P is
type N is range 1 .. 10;
type D is new N; -- invalid
function "+" (L, R : in N) return N;
private
type E is new N; -- valid
end;
What is the rationale for the special rules in RM 3.4(15)? Why not
simply have predefined addition on type D and user-defined addition
on type E?
The rules on 3.4(15) are quite clear and obvious. The question is
what is their underlying rationale?
doug and geoff
-------
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1987-01-22 9:13 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1987-01-22 9:13 Derived Types, RM 3.4(11, 15) Geoff Mendal
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox