--- sml/trunk/src/compiler/MiscUtil/print/ppdec.sml	2002/05/10 20:40:33	1189
+++ sml/trunk/src/compiler/MiscUtil/print/ppdec.sml	2002/05/13 20:39:05	1190
@@ -79,8 +79,8 @@
        fun trueTycon (path: IP.path) =
 	    let val err = fn _ => fn _ => fn _ => (bug "trueTycon: unbound ")
 	     in case Lookup.lookTyc(static,ConvertPaths.invertIPath(path),err)
-		  of tyc as DEFtyc _ => tyc
-		   | _ => bug "trueTycon: not a DEFtyc"
+		  of DEFtyc x => SOME x
+		   | _ => NONE
 	    end
 
        fun isLazyBogus (SymPath.SPATH path) =
@@ -143,25 +143,23 @@
 
        and ppRvb (RVB{var, ...}) = ppVar var
 
-       and ppTb(DEFtyc{path,...}) =
-	    let val {path,tyfun=TYFUN{arity,body},...} =
-		    case trueTycon path of
-			DEFtyc x => x
-		      | _ => bug "ppTb:trueTycon"
-	    in
-		begin_block ppstrm CONSISTENT 0;
-		begin_block ppstrm INCONSISTENT 2;
-		add_string ppstrm "type"; 
-		ppFormals ppstrm arity; 
-		add_break ppstrm (1,0);
-		ppSym ppstrm (InvPath.last path); 
-		add_string ppstrm " ="; 
-		add_break ppstrm (1,0);
-		ppType static ppstrm body;
-		end_block ppstrm;
-	        add_newline ppstrm;
-		end_block ppstrm
-	    end
+       and ppTb (DEFtyc dt) =
+	   let val {path,tyfun=TYFUN{arity,body},...} =
+		   getOpt (trueTycon (#path dt), dt)
+	   in
+	       begin_block ppstrm CONSISTENT 0;
+	       begin_block ppstrm INCONSISTENT 2;
+	       add_string ppstrm "type"; 
+	       ppFormals ppstrm arity; 
+	       add_break ppstrm (1,0);
+	       ppSym ppstrm (InvPath.last path); 
+	       add_string ppstrm " ="; 
+	       add_break ppstrm (1,0);
+	       ppType static ppstrm body;
+	       end_block ppstrm;
+	       add_newline ppstrm;
+	       end_block ppstrm
+	   end
 	 | ppTb _ = bug "ppTb:DEFtyc"
 
 	and ppAbsTyc(GENtyc { path, arity, eq, ... }) =

<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:  ppstrm
+	   end
 	 | ppTb _ = bug &quot;ppTb:DEFtyc&quot;
 
 	and ppAbsTyc(GENtyc { path, arity, eq, ... }) =</div>
</div></div>
</body></html>