[MLton-commit] r5431

[Vesa Karvonen]

Exposed the Void.void value and reorganized the top-level code.
----------------------------------------------------------------------

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

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

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-15 14:25:39 UTC (rev 5430)
+++ mltonlib/trunk/com/ssh/extended-basis/unstable/public/export/top-level.sml	2007-03-15 14:46:05 UTC (rev 5431)
@@ -6,16 +6,8 @@
 
 (** == Top-Level Bindings == *)
 
-(** === Types === *)
+(** === Basic === *)
 
-datatype product = datatype Product.product
-datatype sum = datatype Sum.sum
-type void = Void.t
-
-(** === Values === *)
-
-(** ==== Basic ==== *)
-
 val eq = Basic.eq
 val notEq = Basic.notEq
 val fail = Basic.fail
@@ -25,12 +17,12 @@
 val repeat = Basic.repeat
 val undefined = Basic.undefined
 
-(** ==== Exn ==== *)
+(** === Exn === *)
 
 val finally = Exn.finally
 val try = Exn.try
 
-(** ==== Fn ==== *)
+(** === Fn === *)
 
 val const = Fn.const
 val curry = Fn.curry
@@ -46,21 +38,34 @@
 val op \> = Fn.\>
 val op |< = Fn.|<
 
-(** ==== Option ==== *)
+(** === Option === *)
 
 val isNone = Option.isNone
 
-(** ==== Ref ==== *)
+(** === Product === *)
 
+datatype product = datatype Product.product
+
+(** === Ref === *)
+
 val op :=: = Ref.:=:
 
-(** ==== TextIO ==== *)
+(** === Sum === *)
 
+datatype sum = datatype Sum.sum
+
+(** === TextIO === *)
+
 val println = TextIO.println
 
-(** ==== UnPr ==== *)
+(** === UnPr === *)
 
 val negate = UnPr.negate
 
 val op andAlso = UnPr.andAlso
 val op orElse = UnPr.orElse
+
+(** === Void === *)
+
+type void = Void.t
+val void = Void.void