[MLton-commit] r4344

[Stephen Weeks]

Fixed bug:

  ElaborateEnv.functorClosure: firstTycons

functorClosure was mistakenly removing one element from the allTycons
list for each functor definition.


----------------------------------------------------------------------

U   mlton/trunk/mlton/elaborate/elaborate-env.fun

----------------------------------------------------------------------

Modified: mlton/trunk/mlton/elaborate/elaborate-env.fun
===================================================================
--- mlton/trunk/mlton/elaborate/elaborate-env.fun	2006-02-05 01:54:31 UTC (rev 4343)
+++ mlton/trunk/mlton/elaborate/elaborate-env.fun	2006-02-05 01:56:00 UTC (rev 4344)
@@ -3155,10 +3155,11 @@
                               fun loop cs =
                                  case cs of
                                     [] => Error.bug "ElaborateEnv.functorClosure: missing firstTycon"
-                                  | c :: cs =>
-                                       if Tycon.equals (c, firstTycon)
-                                          then cs
-                                       else loop cs
+                                  | c :: cs' =>
+                                       if Tycon.equals (c, firstTycon) then
+                                          cs
+                                       else
+                                          loop cs'
                            in
                               loop (!allTycons)
                            end