Path: utzoo!mnetor!tmsoft!torsqnt!lethe!yunexus!ists!helios.physics.utoronto.ca!news-server.csri.toronto.edu!cs.utexas.edu!uunet!decwrl!pa.dec.com!src.dec.com!src.dec.com!muller
From: muller@src.dec.com (Eric Muller)
Newsgroups: comp.lang.modula3
Subject: Re: Questions from a new advocate of Modula-3
Message-ID: <1991Feb8.121723.18611@src.dec.com>
Date: 8 Feb 91 20:17:23 GMT
References: <9102080401.AA29237@jumbo.pa.dec.com> <BBC.91Feb8074227@sicilia.rice.edu>
Sender: news@src.dec.com (News)
Reply-To: muller@src.dec.com (Eric Muller)
Organization: DEC Systems Research Center
Lines: 19

In article <BBC.91Feb8074227@sicilia.rice.edu>, Benjamin Chase writes:

> >SRC Modula-3 has an ASSERT pragma.
> 
> People are more likely to use assertions if they feel that
> there is no run-time penalty. 

The ASSERT pragma works like this:

	<* ASSERT boolean-expression *>

Normally, this is the same as:

    IF NOT boolean-expression THEN RuntimeError ("Assert Failed"); END;

If you compile your program with '-a', the pragma is ignored.

-- 
Eric.