[MLton-commit] r6022

[Vesa Karvonen]

SML/NJ workaround.
----------------------------------------------------------------------

U   mltonlib/trunk/com/ssh/generic/unstable/detail/ty.sml

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

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/ty.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/ty.sml	2007-09-14 12:32:42 UTC (rev 6021)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/ty.sml	2007-09-14 17:42:16 UTC (rev 6022)
@@ -5,6 +5,10 @@
  *)
 
 structure Ty :> TY = struct
+   (* <-- SML/NJ workaround *)
+   open TopLevel
+   (* SML/NJ workaround --> *)
+
    structure Product = struct
       datatype 'elem t = TIMES       of 'elem t Sq.t
                        | ELEM        of 'elem
@@ -97,5 +101,5 @@
      | _           => false
 
    fun mayBeCyclic t =
-       (isMutableType andAlso (mayContainExn orElse mayBeRecData)) t
+       isMutableType t andalso (mayContainExn t orelse mayBeRecData t)
 end