[MLton-commit] r6124

[Vesa Karvonen]

Updated to compile with a patched Poly/ML.
----------------------------------------------------------------------

D   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/polyml/workarounds/mk-real-sane.fun
D   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/polyml/workarounds/real.sig
D   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/polyml/workarounds/reals.sml

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

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/polyml/workarounds/mk-real-sane.fun
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/polyml/workarounds/mk-real-sane.fun	2007-11-06 08:28:41 UTC (rev 6123)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/polyml/workarounds/mk-real-sane.fun	2007-11-06 10:57:03 UTC (rev 6124)
@@ -1,11 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-functor MkRealSane (R : REAL) = struct
-   open R
-   val fromDecimal' = fromDecimal
-   fun fromDecimal d = SOME (fromDecimal' d) handle _ => NONE
-end

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/polyml/workarounds/real.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/polyml/workarounds/real.sig	2007-11-06 08:28:41 UTC (rev 6123)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/polyml/workarounds/real.sig	2007-11-06 10:57:03 UTC (rev 6124)
@@ -1,75 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-signature REAL = sig
-   type real
-
-   structure Math : MATH where type real = real
-
-   val round : real -> Int.int
-   val trunc : real -> Int.int
-   val ceil : real -> Int.int
-   val floor : real -> Int.int
-
-   val != : real * real -> bool
-   val * : real * real -> real
-   val *+ : real * real * real -> real
-   val *- : real * real * real -> real
-   val + : real * real -> real
-   val - : real * real -> real
-   val / : real * real -> real
-   val <  : real * real -> bool
-   val <= : real * real -> bool
-   val == : real * real -> bool
-   val >  : real * real -> bool
-   val >= : real * real -> bool
-   val ?= : real * real -> bool
-   val ~ : real -> real
-   val abs : real -> real
-   val checkFloat : real -> real
-   val class : real -> IEEEReal.float_class
-   val compare : real * real -> order
-   val compareReal : real * real -> IEEEReal.real_order
-   val copySign : real * real -> real
-   val fmt : StringCvt.realfmt -> real -> string
-   val fromDecimal : IEEEReal.decimal_approx -> real option
-   val fromDecimal' : IEEEReal.decimal_approx -> real
-   val fromInt : int -> real
-   val fromLarge : IEEEReal.rounding_mode -> LargeReal.real -> real
-   val fromLargeInt : LargeInt.int -> real
-   val fromManExp : {man : real, exp : int} -> real
-   val fromString : string -> real option
-   val isFinite : real -> bool
-   val isNan : real -> bool
-   val isNormal : real -> bool
-   val max : real * real -> real
-   val maxFinite : real
-   val min : real * real -> real
-   val minNormalPos : real
-   val minPos : real
-   val negInf : real
-   val nextAfter : real * real -> real
-   val posInf : real
-   val precision : int
-   val radix : int
-   val realCeil : real -> real
-   val realFloor : real -> real
-   val realMod : real -> real
-   val realTrunc : real -> real
-   val rem : real * real -> real
-   val sameSign : real * real -> bool
-   val scan : (char, 'a) StringCvt.reader -> (real, 'a) StringCvt.reader
-   val sign : real -> int
-   val signBit : real -> bool
-   val split : real -> {whole : real, frac : real}
-   val toDecimal : real -> IEEEReal.decimal_approx
-   val toInt : IEEEReal.rounding_mode -> real -> int
-   val toLarge : real -> LargeReal.real
-   val toLargeInt : IEEEReal.rounding_mode -> real -> LargeInt.int
-   val toManExp : real -> {man : real, exp : int}
-   val toString : real -> string
-   val unordered : real * real -> bool
-end

Deleted: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/polyml/workarounds/reals.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/polyml/workarounds/reals.sml	2007-11-06 08:28:41 UTC (rev 6123)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/ml/polyml/workarounds/reals.sml	2007-11-06 10:57:03 UTC (rev 6124)
@@ -1,8 +0,0 @@
-(* Copyright (C) 2006 SSH Communications Security, Helsinki, Finland
- *
- * This code is released under the MLton license, a BSD-style license.
- * See the LICENSE file or http://mlton.org/License for details.
- *)
-
-structure Real      : REAL = MkRealSane (Real)
-structure LargeReal : REAL = MkRealSane (LargeReal)