[MLton-commit] r6006

[Vesa Karvonen]

Only structural cases in the layering functor argument.

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

U   mltonlib/trunk/com/ssh/generic/unstable/detail/value/some.sml

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

Modified: mltonlib/trunk/com/ssh/generic/unstable/detail/value/some.sml
===================================================================
--- mltonlib/trunk/com/ssh/generic/unstable/detail/value/some.sml	2007-09-06 14:20:02 UTC (rev 6005)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/some.sml	2007-09-06 14:21:11 UTC (rev 6006)
@@ -10,6 +10,8 @@
    infix 0 &
    (* SML/NJ workaround --> *)
 
+   fun iso' b (_, b2a) = b2a o b
+
    structure Some = LayerRep
      (structure Outer = Arg.Rep
       structure Closed = MkClosedRep (Thunk))
@@ -25,7 +27,6 @@
    structure Layered = LayerDepCases
      (structure Outer = Arg and Result = Some
 
-      fun iso' b (_, b2a) = b2a o b
       fun iso        ? = iso' (getT ?)
       fun isoProduct ? = iso' (getP ?)
       fun isoSum     ? = iso' (getS ?)