From: dday@mimsy.UUCP
Subject: Re: language problem
Date: Fri, 3-Apr-87 09:49:16 EST [thread overview]
Date: Fri Apr 3 09:49:16 1987
Message-ID: <6109@mimsy.UUCP> (raw)
In-Reply-To: 12291368304.48.ROSENBLUM@Sierra.Stanford.EDU
In article <12291368304.48.ROSENBLUM@Sierra.Stanford.EDU> ROSENBLUM@SIERRA.STANFORD.EDU (David S. Rosenblum) writes:
>I think that the LRM is pretty clear on this point.
>
You are right, but it must have been missed by almost everybody.
I tried the same program out on DEC Ada V1.3; the results were
the same (the operation completed successfully without raising
CONSTRAINT_ERROR). But if it is impossible to efficiently handle
type and constraint checking for every possible pathological
boundary condition then I have to come down strongly in favor
of efficient implementation of constructs that programmers are
actually going to use.
--
UUCP: seismo!mimsy!dday Dennis Doubleday
CSNet: dday@mimsy University of Maryland
ARPA: dday@brillig.umd.edu College Park, MD 20742
Fan of: Chicago Cubs, Chicago Bears, OU Sooners (301) 454-6154
next prev parent reply other threads:[~1987-04-03 14:49 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <12291366595.33.BRYAN@Sierra.Stanford.EDU>
1987-04-02 20:22 ` language problem ROSENBLUM
1987-04-03 14:49 ` dday [this message]
1987-04-06 13:26 ` eric
1987-04-08 18:08 drw
-- strict thread matches above, loose matches on Subject: below --
1987-04-07 5:53 drw
1987-04-08 1:11 ` keith
1987-04-03 10:35 ms8k#
1987-04-01 23:58 ms8k#
1987-04-03 0:52 ` deller
1987-03-26 17:30 amiram
1987-04-01 15:05 ` joe
1987-04-01 20:12 ` cjh
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox