--- sml/trunk/src/compiler/FLINT/reps/reify.sml	1999/02/28 23:41:30	217
+++ sml/trunk/src/compiler/FLINT/reps/reify.sml	1999/03/02 08:12:06	218
@@ -147,13 +147,6 @@
            | lpcon (DATAcon _) = bug "unexpected case in lpcon"
            | lpcon c = (c, ident)
     
-         (* lpev : lexp -> (value * (lexp -> lexp)) *)
-         and lpev (RET [v]) = (v, ident)
-           | lpev e = (* bug "lpev not implemented yet" *) 
-               let val x= mkv()
-                in (VAR x, fn y => LET([x], e, y))
-               end
-       
          (* loop: lexp -> lexp *)
          and loop le = 
            (case le
@@ -169,14 +162,14 @@
                    in hdr(ne1, loop e2)
                   end
               | TAPP(v, ts) => 
-                  let val (u, hdr) = lpev(LP.tsLexp(kenv, ts))
+                  let val (us, hdr) = LP.tsLexp(kenv, ts)
 
                       (* a temporary hack that fixes type mismatches *)
                       val lt = getlty v
                       val oldts = map ltf (#2 (LT.ltd_poly lt))
                       val newts = map ltf (LT.lt_inst(lt, ts))
                       val nhdr = mcast(oldts, newts)
-                   in nhdr (hdr (APP(v, [u])))
+                   in nhdr (hdr (APP(v, us)))
                   end
     
               | RECORD(RK_VECTOR tc, vs, v, e) =>

<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: r (hdr (APP(v, us)))
                   end
     
               | RECORD(RK_VECTOR tc, vs, v, e) =&gt;</div>
</div></div>
</body></html>