From: firth@sei.cmu.edu (Robert Firth)
Subject: user-defined assignment
Date: 9 Dec 88 13:16:31 GMT [thread overview]
Message-ID: <7943@aw.sei.cmu.edu> (raw)
I don't want to become too embroiled in the current
debate about user-defined assignment, but one serious
misconception should, I feel, be corrected.
The ability to use ":=" as a subprogram designator
would in no way change the current strength or weakness
of Ada's typing model. The process of overload resolution
would check actuals against formals, just as it does for,
say, "+" at present. Naturally, a malicious implementor
could encode the body of ":=" so as to violate the typing
rules, just as an implementor of "+" can today.
next reply other threads:[~1988-12-09 13:16 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
1988-12-09 13:16 Robert Firth [this message]
1988-12-09 20:35 ` user-defined assignment David S. Rosenblum
-- strict thread matches above, loose matches on Subject: below --
1992-10-16 11:58 User-defined assignment St ef Van Vlierberghe
1992-10-16 23:13 dog.ee.lbl.gov!hellgate.utah.edu!cs.utexas.edu!qt.cs.utexas.edu!news.Brow
1992-10-17 17:57 dog.ee.lbl.gov!hellgate.utah.edu!caen!malgudi.oar.net!zaphod.mps.ohio-sta
1992-10-17 23:32 Tucker Taft
1992-10-18 19:29 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!darwin.sura.net!uvaarpa!soft
1992-10-19 7:31 Dag Bruck
1992-10-19 7:55 Dag Bruck
1992-10-19 14:13 Douglas N. Surber
1992-10-20 15:12 Rick Hudson
1992-10-21 23:42 dog.ee.lbl.gov!hellgate.utah.edu!caen!zaphod.mps.ohio-state.edu!rpi!bu.ed
1992-10-22 22:19 dog.ee.lbl.gov!hellgate.utah.edu!caen!zaphod.mps.ohio-state.edu!darwin.su
1992-10-29 18:20 Jack Beidler
1992-10-30 2:39 Alex Blakemore
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox