[MLton-commit] r5409

[Vesa Karvonen]

Added Basic.eq and Basic.notEq and exposed them at the top-level (because
they are just so convenient).

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

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

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

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/detail/basic.sml
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/detail/basic.sml	2007-03-07 15:00:55 UTC (rev 5408)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/detail/basic.sml	2007-03-08 14:12:22 UTC (rev 5409)
@@ -5,6 +5,8 @@
  *)
 
 structure Basic :> BASIC = struct
+   fun eq x y = x = y
+   fun notEq x y = x <> y
    fun fail m = raise Fail m
    fun failing m _ = fail m
    fun raising e _ = raise e

Modified: mltonlib/trunk/com/ssh/extended-basis/unstable/public/basic.sig
===================================================================
--- mltonlib/trunk/com/ssh/extended-basis/unstable/public/basic.sig	2007-03-07 15:00:55 UTC (rev 5408)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/basic.sig	2007-03-08 14:12:22 UTC (rev 5409)
@@ -6,6 +6,12 @@
 
 (** Basic utilities. *)
 signature BASIC = sig
+   val eq : ''a -> ''a UnPr.t
+   (** Curried version of {=}. *)
+
+   val notEq : ''a -> ''a UnPr.t
+   (** Curried version of {<>}. *)
+
    val fail : String.t -> 'a
    (** {fail m} is equivalent to {raise Fail m}. *)
 

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-03-07 15:00:55 UTC (rev 5408)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml	2007-03-08 14:12:22 UTC (rev 5409)
@@ -16,6 +16,8 @@
 
 (** ==== Basic ==== *)
 
+val eq = Basic.eq
+val notEq = Basic.notEq
 val fail = Basic.fail
 val failing = Basic.failing
 val raising = Basic.raising