--- branches/pure-cfg/src/compiler/codegen/clang.sml	2011/03/14 19:56:40	622
+++ branches/pure-cfg/src/compiler/codegen/clang.sml	2011/03/15 17:04:53	623
@@ -21,8 +21,9 @@
       | T_Named of string
 
     val voidTy = T_Named "void"
-    val charPtr = T_Ptr(T_Num(RawTypes.RT_UInt8))
+    val charPtr = T_Ptr(T_Num(RawTypes.RT_UInt8))	(* FIXME: type error for signed char!*)
     val int32 = T_Num(RawTypes.RT_Int32)
+    val uint32 = T_Num(RawTypes.RT_UInt32)
     val int64 = T_Num(RawTypes.RT_Int64)
     val float = T_Num(RawTypes.RT_Float)
     val double = T_Num(RawTypes.RT_Double)
@@ -48,7 +49,7 @@
     and stm
       = S_Block of stm list		(* "{" stms "}" *)
       | S_Comment of string list
-      | S_Decl of ty * var * exp option	(* ty var [ '=' exp ]';' *)
+      | S_Decl of ty * var * initializer option	(* ty var [ '=' exp ]';' *)
       | S_Assign of exp * exp		(* lvalue '=' exp ';' *)
       | S_If of exp * stm * stm		(* 'if' exp stm 'else' stm *)
       | S_While of exp * stm		(* 'while' exp stm *)

<script type="text/javascript">//<![CDATA[
		function toggle_ffErrors() {
			var errorsblock = document.getElementById("ffErrorsBlock");
			var errorsgroup = document.getElementById("ffErrors");
			if (errorsblock.style.display == "none") {
				errorsblock.style.display = "block";
				errorsgroup.style.right = "10px";
			} else {
				errorsblock.style.display = "none";
				errorsgroup.style.right = "300px";
			}
		}
//]]></script>
<div id="ffErrors">
<a href="javascript:toggle_ffErrors();">Click to toggle</a>
<div id="ffErrorsBlock">
	<div class="error">does not end with &lt;/html&gt; tag</div>
	<div class="error">does not end with &lt;/body&gt; tag</div>
	<div class="info">The output has ended thus:  exp * stm * stm		(* 'if' exp stm 'else' stm *)
       | S_While of exp * stm		(* 'while' exp stm *)</div>
</div></div>
</body></html>