[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