[MLton-commit] r6541

Matthew Fluet fluet at mlton.org
Mon Apr 7 11:33:24 PDT 2008


Introduce a PrePosix structure to collect abstracted POSIX types.

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

U   mlton/trunk/basis-library/build/sources.mlb
A   mlton/trunk/basis-library/posix/pre-posix.sml

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

Modified: mlton/trunk/basis-library/build/sources.mlb
===================================================================
--- mlton/trunk/basis-library/build/sources.mlb	2008-04-07 18:33:21 UTC (rev 6540)
+++ mlton/trunk/basis-library/build/sources.mlb	2008-04-07 18:33:24 UTC (rev 6541)
@@ -217,6 +217,7 @@
 
    ../config/c/sys-types.sml
    ../system/pre-os.sml
+   ../posix/pre-posix.sml
 
    ../posix/error.sig
    ../posix/error.sml

Added: mlton/trunk/basis-library/posix/pre-posix.sml
===================================================================
--- mlton/trunk/basis-library/posix/pre-posix.sml	2008-04-07 18:33:21 UTC (rev 6540)
+++ mlton/trunk/basis-library/posix/pre-posix.sml	2008-04-07 18:33:24 UTC (rev 6541)
@@ -0,0 +1,17 @@
+(* Copyright (C) 2008 Henry Cejtin, Matthew Fluet, Suresh
+ *    Jagannathan, and Stephen Weeks.
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ *)
+
+structure Posix =
+   struct
+      structure FileDesc = MkAbsRepEq(type rep = C_Fd.t)
+      structure GId = MkAbsRepEq(type rep = C_GId.t)
+      structure PId = MkAbsRepEq(type rep = C_PId.t)
+      structure Signal = MkAbsRepEq(type rep = C_Signal.t)
+      structure UId = MkAbsRepEq(type rep = C_UId.t)
+   end
+
+structure PrePosix = Posix




More information about the MLton-commit mailing list