[MLton-commit] r6416

[Vesa Karvonen]

Fail on degenerate types.
----------------------------------------------------------------------

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	2008-02-26 11:09:20 UTC (rev 6415)
+++ mltonlib/trunk/com/ssh/generic/unstable/detail/value/some.sml	2008-02-26 11:26:27 UTC (rev 6416)
@@ -50,7 +50,7 @@
       fun C1 _ = getT
       val data = getS
 
-      val Y = Tie.function
+      fun Y ? = Tie.id (failing "degenerate type") ?
 
       fun op --> _ = fn () => failing "Some.-->"
       (* An alternative implementation would be