<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
  <META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
  <META NAME="GENERATOR" CONTENT="GtkHTML/3.16.1">
</HEAD>
<BODY>
<BR>
On Sat, 2008-03-29 at 00:05 -0700, Walter Bright wrote:
<BLOCKQUOTE TYPE=CITE>
<PRE>
<FONT COLOR="#000000">Janice Caron wrote:</FONT>
<FONT COLOR="#000000">&gt; I suggested that a declaration like</FONT>
<FONT COLOR="#000000">&gt; </FONT>
<FONT COLOR="#000000">&gt;     const int x = 5;</FONT>
<FONT COLOR="#000000">&gt; </FONT>
<FONT COLOR="#000000">&gt; should be interpretted by the compiler as if the statement had been</FONT>
<FONT COLOR="#000000">&gt; </FONT>
<FONT COLOR="#000000">&gt;     invariant int x = 5;</FONT>
<FONT COLOR="#000000">&gt; </FONT>

<FONT COLOR="#000000">Yeah, but I can see the bug report now: &quot;dammit, I typed it as const, </FONT>
<FONT COLOR="#000000">why is it coming out as invariant?&quot;</FONT>
</PRE>
</BLOCKQUOTE>
<BR>
The last thing I want is for the compiler in a statically typed language to just decide to change my type for me.
</BODY>
</HTML>