--- sml/trunk/src/compiler/ElabData/syntax/absyn.sml	2004/10/01 15:20:40	1640
+++ sml/trunk/src/compiler/ElabData/syntax/absyn.sml	2004/10/06 20:18:55	1641
@@ -30,14 +30,14 @@
   | VECTORexp of exp list * ty        
   | PACKexp of exp * ty * tycon list           (* abstraction packing *)
   | APPexp of exp * exp
-  | HANDLEexp of exp * handler
+  | HANDLEexp of exp * fnrules
   | RAISEexp of exp * ty              
   | CASEexp of exp * rule list * bool     (* true: match; false: bind *)
   | IFexp of { test: exp, thenCase: exp, elseCase: exp }
   | ANDALSOexp of exp * exp
   | ORELSEexp of exp * exp
   | WHILEexp of { test: exp, expr: exp }
-  | FNexp of rule list * ty         
+  | FNexp of fnrules
   | LETexp of dec * exp
   | SEQexp of exp list
   | CONSTRAINTexp of exp * ty         
@@ -45,8 +45,6 @@
 
 and rule = RULE of pat * exp
 
-and handler = HANDLER of exp
-
 and pat 
   = WILDpat
   | VARpat of var
@@ -129,5 +127,7 @@
 and strb = STRB of {name: S.symbol, str: Structure, def: strexp} 
 and fctb = FCTB of {name: S.symbol, fct: Functor, def: fctexp}
 
+withtype fnrules = rule list * Types.ty
+
 end (* local *)
 end

<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: ymbol, fct: Functor, def: fctexp}
 
+withtype fnrules = rule list * Types.ty
+
 end (* local *)
 end</div>
</div></div>
</body></html>