[MLton-commit] r6090

[Vesa Karvonen]

Workaround for the Real structures.

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

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds/mk-real-sane.fun
U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds/real.sig

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds/mk-real-sane.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds/mk-real-sane.fun	2007-10-25 12:34:01 UTC (rev 6089)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds/mk-real-sane.fun	2007-10-25 12:45:59 UTC (rev 6090)
@@ -10,6 +10,8 @@
       val unsupported = Fail "unsupported"
       val unsupported = fn _ => raise unsupported
    in
+      val radix = 2
+      val precision = 53
       val fromDecimal = unsupported
       val fromLarge = unsupported
       val fromLargeInt = unsupported

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds/real.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds/real.sig	2007-10-25 12:34:01 UTC (rev 6089)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/mlkit/workarounds/real.sig	2007-10-25 12:45:59 UTC (rev 6090)
@@ -6,6 +6,8 @@
 
 signature REAL = sig
    include REAL
+   val radix : int
+   val precision : int
    val fromDecimal : IEEEReal.decimal_approx -> real option
    val fromLarge : IEEEReal.rounding_mode -> LargeReal.real -> real
    val fromLargeInt : LargeInt.int -> real