Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cs.utexas.edu!tut.cis.ohio-state.edu!ucbvax!bloom-beacon!eru!luth!sunic!enea!sommar
From: sommar@enea.se (Erland Sommarskog)
Newsgroups: comp.lang.misc
Subject: Assertions
Message-ID: <761@enea.se>
Date: 10 Feb 90 22:27:50 GMT
References: <14230@lambda.UUCP>
Organization: Enea Data AB, Sweden
Lines: 14

Jim Giles (jlg@lambda.UUCP) writes:
)Instead, the language sould provide some mechanism for
)making (checkable) assertions.  For example:
)
)      Assert(n>0 and n<=15)
)...
)Every time a language standard comes up for review, some recommendation
)like the above 'Assert' feature is brought up (it happened for both C
)and Fortran in the last few years).  I don't know what arguments have
)resulted in leaving such features out.

Sounds like you would like Eiffel.
-- 
Erland Sommarskog - ENEA Data, Stockholm - sommar@enea.se
Unix is a virus.