--- sml/trunk/src/cm/semant/primitive.sml	1999/06/28 08:46:30	357
+++ sml/trunk/src/cm/semant/primitive.sml	1999/06/28 13:59:11	358
@@ -96,6 +96,10 @@
     end
 
     fun configuration l = let
+	(* First we make the list into a map to become independent of the
+	 * order of the elements. *)
+	val m = foldl (fn (x: pspec, m) => StringMap.insert (m, #name x, x))
+	              StringMap.empty l
 	fun gen_pinfo ({ name, env, pidInfo }, i) = let
 	    val es2bs = GenericVC.CoerceEnv.es2bs
 	    val (da_env, mkExports) =
@@ -109,7 +113,7 @@
 	    (StringMap.insert (sm, #name ps, gen_pinfo (ps, i)),
 	     #name ps :: sl,
 	     i + 1)
-	val (sm, sl, _) = foldr one (StringMap.empty, [], 0) l
+	val (sm, sl, _) = StringMap.foldl one (StringMap.empty, [], 0) m
     in
 	(sm, Vector.fromList (rev sl))
     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: ) = StringMap.foldl one (StringMap.empty, [], 0) m
     in
 	(sm, Vector.fromList (rev sl))
     end</div>
</div></div>
</body></html>