
<html>

<head>

<style><!--

.hmmessage P

{

margin:0px;

padding:0px

}

body.hmmessage

{

font-size: 10pt;

font-family:Verdana

}

--></style>

</head>

<body class='hmmessage'>

 > I thought that was the point of pragmas, that the compiler could freely ignore them and that they<BR>

 > did not involve the correctness of the program.<BR>

 <BR>

This confuses me. I'm not sure I see the line between having<BR>

important meaning and having ignorable meaning.<BR>

Is it like, they affect only codegen and diagnostics but not<BR>

front end type/semantic analysis? Like "inline" and "nowarn"?<BR>

 <BR>

 <BR>

<* asserts *> definitely change the behavior of a program.<BR>

But I guess "behavior" and "correctness" are different?<BR>

A "correct" program will never fail an assert, therefore<BR>

removing them from a "correct" program makes no difference?<BR>

 <BR>

 <BR>

 - Jay<BR>

<DIV> </DIV>                                     </body>

</html>