[MLton-commit] r6157

[Vesa Karvonen]

Deprecated finally -> after, because finally is a reserved word in Alice
ML.

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

U   mltonlib/trunk/com/ssh/extended-basis/unstable/detail/control/exn.sml
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/control/exn.sig
U   mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/control/exn.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/control/exn.sml	2007-11-10 13:27:51 UTC (rev 6156)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/control/exn.sml	2007-11-10 18:00:41 UTC (rev 6157)
@@ -12,5 +12,6 @@
    fun eval th = apply th ()
    fun throw e = raise e
    fun try (th, fv, fe) = Sum.sum (fe, fv) (eval th)
-   fun finally (th, ef) = try (th, Effect.past ef, throw o Effect.past ef)
+   fun after (th, ef) = try (th, Effect.past ef, throw o Effect.past ef)
+   val finally = after
 end

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/control/exn.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/control/exn.sig	2007-11-10 13:27:51 UTC (rev 6156)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/control/exn.sig	2007-11-10 18:00:41 UTC (rev 6157)
@@ -17,8 +17,11 @@
    val eval : 'a Thunk.t -> (t, 'a) Sum.t
    (** Evaluate a thunk ({eval th = INR (th ()) handle e => INL e}). *)
 
+   val after : 'a Thunk.t * Unit.t Effect.t -> 'a
+   (** {after (th, ef) = try (th, past ef, throw o past ef)}. *)
+
    val finally : 'a Thunk.t * Unit.t Effect.t -> 'a
-   (** {finally (th, ef) = try (th, past ef, throw o past ef)}. *)
+   (** DEPRECATED: This is an Alice ML reserved word. *)
 
    val throw : t -> 'a
    (** Raise exception ({throw exn = raise exn}). *)

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml	2007-11-10 13:27:51 UTC (rev 6156)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml	2007-11-10 18:00:41 UTC (rev 6157)
@@ -25,7 +25,8 @@
 
    (** == Exn == *)
 
-   val finally = Exn.finally
+   val after = Exn.after
+   val finally = Exn.finally (** DEPRECATED: This is an Alice ML reserved word. *)
    val try = Exn.try
 
    (** == Fn == *)