[MLton-commit] r4052

[Stephen Weeks]

Fixed bug in -show-basis, which was mistakenly outputting "where
datatype" instead of "where type".

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

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

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

Modified: mlton/trunk/mlton/elaborate/elaborate-env.fun
===================================================================
--- mlton/trunk/mlton/elaborate/elaborate-env.fun	2005-08-30 06:08:03 UTC (rev 4051)
+++ mlton/trunk/mlton/elaborate/elaborate-env.fun	2005-08-30 20:31:20 UTC (rev 4052)
@@ -876,20 +876,20 @@
                                             ", "))),
                                str " "]
                      val t =
-                        case TypeStr.node s of
-                           TypeStr.Datatype _ => "datatype"
-                         | _ =>
-                              if isWhere
-                                 then "type"
-                              else
-                                 let
-                                    datatype z = datatype AdmitsEquality.t
-                                 in
-                                    case TypeStr.admitsEquality s of
-                                       Always => "eqtype"
-                                     | Never => "type"
-                                     | Sometimes => "eqtype"   
-                                 end
+                        if isWhere then
+                           "type"
+                        else
+                           (case TypeStr.node s of
+                               TypeStr.Datatype _ => "datatype"
+                             | _ =>
+                                  let
+                                     datatype z = datatype AdmitsEquality.t
+                                  in
+                                     case TypeStr.admitsEquality s of
+                                        Always => "eqtype"
+                                      | Never => "type"
+                                      | Sometimes => "eqtype"   
+                                  end)
                      val def = seq [str t, str " ", args, name, str " = "]
                      val res = 
                         case TypeStr.node s of