[MLton-commit] r5366

[Vesa Karvonen]

Added convenience type alias t to flags substructures.

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

U   mltonlib/trunk/com/ssh/windows/unstable/detail/windows.sml
U   mltonlib/trunk/com/ssh/windows/unstable/public/windows-ex.sig
U   mltonlib/trunk/com/ssh/windows/unstable/public/windows.sig

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

Modified: mltonlib/trunk/com/ssh/windows/unstable/detail/windows.sml
===================================================================
--- mltonlib/trunk/com/ssh/windows/unstable/detail/windows.sml	2007-02-28 15:27:02 UTC (rev 5365)
+++ mltonlib/trunk/com/ssh/windows/unstable/detail/windows.sml	2007-02-28 16:49:42 UTC (rev 5366)
@@ -28,7 +28,6 @@
                     end
       val opt = option
       val int = int
-      val dbl = real
       val w32 = word32
       val bool = bool
       val time = iso largeReal (Time.toReal, Time.fromReal)
@@ -116,6 +115,7 @@
 
    structure Key = struct
       open Word32Flags
+      type t = flags
       val allAccess        = wc_KEY_ALL_ACCESS
       val createLink       = wc_KEY_CREATE_LINK
       val createSubKey     = wc_KEY_CREATE_SUB_KEY
@@ -281,6 +281,7 @@
    structure EventLog = struct
       structure Type = struct
          open Word16Flags
+         type t = flags
          val auditFailure = wc_EVENTLOG_AUDIT_FAILURE
          val auditSuccess = wc_EVENTLOG_AUDIT_SUCCESS
          val error        = wc_EVENTLOG_ERROR_TYPE
@@ -425,6 +426,7 @@
    structure FileChange = struct
       structure Filter = struct
          open Word32Flags
+         type t = flags
          val attributes = wc_FILE_NOTIFY_CHANGE_ATTRIBUTES
          val dirName    = wc_FILE_NOTIFY_CHANGE_DIR_NAME
          val fileName   = wc_FILE_NOTIFY_CHANGE_FILE_NAME

Modified: mltonlib/trunk/com/ssh/windows/unstable/public/windows-ex.sig
===================================================================
--- mltonlib/trunk/com/ssh/windows/unstable/public/windows-ex.sig	2007-02-28 15:27:02 UTC (rev 5365)
+++ mltonlib/trunk/com/ssh/windows/unstable/public/windows-ex.sig	2007-02-28 16:49:42 UTC (rev 5366)
@@ -13,11 +13,12 @@
    structure EventLog : sig
       structure Type : sig
          include FLAGS where type flags_word = Word16.t
-         val auditFailure : flags
-         val auditSuccess : flags
-         val error : flags
-         val information : flags
-         val warning : flags
+         type t = flags
+         val auditFailure : t
+         val auditSuccess : t
+         val error : t
+         val information : t
+         val warning : t
       end
    end
 
@@ -76,12 +77,13 @@
    structure FileChange : sig
       structure Filter : sig
          include FLAGS where type flags_word = Word32.t
-         val fileName : flags
-         val dirName : flags
-         val attributes : flags
-         val size : flags
-         val lastWrite : flags
-         val security : flags
+         type t = flags
+         val fileName : t
+         val dirName : t
+         val attributes : t
+         val size : t
+         val lastWrite : t
+         val security : t
       end
 
       type t

Modified: mltonlib/trunk/com/ssh/windows/unstable/public/windows.sig
===================================================================
--- mltonlib/trunk/com/ssh/windows/unstable/public/windows.sig	2007-02-28 15:27:02 UTC (rev 5365)
+++ mltonlib/trunk/com/ssh/windows/unstable/public/windows.sig	2007-02-28 16:49:42 UTC (rev 5366)
@@ -14,16 +14,17 @@
 signature WINDOWS = sig
    structure Key : sig
       include FLAGS where type flags_word = Word32.t
-      val allAccess : flags
-      val createLink : flags
-      val createSubKey : flags
-      val enumerateSubKeys : flags
-      val execute : flags
-      val notify : flags
-      val queryValue : flags
-      val read : flags
-      val setValue : flags
-      val write : flags
+      type t = flags
+      val allAccess : t
+      val createLink : t
+      val createSubKey : t
+      val enumerateSubKeys : t
+      val execute : t
+      val notify : t
+      val queryValue : t
+      val read : t
+      val setValue : t
+      val write : t
    end
 
    structure Reg : sig
@@ -42,12 +43,12 @@
       val keyOf : create_result -> hkey
 
       val closeKey : hkey Effect.t
-      val createKeyEx : hkey * String.t * Key.flags -> create_result
+      val createKeyEx : hkey * String.t * Key.t -> create_result
       val deleteKey : (hkey * String.t) Effect.t
       val deleteValue : (hkey * String.t) Effect.t
       val enumKeyEx : hkey * Int.t -> String.t Option.t
       val enumValueEx : hkey * Int.t -> String.t Option.t
-      val openKeyEx : hkey * String.t * Key.flags -> hkey
+      val openKeyEx : hkey * String.t * Key.t -> hkey
 
       datatype value
         = BINARY of Word8Vector.t