--- sml/trunk/src/compiler/FLINT/reps/typeoper.sml	1999/02/28 23:41:30	217
+++ sml/trunk/src/compiler/FLINT/reps/typeoper.sml	1999/03/02 08:12:06	218
@@ -17,7 +17,7 @@
   val tkAbs  : kenv * (tvar * tkind) list * lvar -> 
                   (kenv * (lexp * lexp -> lexp))
   val tcLexp : kenv -> tyc -> lexp
-  val tsLexp : kenv * tyc list -> lexp 
+  val tsLexp : kenv * tyc list -> (value list * (lexp -> lexp))
 
   val utgc   : tyc * kenv * tyc -> value -> lexp 
   val utgd   : tyc * kenv * tyc -> value -> lexp 
@@ -119,10 +119,9 @@
    in SELECT(u, i, x, RET [VAR x])
   end
 
-fun APPg(e1, e2) = 
+fun APPg (e1,(v2s,h2)) = 
   let val (v1, h1) = split e1
-      val (v2, h2) = split e2
-   in h1(h2(APP(v1, [v2])))
+   in h1(h2(APP(v1, v2s)))
   end
 
 fun RECORDg es =

<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: , h2) = split e2
-   in h1(h2(APP(v1, [v2])))
+   in h1(h2(APP(v1, v2s)))
   end
 
 fun RECORDg es =</div>
</div></div>
</body></html>