[M3devel] "pragmas being ignorable"

[Jay K]

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

 > did not involve the correctness of the program.

 

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

important meaning and having ignorable meaning.

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

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

 

 

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

But I guess "behavior" and "correctness" are different?

A "correct" program will never fail an assert, therefore

removing them from a "correct" program makes no difference?

 

 

 - Jay

  		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20100222/cccdaa56/attachment-0002.html>