mlton-commit Mailing List for MLton

Fixed misalingment problem with signalIsPending due to the runtime
treating it as a byte and the compiler treating it as a word.  Changed
the runtime declaration to

  volatile Word32_t signalIsPending; 


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

U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/signals.h

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

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/signals.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/signals.h	2006-06-26 02:01:43 UTC (rev 4669)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/signals.h	2006-06-26 08:23:18 UTC (rev 4670)
@@ -16,7 +16,7 @@
   /* TRUE iff a signal has been received but not handled by the
    * mutator.
    */
-  volatile bool signalIsPending; 
+  volatile Word32_t signalIsPending; 
   /* The signals for which a mutator signal handler needs to run in
    * order to handle the signal.
    */

Typo.

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

U   mlton/branches/on-20050822-x86_64-branch/bin/regression

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

Modified: mlton/branches/on-20050822-x86_64-branch/bin/regression
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/bin/regression	2006-06-26 00:32:57 UTC (rev 4668)
+++ mlton/branches/on-20050822-x86_64-branch/bin/regression	2006-06-26 02:01:43 UTC (rev 4669)
@@ -115,7 +115,7 @@
 ;;
 esac
 
-for f in finalize.2.sml; do
+for f in *.sml; do
         f=`basename "$f" .sml`
         if [ "$skipTo" != "" ]; then
                 if [ "$skipTo" != "$f" ]; then

Added the new build/lib/$crossTarget/include directory when using gcc
to compile cross-built C files.

Fixed bug introduced in bin/regression in r4515.  The relevant comment
in the commit was:

> 4. Potentially modified the behaviour of bin/regression
> 	A comment previously stated:
>                 #   Must use $f.[0-9].[cS], not $f.*.[cS], because the
>                 #   latter will include other files, e.g. for finalize,
>                 #   it will also include finalize.2.
> 	My testing shows this to be false. Furthermore, the work-around:
>                 files="$f.[0-9].[cS]"
>                 if [ 0 -ne `ls $f.[0-9][0-9].[cS] 2>/dev/null | wc -l` ]; then 
>                         files="$files $f.[0-9][0-9].[cS]"
>                 fi
> 	will break on a filename with spaces or shell specials.

In fact, the problem does happen, but only when cross compiling the
regressions.  I went back to the old workaround, which as the above
notes, is wrong for filenames with spaces or specials.  I'd be happy
to see that fixed.


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

U   mlton/branches/on-20050822-x86_64-branch/bin/regression

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

Modified: mlton/branches/on-20050822-x86_64-branch/bin/regression
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/bin/regression	2006-06-26 00:24:47 UTC (rev 4667)
+++ mlton/branches/on-20050822-x86_64-branch/bin/regression	2006-06-26 00:32:57 UTC (rev 4668)
@@ -115,7 +115,7 @@
 ;;
 esac
 
-for f in *.sml; do
+for f in finalize.2.sml; do
         f=`basename "$f" .sml`
         if [ "$skipTo" != "" ]; then
                 if [ "$skipTo" != "$f" ]; then
@@ -185,18 +185,22 @@
                 ;;
                 esac
                 libs="-lmlton -lgmp $libs -lgdtoa -lm"
-		# OLD COMMENT:
-                #   Must use $f.[0-9].[cS], not $f.*.[cS], because the
-                #   latter will include other files, e.g. for finalize,
-                #   it will also include finalize.2.
-		# I think this is untrue, and have dropped it as the work-
-		# around used was unsafe for special characters.
+                # Must use $f.[0-9].[cS], not $f.*.[cS], because the
+                # latter will include other files, e.g. for finalize,
+                # it will also include finalize.2. This happens only 
+		# when running cross regressions, which builds all the
+		# C files and saves them in this directory.
+		files="$f.[0-9].[cS]"
+		if [ 0 -ne `ls $f.[0-9][0-9].[cS] 2>/dev/null | wc -l` ]; then 
+			files="$files $f.[0-9][0-9].[cS]"
+		fi
                 gcc -o "$f" -w -O1                              \
                         -I "../build/lib/include"               \
+			-I "../build/lib/$crossTarget/include"  \
                         -L"../build/lib/$crossTarget"           \
                         -L/usr/pkg/lib                          \
                         -L/usr/local/lib                        \
-                        "$f".*.[cS] $libs
+                        $files $libs
 	fi
         if [ ! -r "$f".nonterm -a $cross = 'false' -a -x "$f" ]; then
                 nonZeroMsg='Nonzero exit status.'

Include nonwin.c on Solaris.

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

U   mlton/branches/on-20050822-x86_64-branch/runtime/platform/solaris.c

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

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform/solaris.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform/solaris.c	2006-06-26 00:13:47 UTC (rev 4666)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform/solaris.c	2006-06-26 00:24:47 UTC (rev 4667)
@@ -8,6 +8,7 @@
 #include "mkdir2.c"
 #include "mmap.c"
 #include "mmap-protect.c"
+#include "nonwin.c"
 #include "sysconf.c"
 #include "setenv.putenv.c"
 

Change HAS_FPCLASSIFY32 to FALSE on Solaris.  I don't know why it was
ever set to TRUE.  I don't think we ever had it defined.

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

U   mlton/branches/on-20050822-x86_64-branch/runtime/platform/solaris.h

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

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform/solaris.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform/solaris.h	2006-06-25 23:49:32 UTC (rev 4665)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform/solaris.h	2006-06-26 00:13:47 UTC (rev 4666)
@@ -35,7 +35,7 @@
 
 #define HAS_FEROUND TRUE
 #define HAS_FPCLASSIFY FALSE
-#define HAS_FPCLASSIFY32 TRUE
+#define HAS_FPCLASSIFY32 FALSE
 #define HAS_FPCLASSIFY64 TRUE
 #define HAS_MSG_DONTWAIT TRUE
 #define HAS_REMAP FALSE

Added directory build/lib/<target>/include for target-specific
includes.  There is now one such include, c-types.h.


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

U   mlton/branches/on-20050822-x86_64-branch/Makefile
U   mlton/branches/on-20050822-x86_64-branch/bin/add-cross
U   mlton/branches/on-20050822-x86_64-branch/mlton/main/main.fun

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

Modified: mlton/branches/on-20050822-x86_64-branch/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/Makefile	2006-06-24 20:34:47 UTC (rev 4664)
+++ mlton/branches/on-20050822-x86_64-branch/Makefile	2006-06-25 23:49:32 UTC (rev 4665)
@@ -146,7 +146,7 @@
 
 .PHONY: dirs
 dirs:
-	mkdir -p "$(BIN)" "$(LIB)/$(TARGET)" "$(INC)"
+	mkdir -p "$(BIN)" "$(LIB)/$(TARGET)/include" "$(INC)"
 
 .PHONY: docs
 docs: dirs
@@ -288,6 +288,7 @@
 		basis-library/primitive/basis-ffi.sml
 	$(CP) runtime/bytecode/opcodes "$(LIB)/"
 	$(CP) runtime/*.h "$(INC)/"
+	mv "$(INC)/c-types.h" "$(LIB)/$(TARGET)/include"
 	for d in basis basis/Real basis/Word gc platform util; do	\
 		mkdir -p "$(INC)/$$d";					\
 		$(CP) runtime/$$d/*.h "$(INC)/$$d";			\

Modified: mlton/branches/on-20050822-x86_64-branch/bin/add-cross
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/bin/add-cross	2006-06-24 20:34:47 UTC (rev 4664)
+++ mlton/branches/on-20050822-x86_64-branch/bin/add-cross	2006-06-25 23:49:32 UTC (rev 4665)
@@ -80,10 +80,11 @@
 ssh $machine "rm -rf $tmp && mkdir $tmp"
 
 echo 'Making runtime.' 
-( cd "$src" && tar cf - bin runtime ) | 
+( cd "$src" && tar cf - Makefile basis-library bin include runtime ) | 
         ssh $machine "cd $tmp && tar xf - && cd runtime &&
-                ../bin/mmake OMIT_BYTECODE=yes TARGET_ARCH=$crossArch TARGET_OS=$crossOS clean all"
-ssh $machine "cd $tmp/runtime && tar cf - *.a" | 
+                ../bin/mmake OMIT_BYTECODE=yes TARGET_ARCH=$crossArch TARGET_OS=$crossOS clean all &&
+		cd .. && make dirs runtime"
+ssh $machine "cd $tmp/build/lib/self && tar cf - ." | 
         ( cd "$lib/$crossTarget" && tar xf - )
 ( cd "$src" &&
         mmake TARGET=$crossTarget TARGET_ARCH=$crossArch TARGET_OS=$crossOS \
@@ -109,7 +110,6 @@
 
 exe='print-constants'
 echo "Compiling and running print-constants on $machine."
-cd "$original"
 "$src/build/bin/mlton" -build-constants true | 
         ssh $machine "cd $tmp/runtime &&
                         cat >$exe.c && 

Modified: mlton/branches/on-20050822-x86_64-branch/mlton/main/main.fun
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/main/main.fun	2006-06-24 20:34:47 UTC (rev 4664)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/main/main.fun	2006-06-25 23:49:32 UTC (rev 4665)
@@ -637,6 +637,7 @@
           else ac)
       val asOpts = addTargetOpts asOpts
       val ccOpts = addTargetOpts ccOpts
+      val ccOpts = concat ["-I", !libTargetDir, "/include"] :: ccOpts
       val linkOpts =
          List.concat [[concat ["-L", !libTargetDir],
                        if !debugRuntime then "-lmlton-gdb" else "-lmlton"],

Fixed flag.

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

U   mlton/branches/on-20050822-x86_64-branch/bin/regression

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

Modified: mlton/branches/on-20050822-x86_64-branch/bin/regression
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/bin/regression	2006-06-24 14:53:54 UTC (rev 4663)
+++ mlton/branches/on-20050822-x86_64-branch/bin/regression	2006-06-24 20:34:47 UTC (rev 4664)
@@ -73,7 +73,7 @@
 	flags[${#flags[@]}]="-target"
 	flags[${#flags[@]}]="$crossTarget"
 	flags[${#flags[@]}]="-stop"
-	flags[${#flags[@]}]="-g"
+	flags[${#flags[@]}]="g"
 fi
 cont='callcc.sml callcc2.sml callcc3.sml once.sml'
 flatArray='finalize.sml flat-array.sml flat-array.2.sml'

Merge trunk revisions 4634:4662 into x86_64 branch
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/doc/changelog
U   mlton/branches/on-20050822-x86_64-branch/mlton/atoms/prim.sig
U   mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-codegen.fun
U   mlton/branches/on-20050822-x86_64-branch/mlton/ssa/deep-flatten.fun
U   mlton/branches/on-20050822-x86_64-branch/mlton/ssa/ref-flatten.fun

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

Modified: mlton/branches/on-20050822-x86_64-branch/doc/changelog
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/doc/changelog	2006-06-24 14:46:43 UTC (rev 4662)
+++ mlton/branches/on-20050822-x86_64-branch/doc/changelog	2006-06-24 14:53:54 UTC (rev 4663)
@@ -1,5 +1,9 @@
 Here are the changes since version 20051202.
 	
+* 2006-06-24
+   - Fixed a bug in pass to flatten data structures.  Thanks to Joe Hurd
+     for the bug report.
+	
 * 2006-06-08
   - Fixed a bug in the native codegen's implementation of the C-calling
     convention.

Modified: mlton/branches/on-20050822-x86_64-branch/mlton/atoms/prim.sig
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/atoms/prim.sig	2006-06-24 14:46:43 UTC (rev 4662)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/atoms/prim.sig	2006-06-24 14:53:54 UTC (rev 4663)
@@ -62,7 +62,7 @@
               *)
              | MLton_bug (* ssa to rssa *)
              | MLton_deserialize (* unused *)
-             | MLton_eq (* codegen *)
+             | MLton_eq (* ssa to rssa *)
              | MLton_equal (* polymorphic equality *)
              | MLton_halt (* ssa to rssa *)
              (* MLton_handlesSignals and MLton_installSignalHandler work together

Modified: mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-codegen.fun
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-codegen.fun	2006-06-24 14:46:43 UTC (rev 4662)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/codegen/x86-codegen/x86-codegen.fun	2006-06-24 14:53:54 UTC (rev 4663)
@@ -80,9 +80,8 @@
     = let
          val reserveEsp =
             (* There is no sigaltstack on cygwin, we need to reserve %esp to
-             * hold the C stack pointer.  We need to do this even in programs
-             * that don't handle signals, since signals get used under the hood
-             * in Cygwin.
+             * hold the C stack pointer.  We only need to do this in programs
+             * that handle signals.
              *)
             handlesSignals andalso let open Control in !targetOS = Cygwin end
 

Modified: mlton/branches/on-20050822-x86_64-branch/mlton/ssa/deep-flatten.fun
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/ssa/deep-flatten.fun	2006-06-24 14:46:43 UTC (rev 4662)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/ssa/deep-flatten.fun	2006-06-24 14:53:54 UTC (rev 4663)
@@ -668,6 +668,7 @@
                 ; result ())
             fun equal () =
                (Value.unify (arg 0, arg 1)
+                ; Value.dontFlatten (arg 0)
                 ; result ())
          in
             case Prim.name prim of
@@ -909,13 +910,7 @@
                                            end
                                   end
                          end)
-             | PrimApp {args, prim} =>
-                  let
-                     val () = simpleTree ()
-                  in
-                     doit (PrimApp {args = replaceVars args,
-                                    prim = prim})
-                  end
+             | PrimApp {args, prim} => simple ()
              | Select {base, offset} =>
                   (case var of
                       NONE => none ()

Modified: mlton/branches/on-20050822-x86_64-branch/mlton/ssa/ref-flatten.fun
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/ssa/ref-flatten.fun	2006-06-24 14:46:43 UTC (rev 4662)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/ssa/ref-flatten.fun	2006-06-24 14:53:54 UTC (rev 4663)
@@ -511,7 +511,7 @@
        * r: (t ref) = (t)
        * ... <no uses of r> ...
        * x: (... * (t ref) * ...) = (..., r, ...)
-       * ... <othere assignments to r> ...
+       * ... <other assignments to r> ...
        *
        *)
       datatype z = datatype VarInfo.t

Fix bug in deepFlatten
----------------------------------------------------------------------

U   mlton/trunk/doc/changelog
U   mlton/trunk/mlton/atoms/prim.sig
U   mlton/trunk/mlton/ssa/deep-flatten.fun
U   mlton/trunk/mlton/ssa/ref-flatten.fun

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

Modified: mlton/trunk/doc/changelog
===================================================================
--- mlton/trunk/doc/changelog	2006-06-23 23:03:37 UTC (rev 4661)
+++ mlton/trunk/doc/changelog	2006-06-24 14:46:43 UTC (rev 4662)
@@ -1,5 +1,9 @@
 Here are the changes since version 20051202.
 
+* 2006-06-24
+   - Fixed a bug in pass to flatten data structures.  Thanks to Joe Hurd
+     for the bug report.
+	
 * 2006-06-08
   - Fixed a bug in the native codegen's implementation of the C-calling
     convention.

Modified: mlton/trunk/mlton/atoms/prim.sig
===================================================================
--- mlton/trunk/mlton/atoms/prim.sig	2006-06-23 23:03:37 UTC (rev 4661)
+++ mlton/trunk/mlton/atoms/prim.sig	2006-06-24 14:46:43 UTC (rev 4662)
@@ -62,7 +62,7 @@
               *)
              | MLton_bug (* ssa to rssa *)
              | MLton_deserialize (* unused *)
-             | MLton_eq (* codegen *)
+             | MLton_eq (* ssa to rssa *)
              | MLton_equal (* polymorphic equality *)
              | MLton_halt (* ssa to rssa *)
              (* MLton_handlesSignals and MLton_installSignalHandler work together

Modified: mlton/trunk/mlton/ssa/deep-flatten.fun
===================================================================
--- mlton/trunk/mlton/ssa/deep-flatten.fun	2006-06-23 23:03:37 UTC (rev 4661)
+++ mlton/trunk/mlton/ssa/deep-flatten.fun	2006-06-24 14:46:43 UTC (rev 4662)
@@ -668,6 +668,7 @@
                 ; result ())
             fun equal () =
                (Value.unify (arg 0, arg 1)
+                ; Value.dontFlatten (arg 0)
                 ; result ())
          in
             case Prim.name prim of
@@ -909,13 +910,7 @@
                                            end
                                   end
                          end)
-             | PrimApp {args, prim} =>
-                  let
-                     val () = simpleTree ()
-                  in
-                     doit (PrimApp {args = replaceVars args,
-                                    prim = prim})
-                  end
+             | PrimApp {args, prim} => simple ()
              | Select {base, offset} =>
                   (case var of
                       NONE => none ()

Modified: mlton/trunk/mlton/ssa/ref-flatten.fun
===================================================================
--- mlton/trunk/mlton/ssa/ref-flatten.fun	2006-06-23 23:03:37 UTC (rev 4661)
+++ mlton/trunk/mlton/ssa/ref-flatten.fun	2006-06-24 14:46:43 UTC (rev 4662)
@@ -511,7 +511,7 @@
        * r: (t ref) = (t)
        * ... <no uses of r> ...
        * x: (... * (t ref) * ...) = (..., r, ...)
-       * ... <othere assignments to r> ...
+       * ... <other assignments to r> ...
        *
        *)
       datatype z = datatype VarInfo.t

Removed old #include.

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

U   mlton/branches/on-20050822-x86_64-branch/runtime/platform/solaris.c

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

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform/solaris.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform/solaris.c	2006-06-23 22:16:00 UTC (rev 4660)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform/solaris.c	2006-06-23 23:03:37 UTC (rev 4661)
@@ -10,7 +10,6 @@
 #include "mmap-protect.c"
 #include "sysconf.c"
 #include "setenv.putenv.c"
-#include "tempFileDes.mkstemp.c"
 
 int fegetround () {
         int mode;

Added OMIT_BYTECODE control so that one can easily build the runtime
without building the bytecode interpreter.  This is useful when doing
development on a slow machine.


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

U   mlton/branches/on-20050822-x86_64-branch/bin/add-cross
U   mlton/branches/on-20050822-x86_64-branch/runtime/Makefile

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

Modified: mlton/branches/on-20050822-x86_64-branch/bin/add-cross
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/bin/add-cross	2006-06-23 22:13:52 UTC (rev 4659)
+++ mlton/branches/on-20050822-x86_64-branch/bin/add-cross	2006-06-23 22:16:00 UTC (rev 4660)
@@ -82,7 +82,7 @@
 echo 'Making runtime.' 
 ( cd "$src" && tar cf - bin runtime ) | 
         ssh $machine "cd $tmp && tar xf - && cd runtime &&
-                ../bin/mmake COMPILE_FAST=yes TARGET_ARCH=$crossArch TARGET_OS=$crossOS clean all"
+                ../bin/mmake OMIT_BYTECODE=yes TARGET_ARCH=$crossArch TARGET_OS=$crossOS clean all"
 ssh $machine "cd $tmp/runtime && tar cf - *.a" | 
         ( cd "$lib/$crossTarget" && tar xf - )
 ( cd "$src" &&

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/Makefile	2006-06-23 22:13:52 UTC (rev 4659)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/Makefile	2006-06-23 22:16:00 UTC (rev 4660)
@@ -169,9 +169,12 @@
 	$(UTILCFILES)						\
 	$(shell find basis -type f | grep '\.c$$' | grep -v Real/)	\
 	gc.c							\
-	bytecode/interpret.c					\
 	platform.c
 
+ifneq ($(OMIT_BYTECODE), yes)
+CFILES += bytecode/interpret.c
+endif
+
 HFILES = 							\
 	cenv.h                                                  \
 	$(UTILHFILES)						\

Added ignores.

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

_U  mlton/branches/on-20050822-x86_64-branch/lib/cml/tests/
A   mlton/branches/on-20050822-x86_64-branch/lib/cml/tests/.ignore

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


Property changes on: mlton/branches/on-20050822-x86_64-branch/lib/cml/tests
___________________________________________________________________
Name: svn:ignore
   + exit
ping-pong
primes
primes-multicast
print
timeout


Added: mlton/branches/on-20050822-x86_64-branch/lib/cml/tests/.ignore
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/lib/cml/tests/.ignore	2006-06-22 22:37:58 UTC (rev 4658)
+++ mlton/branches/on-20050822-x86_64-branch/lib/cml/tests/.ignore	2006-06-23 22:13:52 UTC (rev 4659)
@@ -0,0 +1,6 @@
+exit
+ping-pong
+primes
+primes-multicast
+print
+timeout

Converted ints to bools (zero or one) by comparison against zero in
places where posix functions aren't guaranteed to return bools.


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

U   mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/FileSys/ST.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/ProcEnv/isatty.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Process/ifExited.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Process/ifSignaled.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Process/ifStopped.c

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

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/FileSys/ST.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/FileSys/ST.c	2006-06-18 23:49:04 UTC (rev 4657)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/FileSys/ST.c	2006-06-22 22:37:58 UTC (rev 4658)
@@ -1,29 +1,29 @@
 #include "platform.h"
 
-Bool_t Posix_FileSys_ST_isBlk (C_Mode_t m) {
-  return S_ISBLK(m);
+Bool Posix_FileSys_ST_isBlk (C_Mode_t m) {
+  return 0 != S_ISBLK(m);
 }
 
-Bool_t Posix_FileSys_ST_isChr (C_Mode_t m) {
-  return S_ISCHR(m);
+Bool Posix_FileSys_ST_isChr (C_Mode_t m) {
+  return 0 != S_ISCHR(m);
 }
 
-Bool_t Posix_FileSys_ST_isDir (C_Mode_t m) {
-  return S_ISDIR(m);
+Bool Posix_FileSys_ST_isDir (C_Mode_t m) {
+  return 0 != S_ISDIR(m);
 }
 
-Bool_t Posix_FileSys_ST_isFIFO (C_Mode_t m) {
-  return S_ISFIFO(m);
+Bool Posix_FileSys_ST_isFIFO (C_Mode_t m) {
+  return 0 != S_ISFIFO(m);
 }
 
-Bool_t Posix_FileSys_ST_isLink (C_Mode_t m) {
-  return S_ISLNK(m);
+Bool Posix_FileSys_ST_isLink (C_Mode_t m) {
+  return 0 != S_ISLNK(m);
 }
 
-Bool_t Posix_FileSys_ST_isReg (C_Mode_t m) {
-  return S_ISREG(m);
+Bool Posix_FileSys_ST_isReg (C_Mode_t m) {
+  return 0 != S_ISREG(m);
 }
 
-Bool_t Posix_FileSys_ST_isSock (C_Mode_t m) {
-  return S_ISSOCK(m);
+Bool Posix_FileSys_ST_isSock (C_Mode_t m) {
+  return 0 != S_ISSOCK(m);
 }

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/ProcEnv/isatty.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/ProcEnv/isatty.c	2006-06-18 23:49:04 UTC (rev 4657)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/ProcEnv/isatty.c	2006-06-22 22:37:58 UTC (rev 4658)
@@ -1,5 +1,5 @@
 #include "platform.h"
 
-Bool_t Posix_ProcEnv_isatty (C_Fd_t f) {
-  return isatty (f);
+Bool Posix_ProcEnv_isatty (C_Fd_t f) {
+  return 0 != isatty (f);
 }

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Process/ifExited.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Process/ifExited.c	2006-06-18 23:49:04 UTC (rev 4657)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Process/ifExited.c	2006-06-22 22:37:58 UTC (rev 4658)
@@ -4,5 +4,5 @@
   int i;
   
   i = s;
-  return WIFEXITED (i);
+  return 0 != WIFEXITED (i);
 }

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Process/ifSignaled.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Process/ifSignaled.c	2006-06-18 23:49:04 UTC (rev 4657)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Process/ifSignaled.c	2006-06-22 22:37:58 UTC (rev 4658)
@@ -4,5 +4,5 @@
   int i;
   
   i = s;
-  return WIFSIGNALED (i);
+  return 0 != WIFSIGNALED (i);
 }

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Process/ifStopped.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Process/ifStopped.c	2006-06-18 23:49:04 UTC (rev 4657)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Process/ifStopped.c	2006-06-22 22:37:58 UTC (rev 4658)
@@ -4,5 +4,5 @@
   int i;
   
   i = s;
-  return WIFSTOPPED (i);
+  return 0 != WIFSTOPPED (i);
 }

Avoid using functions OpenBSD deems too dangerous for mere mortals.

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

D   mlton/branches/on-20050822-x86_64-branch/runtime/gc/util.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/platform/darwin.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/platform/diskBack.unix.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/platform/displayMem.linux.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/platform/freebsd.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/platform/setenv.putenv.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/platform/solaris.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/util/read_write.h
U   mlton/branches/on-20050822-x86_64-branch/runtime/util/to-string.c

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

Deleted: mlton/branches/on-20050822-x86_64-branch/runtime/gc/util.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/util.c	2006-06-17 19:28:18 UTC (rev 4656)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/util.c	2006-06-18 23:49:04 UTC (rev 4657)
@@ -1,100 +0,0 @@
-/* Copyright (C) 2004-2005 Henry Cejtin, Matthew Fluet, Suresh
- *    Jagannathan, and Stephen Weeks.
- *
- * MLton is released under a BSD-style license.
- * See the file MLton-LICENSE for details.
- */
-
-const char* boolToString (bool b) {
-  return b ? "TRUE" : "FALSE";
-}
-
-#define BUF_SIZE 81
-char* intmaxToCommaString (intmax_t n) {
-  static char buf1[BUF_SIZE];
-  static char buf2[BUF_SIZE];
-  static char buf3[BUF_SIZE];
-  static char buf4[BUF_SIZE];
-  static char buf5[BUF_SIZE];
-  static char *bufs[] = {buf1, buf2, buf3, buf4, buf5};
-  static int bufIndex = 0;
-  static char *buf;
-  int i;
-  
-  buf = bufs[bufIndex++];
-  bufIndex %= 5;
-        
-  i = BUF_SIZE - 1;
-  buf[i--] = '\000';
-        
-  if (0 == n)
-    buf[i--] = '0';
-  else if (INTMAX_MIN == n) {
-    /* must treat INTMAX_MIN specially, because I negate stuff later */
-    switch (sizeof(intmax_t)) {
-    case 1:
-      strcpy (buf + 1, "-128");
-      break;
-    case 2:
-      strcpy (buf + 1, "-32,768");
-      break;
-    case 4:
-      strcpy (buf + 1, "-2,147,483,648");
-      break;
-    case 8:
-      strcpy (buf + 1, "-9,223,372,036,854,775,808");
-      break;
-    case 16:
-      strcpy (buf + 1, "-170,141,183,460,469,231,731,687,303,715,884,105,728");
-      break;
-    default:
-      die ("intmaxToCommaString: sizeof(intmax_t) = %zu", sizeof(intmax_t));
-      break;
-    }
-    i = 0;
-  } else {
-    intmax_t m;
-        
-    if (n > 0) 
-      m = n; 
-    else 
-      m = -n;
-        
-    while (m > 0) {
-      buf[i--] = m % 10 + '0';
-      m = m / 10;
-      if (i % 4 == 0 and m > 0) buf[i--] = ',';
-    }
-    if (n < 0) buf[i--] = '-';
-  }
-  return buf + i + 1;
-}
-
-char* uintmaxToCommaString (uintmax_t n) {
-  static char buf1[BUF_SIZE];
-  static char buf2[BUF_SIZE];
-  static char buf3[BUF_SIZE];
-  static char buf4[BUF_SIZE];
-  static char buf5[BUF_SIZE];
-  static char *bufs[] = {buf1, buf2, buf3, buf4, buf5};
-  static int bufIndex = 0;
-  static char *buf;
-  int i;
-  
-  buf = bufs[bufIndex++];
-  bufIndex %= 5;
-  
-  i = BUF_SIZE - 1;
-  buf[i--] = '\000';
-  if (0 == n)
-    buf[i--] = '0';
-  else {
-    while (n > 0) {
-      buf[i--] = n % 10 + '0';
-      n = n / 10;
-      if (i % 4 == 0 and n > 0) buf[i--] = ',';
-    }
-  }
-  return buf + i + 1;
-}
-#undef BUF_SIZE

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c	2006-06-17 19:28:18 UTC (rev 4656)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c	2006-06-18 23:49:04 UTC (rev 4657)
@@ -59,10 +59,10 @@
     fprintf (stderr, "saveWorldToFILE\n");
   /* Compact the heap. */
   performGC (s, 0, 0, TRUE, TRUE);
-  sprintf (buf,
-           "Heap file created by MLton.\nheap.start = "FMTPTR"\nbytesLive = %zu\n",
-           (uintptr_t)s->heap.start, 
-           s->lastMajorStatistics.bytesLive);
+  snprintf (buf, cardof(buf),
+            "Heap file created by MLton.\nheap.start = "FMTPTR"\nbytesLive = %zu\n",
+            (uintptr_t)s->heap.start, 
+            s->lastMajorStatistics.bytesLive);
   len = strlen(buf) + 1; /* +1 to get the '\000' */
   
   if (fwrite (buf, 1, len, f) != len) return -1;

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform/darwin.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform/darwin.c	2006-06-17 19:28:18 UTC (rev 4656)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform/darwin.c	2006-06-18 23:49:04 UTC (rev 4657)
@@ -26,7 +26,7 @@
 void GC_displayMem (void) {
         static char buffer[256];
 
-        sprintf (buffer, "/usr/bin/vmmap -w -interleaved %d\n", (int)getpid ());
+        snprintf (buffer, cardof(buffer), "/usr/bin/vmmap -w -interleaved %d\n", (int)getpid ());
         (void)system (buffer);
 }
 

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform/diskBack.unix.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform/diskBack.unix.c	2006-06-17 19:28:18 UTC (rev 4656)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform/diskBack.unix.c	2006-06-18 23:49:04 UTC (rev 4657)
@@ -4,6 +4,7 @@
   char *template;
   const char *tmpDir;
   const char *tag = "/TempFileXXXXXXXXXX";
+  size_t tmpDirLen, tagLen;
   mode_t m;
 
   tmpDir = getenv ("TMP");
@@ -12,9 +13,11 @@
     if (NULL == tmpDir)
       tmpDir = "/var/tmp";
   }
-  template = malloc_safe (strlen(tmpDir) + strlen(tag) + 1);
-  strcpy (template, tmpDir);
-  strcat (template, tag);
+  tmpDirLen = strlen(tmpDir);
+  tagLen = strlen(tag);
+  template = malloc_safe (tmpDirLen + tagLen + 1);
+  strncpy (template, tmpDir, tmpDirLen + 1);
+  strncpy (template + tmpDirLen, tag, tagLen + 1);
   m = umask(077);
   fd = mkstemp_safe (template);
   f = fdopen_safe (fd, "w+");

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform/displayMem.linux.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform/displayMem.linux.c	2006-06-17 19:28:18 UTC (rev 4656)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform/displayMem.linux.c	2006-06-18 23:49:04 UTC (rev 4657)
@@ -1,6 +1,6 @@
 void GC_displayMem (void) {
         static char buffer[256];
 
-        sprintf (buffer, "/bin/cat /proc/%d/maps\n", (int)(getpid ()));
+        snprintf (buffer, cardof(buffer), "/bin/cat /proc/%d/maps\n", (int)(getpid ()));
         system (buffer);
 }

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform/freebsd.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform/freebsd.c	2006-06-17 19:28:18 UTC (rev 4656)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform/freebsd.c	2006-06-18 23:49:04 UTC (rev 4657)
@@ -11,7 +11,7 @@
 void GC_displayMem () {
         static char buffer[256];
 
-        sprintf (buffer, "/bin/cat /proc/%d/map\n", (int)getpid ());
+        snprintf (buffer, cardof(buffer), "/bin/cat /proc/%d/map\n", (int)getpid ());
         (void)system (buffer);
 }
 

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform/setenv.putenv.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform/setenv.putenv.c	2006-06-17 19:28:18 UTC (rev 4656)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform/setenv.putenv.c	2006-06-18 23:49:04 UTC (rev 4657)
@@ -2,12 +2,14 @@
  * it, since the specification of putenv is that it uses the memory for its arg.
  */
 int setenv (const char *name, const char *value, int overwrite) {
+        size_t len;
         char *b;
 
         if (!overwrite && getenv (name))
                 return 0;
 
-        b = malloc (strlen (name) + strlen (value) + 2 /* = and \000 */);
-        sprintf (b, "%s=%s", name, value);
+        len = strlen (name) + strlen (value) + 2 /* = and \000 */;
+        b = malloc (len);
+        snprintf (b, len, "%s=%s", name, value);
         return putenv (b);
 }

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/platform/solaris.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/platform/solaris.c	2006-06-17 19:28:18 UTC (rev 4656)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/platform/solaris.c	2006-06-18 23:49:04 UTC (rev 4657)
@@ -66,7 +66,7 @@
 
 void GC_displayMem () {
         static char buffer[256];
-        sprintf (buffer, "pmap %d\n", (int)(getpid ()));
+        snprintf (buffer, cardof(buffer), "pmap %d\n", (int)(getpid ()));
         system (buffer);
 }
 

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/util/read_write.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/util/read_write.h	2006-06-17 19:28:18 UTC (rev 4656)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/util/read_write.h	2006-06-18 23:49:04 UTC (rev 4657)
@@ -54,21 +54,21 @@
 static inline void writeUint32U (FILE *f, uint32_t u) {
   static char buf[BUF_SIZE];
 
-  sprintf (buf, "%"PRIu32, u);
+  snprintf (buf, BUF_SIZE, "%"PRIu32, u);
   writeString (f, buf);
 }
 
 static inline void writeUintmaxU (FILE *f, uintmax_t u) {
   static char buf[BUF_SIZE];
 
-  sprintf (buf, "%"PRIuMAX, u);
+  snprintf (buf, BUF_SIZE, "%"PRIuMAX, u);
   writeString (f, buf);
 }
 
 static inline void writeUint32X (FILE *f, uint32_t u) {
   static char buf[BUF_SIZE];
   
-  sprintf (buf, "0x%08"PRIx32, u);
+  snprintf (buf, BUF_SIZE, "0x%08"PRIx32, u);
   writeString (f, buf);
 }
 
@@ -76,11 +76,11 @@
   static char buf[BUF_SIZE];
 
   if (sizeof(uintmax_t) == 4) {
-    sprintf (buf, "0x%08"PRIxMAX, u);
+    snprintf (buf, BUF_SIZE, "0x%08"PRIxMAX, u);
   } else if (sizeof(uintmax_t) == 8) {
-    sprintf (buf, "0x%016"PRIxMAX, u);
+    snprintf (buf, BUF_SIZE, "0x%016"PRIxMAX, u);
   } else {
-    sprintf (buf, "0x%"PRIxMAX, u);
+    snprintf (buf, BUF_SIZE, "0x%"PRIxMAX, u);
   }
   writeString (f, buf);
 }

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/util/to-string.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/util/to-string.c	2006-06-17 19:28:18 UTC (rev 4656)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/util/to-string.c	2006-06-18 23:49:04 UTC (rev 4657)
@@ -32,27 +32,29 @@
   if (0 == n)
     buf[i--] = '0';
   else if (INTMAX_MIN == n) {
+    const char* s;
     /* must treat INTMAX_MIN specially, because I negate stuff later */
     switch (sizeof(intmax_t)) {
     case 1:
-      strcpy (buf + 1, "-128");
+      s = "-128";
       break;
     case 2:
-      strcpy (buf + 1, "-32,768");
+      s = "-32,768";
       break;
     case 4:
-      strcpy (buf + 1, "-2,147,483,648");
+      s = "-2,147,483,648";
       break;
     case 8:
-      strcpy (buf + 1, "-9,223,372,036,854,775,808");
+      s = "-9,223,372,036,854,775,808";
       break;
     case 16:
-      strcpy (buf + 1, "-170,141,183,460,469,231,731,687,303,715,884,105,728");
+      s = "-170,141,183,460,469,231,731,687,303,715,884,105,728";
       break;
     default:
       die ("intmaxToCommaString: sizeof(intmax_t) = %zu", sizeof(intmax_t));
       break;
     }
+    strncpy (buf + 1, s, strlen(s) + 1);
     i = 0;
   } else {
     intmax_t m;
@@ -122,7 +124,7 @@
     amount /= factor;
     suffixIndex++;
   }
-  sprintf (buf, "%zu%s", amount, suffixs[suffixIndex]);
+  snprintf (buf, BUF_SIZE, "%zu%s", amount, suffixs[suffixIndex]);
   return buf;
 }
 #undef BUF_SIZE

Renamed variable.

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

U   mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Signal.c

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

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Signal.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Signal.c	2006-06-17 13:39:44 UTC (rev 4655)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/basis/Posix/Signal.c	2006-06-17 19:28:18 UTC (rev 4656)
@@ -44,13 +44,13 @@
   return sigaction (signum, &sa, NULL);
 }
 
-C_Errno_t(C_Int_t) Posix_Signal_isIgnore (C_Int_t signum, Ref(Bool_t) isDef) {
+C_Errno_t(C_Int_t) Posix_Signal_isIgnore (C_Int_t signum, Ref(Bool_t) isIgn) {
   int res;
   struct sigaction sa;
 
   sa.sa_flags = SA_FLAGS;
   res = sigaction (signum, NULL, &sa);
-  *((Bool_t*)isDef) = sa.sa_handler == SIG_IGN;
+  *((Bool_t*)isIgn) = sa.sa_handler == SIG_IGN;
   return res;
 }
 

Inconsistent val names
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/world.sml

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

Modified: mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/world.sml
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/world.sml	2006-06-17 04:03:56 UTC (rev 4654)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/world.sml	2006-06-17 13:39:44 UTC (rev 4655)
@@ -26,7 +26,7 @@
                SysCall.simple' 
                ({errVal = false}, 
                 fn () => (Prim.save (NullString.nullTerm file)
-                          ; Prim.saveStatus (gcState)))
+                          ; Prim.getSaveStatus (gcState)))
          in
             if Prim.getAmOriginal gcState
                then Original

Fixed problem introduced at r4642:

  The second change is how the SML code saves the world:
  Now the filename is passed to C, and a failure does not abort the program.
  Instead, we check return codes and propogate the error code back to an SML
  exception, raised with the correct error status.

The problem is due to changing the primtive from
  val save = _prim "World_save": C.Fd.t -> unit
to
  val save = _prim "World_save": NullString8_t -> bool C_Error.t

It is not possible to have the type of save as 
NullString8.t -> bool C_Errno.t, because there are two different ways
to return from the call to save.  One way is the direct obvious way,
in the program instance that called save.  However, another way to
return is in the program instance that loads the world.  Making save
return a bool creates nasty bugs where the return code from the CCall
expects to see a bool result according to the C return convention, but
there isn't one when returning in the load world.

So, save's result status is accessible via:
  val getSaveStatus =
     _import "GC_getSaveWorldStatus" : GCState.t -> bool C_Errno.t


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

U   mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/world.sml
U   mlton/branches/on-20050822-x86_64-branch/basis-library/primitive/prim-mlton.sml
U   mlton/branches/on-20050822-x86_64-branch/mlton/atoms/hash-type.fun
U   mlton/branches/on-20050822-x86_64-branch/mlton/backend/ssa-to-rssa.fun
U   mlton/branches/on-20050822-x86_64-branch/mlton/ssa/ssa-tree2.fun
U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_state.h
U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/init.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.h

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

Modified: mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/world.sml
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/world.sml	2006-06-14 12:16:33 UTC (rev 4653)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/world.sml	2006-06-17 04:03:56 UTC (rev 4654)
@@ -25,7 +25,8 @@
             val () = 
                SysCall.simple' 
                ({errVal = false}, 
-                fn () => Prim.save (NullString.nullTerm file))
+                fn () => (Prim.save (NullString.nullTerm file)
+                          ; Prim.saveStatus (gcState)))
          in
             if Prim.getAmOriginal gcState
                then Original

Modified: mlton/branches/on-20050822-x86_64-branch/basis-library/primitive/prim-mlton.sml
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library/primitive/prim-mlton.sml	2006-06-14 12:16:33 UTC (rev 4653)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library/primitive/prim-mlton.sml	2006-06-17 04:03:56 UTC (rev 4654)
@@ -316,7 +316,20 @@
    struct
       val getAmOriginal = _import "GC_getAmOriginal": GCState.t -> bool;
       val setAmOriginal = _import "GC_setAmOriginal": GCState.t * bool -> unit;
-      val save = _prim "World_save": NullString8.t -> bool C_Errno.t;
+      val getSaveStatus = _import "GC_getSaveWorldStatus": GCState.t -> bool C_Errno.t;
+      (* save's result status is accesible via getSaveStatus ().
+       * It is not possible to have the type of save as
+       * NullString8.t -> bool C_Errno.t, because there are two
+       * different ways to return from the call to save.  One way is
+       * the direct obvious way, in the program instance that called
+       * save.  However, another way to return is in the program
+       * instance that loads the world.  Making save return a bool
+       * creates nasty bugs where the return code from the CCall
+       * expects to see a bool result according to the C return
+       * convention, but there isn't one when returning in the load
+       * world.  
+       *)
+      val save = _prim "World_save": NullString8.t -> unit;
    end
 
 end 

Modified: mlton/branches/on-20050822-x86_64-branch/mlton/atoms/hash-type.fun
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/atoms/hash-type.fun	2006-06-14 12:16:33 UTC (rev 4653)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/atoms/hash-type.fun	2006-06-17 04:03:56 UTC (rev 4654)
@@ -362,7 +362,7 @@
        | Word_toReal (s, s', _) => done ([word s], real s')
        | Word_toWord (s, s', _) => done ([word s], word s')
        | Word_xorb s => wordBinary s
-       | World_save => done ([string], bool)
+       | World_save => done ([string], unit)
        | _ => Error.bug (concat ["HashType.checkPrimApp: strange prim: ",
                                  Prim.toString prim])
    end

Modified: mlton/branches/on-20050822-x86_64-branch/mlton/backend/ssa-to-rssa.fun
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/backend/ssa-to-rssa.fun	2006-06-14 12:16:33 UTC (rev 4653)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/backend/ssa-to-rssa.fun	2006-06-17 04:03:56 UTC (rev 4654)
@@ -228,10 +228,10 @@
             prototype = let
                            open CType
                         in
-                           (Vector.new2 (Pointer, Pointer), SOME bool)
+                           (Vector.new2 (Pointer, Pointer), NONE)
                         end,
             readsStackTop = true,
-            return = Type.bool,
+            return = unit,
             target = Direct "GC_saveWorld",
             writesStackTop = true}
 

Modified: mlton/branches/on-20050822-x86_64-branch/mlton/ssa/ssa-tree2.fun
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/mlton/ssa/ssa-tree2.fun	2006-06-14 12:16:33 UTC (rev 4653)
+++ mlton/branches/on-20050822-x86_64-branch/mlton/ssa/ssa-tree2.fun	2006-06-17 04:03:56 UTC (rev 4654)
@@ -476,7 +476,7 @@
              | Word_toReal (s, s', _) => done ([word s], real s')
              | Word_toWord (s, s', _) => done ([word s], word s')
              | Word_xorb s => wordBinary s
-             | World_save => done ([string], bool)
+             | World_save => done ([string], unit)
              | _ => Error.bug (concat ["SsaTree2.Type.checkPrimApp got strange prim: ",
                                        Prim.toString prim])
          end

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_state.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_state.h	2006-06-14 12:16:33 UTC (rev 4653)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_state.h	2006-06-17 04:03:56 UTC (rev 4654)
@@ -49,6 +49,7 @@
                        * Thread interrupted by arrival of signal.
                        */
   int (*saveGlobals)(FILE *f); /* saves the globals to the file. */
+  bool saveWorldStatus; /* */
   struct GC_heap secondaryHeap; /* Used for major copying collection. */
   objptr signalHandlerThread; /* Handler for signals (in heap). */
   struct GC_signalsInfo signalsInfo;

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/init.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/init.c	2006-06-14 12:16:33 UTC (rev 4653)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/init.c	2006-06-17 04:03:56 UTC (rev 4654)
@@ -222,7 +222,7 @@
   assert (isAligned (sizeof (struct GC_stack), s->alignment));
   assert (isAligned (GC_NORMAL_HEADER_SIZE + sizeof (struct GC_thread),
                      s->alignment));
-  // While the following asserts is manifestly true,
+  // While the following assert is manifestly true,
   // it checks the asserts in sizeofWeak.
   assert (sizeofWeak (s) == sizeofWeak (s));
 
@@ -286,6 +286,7 @@
   s->sysvals.totalRam = GC_totalRam ();
   s->sysvals.pageSize = GC_pageSize ();
   s->weaks = NULL;
+  s->saveWorldStatus = true;
 
   initSignalStack (s);
   worldFile = NULL;

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c	2006-06-14 12:16:33 UTC (rev 4653)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c	2006-06-17 04:03:56 UTC (rev 4654)
@@ -86,24 +86,30 @@
   return 0;
 }
 
-C_Errno_t(Bool_t) GC_saveWorld (GC_state s, NullString8_t fileName) {
+void GC_saveWorld (GC_state s, NullString8_t fileName) {
   FILE *f;
   
   enter (s);
   f = fopen ((const char*)fileName, "wb");
   if (f == 0) {
-    leave (s);
-    return (Bool_t)FALSE;
+    s->saveWorldStatus = false;
+    goto done;
   }
   if (saveWorldToFILE (s, f) != 0) {
-    leave (s);
-    return (Bool_t)FALSE;
+    s->saveWorldStatus = false;
+    goto done;
   }
   if (fclose (f) != 0) {
-    leave (s);
-    return (Bool_t)FALSE;
+    s->saveWorldStatus = false;
+    goto done;
   }
   
+  s->saveWorldStatus = true;
+done:
   leave (s);
-  return (Bool_t)TRUE;
+  return;
 }
+
+C_Errno_t(Bool_t) GC_getSaveWorldStatus (GC_state s) {
+  return (Bool_t)(s->saveWorldStatus);
+}

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.h	2006-06-14 12:16:33 UTC (rev 4653)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.h	2006-06-17 04:03:56 UTC (rev 4654)
@@ -16,7 +16,8 @@
 
 #if (defined (MLTON_GC_INTERNAL_BASIS))
 
+void GC_saveWorld (GC_state s, NullString8_t fileName);
 /* TRUE = success, FALSE = failure */
-C_Errno_t(Bool_t) GC_saveWorld (GC_state s, NullString8_t fileName);
+C_Errno_t(Bool_t) GC_getSaveWorldStatus (GC_state s);
 
 #endif /* (defined (MLTON_GC_INTERNAL_BASIS)) */

Possible buffer overrun; I believe this accounts for a second-stage bootstrap error on OpenBSD, which compiles programs with stack guard
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c

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

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c	2006-06-14 01:39:58 UTC (rev 4652)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c	2006-06-14 12:16:33 UTC (rev 4653)
@@ -52,11 +52,11 @@
  * Instead, check return values, and propogate them up to SML for an exception.
  */
 int saveWorldToFILE (GC_state s, FILE *f) {
-  char buf[80];
+  char buf[128];
   size_t len;
 
   if (DEBUG_WORLD)
-    fprintf (stderr, "saveWorld.\n");
+    fprintf (stderr, "saveWorldToFILE\n");
   /* Compact the heap. */
   performGC (s, 0, 0, TRUE, TRUE);
   sprintf (buf,

typo
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/lib/mlrisc-lib/Makefile

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

Modified: mlton/branches/on-20050822-x86_64-branch/lib/mlrisc-lib/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/lib/mlrisc-lib/Makefile	2006-06-14 01:10:07 UTC (rev 4651)
+++ mlton/branches/on-20050822-x86_64-branch/lib/mlrisc-lib/Makefile	2006-06-14 01:39:58 UTC (rev 4652)
@@ -13,7 +13,7 @@
 	gzip -dc MLRISC.tgz | tar xf -
 	chmod -R a+r MLRISC
 	chmod -R g-s MLRISC
-	patch -c -p0 < MLRISC.patch
+	patch -s -p0 < MLRISC.patch
 
 .PHONY: clean
 clean:

*BSD patch is pretty verbose; be silent to limit noise
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/lib/ckit-lib/Makefile
U   mlton/branches/on-20050822-x86_64-branch/lib/mlrisc-lib/Makefile
U   mlton/branches/on-20050822-x86_64-branch/lib/smlnj-lib/Makefile
U   mlton/branches/on-20050822-x86_64-branch/runtime/Makefile
U   mlton/branches/on-20050822-x86_64-branch/runtime/gdtoa-patch

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

Modified: mlton/branches/on-20050822-x86_64-branch/lib/ckit-lib/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/lib/ckit-lib/Makefile	2006-06-13 02:32:23 UTC (rev 4650)
+++ mlton/branches/on-20050822-x86_64-branch/lib/ckit-lib/Makefile	2006-06-14 01:10:07 UTC (rev 4651)
@@ -13,7 +13,7 @@
 	gzip -dc ckit.tgz | tar xf -
 	chmod -R a+r ckit
 	chmod -R g-s ckit
-	patch -p0 < ckit.patch
+	patch -s -p0 < ckit.patch
 
 .PHONY: clean
 clean:

Modified: mlton/branches/on-20050822-x86_64-branch/lib/mlrisc-lib/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/lib/mlrisc-lib/Makefile	2006-06-13 02:32:23 UTC (rev 4650)
+++ mlton/branches/on-20050822-x86_64-branch/lib/mlrisc-lib/Makefile	2006-06-14 01:10:07 UTC (rev 4651)
@@ -13,7 +13,7 @@
 	gzip -dc MLRISC.tgz | tar xf -
 	chmod -R a+r MLRISC
 	chmod -R g-s MLRISC
-	patch -p0 < MLRISC.patch
+	patch -c -p0 < MLRISC.patch
 
 .PHONY: clean
 clean:

Modified: mlton/branches/on-20050822-x86_64-branch/lib/smlnj-lib/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/lib/smlnj-lib/Makefile	2006-06-13 02:32:23 UTC (rev 4650)
+++ mlton/branches/on-20050822-x86_64-branch/lib/smlnj-lib/Makefile	2006-06-14 01:10:07 UTC (rev 4651)
@@ -13,7 +13,7 @@
 	gzip -dc smlnj-lib.tgz | tar xf -
 	chmod -R a+r smlnj-lib
 	chmod -R g-s smlnj-lib
-	patch -p0 < smlnj-lib.patch
+	patch -s -p0 < smlnj-lib.patch
 	mv smlnj-lib/LICENSE ../../doc/license/SMLNJ-LIB-LICENSE
 
 .PHONY: clean

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/Makefile
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/Makefile	2006-06-13 02:32:23 UTC (rev 4650)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/Makefile	2006-06-14 01:10:07 UTC (rev 4651)
@@ -222,7 +222,7 @@
 
 gdtoa/arithchk.c:
 	gzip -dc gdtoa.tgz | tar xf -	
-	patch -p0 <gdtoa-patch
+	patch -s -p0 <gdtoa-patch
 
 gdtoa/arithchk.out: gdtoa/arithchk.c
 	cd gdtoa && $(CC) -o arithchk.out arithchk.c
@@ -341,7 +341,7 @@
 
 .PHONY: gdtoa-patch
 gdtoa-patch:
-	cd gdtoa && $(MAKE) clean && rm -f *~
+	cd gdtoa && $(MAKE) clean && rm -f *~ *.orig
 	mv gdtoa gdtoa-new
 	gzip -dc gdtoa.tgz | tar xf -
 	diff -P -C 2 -r gdtoa gdtoa-new >gdtoa-patch || exit 0

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gdtoa-patch
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gdtoa-patch	2006-06-13 02:32:23 UTC (rev 4650)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gdtoa-patch	2006-06-14 01:10:07 UTC (rev 4651)
@@ -14,7 +14,6 @@
 ! int main()
   {
   	Akind *a = 0;
-Binary files gdtoa/arithchk.out and gdtoa-new/arithchk.out differ
 diff -P -C 2 -r gdtoa/dtoa.c gdtoa-new/dtoa.c
 *** gdtoa/dtoa.c	2000-11-02 07:09:01.000000000 -0800
 --- gdtoa-new/dtoa.c	2006-05-24 17:04:27.987435180 -0700

OpenBSD include path for gmp
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/bin/mlton-script

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

Modified: mlton/branches/on-20050822-x86_64-branch/bin/mlton-script
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/bin/mlton-script	2006-06-12 17:39:57 UTC (rev 4649)
+++ mlton/branches/on-20050822-x86_64-branch/bin/mlton-script	2006-06-13 02:32:23 UTC (rev 4650)
@@ -82,6 +82,7 @@
         -target-cc-opts darwin '-I/sw/include'                   \
         -target-cc-opts freebsd '-I/usr/local/include'           \
         -target-cc-opts netbsd '-I/usr/pkg/include'              \
+        -target-cc-opts openbsd '-I/usr/local/include'           \
         -target-cc-opts solaris                                  \
                 '-Wa,-xarch=v8plusa
                 -mcpu=ultrasparc'                                \

Added MinGW-specific regression output (filename case).
----------------------------------------------------------------------

A   mlton/branches/on-20050822-x86_64-branch/regression/exnHistory.x86-mingw.ok
A   mlton/branches/on-20050822-x86_64-branch/regression/exnHistory3.x86-mingw.ok

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

Added: mlton/branches/on-20050822-x86_64-branch/regression/exnHistory.x86-mingw.ok
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/regression/exnHistory.x86-mingw.ok	2006-06-12 16:50:57 UTC (rev 4648)
+++ mlton/branches/on-20050822-x86_64-branch/regression/exnHistory.x86-mingw.ok	2006-06-12 17:39:57 UTC (rev 4649)
@@ -0,0 +1,12 @@
+f.raise exnhistory.sml 3.18
+f exnhistory.sml 1.5
+f exnhistory.sml 1.5
+f exnhistory.sml 1.5
+f exnhistory.sml 1.5
+f exnhistory.sml 1.5
+f exnhistory.sml 1.5
+f exnhistory.sml 1.5
+f exnhistory.sml 1.5
+f exnhistory.sml 1.5
+f exnhistory.sml 1.5
+f exnhistory.sml 1.5

Added: mlton/branches/on-20050822-x86_64-branch/regression/exnHistory3.x86-mingw.ok
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/regression/exnHistory3.x86-mingw.ok	2006-06-12 16:50:57 UTC (rev 4648)
+++ mlton/branches/on-20050822-x86_64-branch/regression/exnHistory3.x86-mingw.ok	2006-06-12 17:39:57 UTC (rev 4649)
@@ -0,0 +1,25 @@
+f.raise exnhistory3.sml 5.18
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+ZZZ
+f.raise exnhistory3.sml 5.18
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5
+f exnhistory3.sml 3.5

Have GC_saveWorld return a boolean indicating whether or not it
succeeded; this seems more natural than returning a boolean indicating
whether or not it failed.

Properly leave the runtime on error paths.

Naming of world.{h,c} functions.


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

U   mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/world.sml
U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c
U   mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.h
U   mlton/branches/on-20050822-x86_64-branch/runtime/gc.h

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

Modified: mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/world.sml
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/world.sml	2006-06-12 16:25:12 UTC (rev 4647)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/world.sml	2006-06-12 16:50:57 UTC (rev 4648)
@@ -24,7 +24,7 @@
          let
             val () = 
                SysCall.simple' 
-               ({errVal = true}, 
+               ({errVal = false}, 
                 fn () => Prim.save (NullString.nullTerm file))
          in
             if Prim.getAmOriginal gcState

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c	2006-06-12 16:25:12 UTC (rev 4647)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.c	2006-06-12 16:50:57 UTC (rev 4648)
@@ -6,12 +6,12 @@
  * See the file MLton-LICENSE for details.
  */
 
-void loadWorldFromFD (GC_state s, FILE *f) {
+void loadWorldFromFILE (GC_state s, FILE *f) {
   uint32_t magic;
   pointer start;
         
   if (DEBUG_WORLD)
-    fprintf (stderr, "loadWorldFromFD\n");
+    fprintf (stderr, "loadWorldFromFILE\n");
   until (readChar (f) == '\000') ;
   magic = readUint32 (f);
   unless (s->magic == magic)
@@ -44,14 +44,14 @@
   if (DEBUG_WORLD)
     fprintf (stderr, "loadWorldFromFileName (%s)\n", fileName);
   f = fopen_safe (fileName, "rb");
-  loadWorldFromFD (s, f);
+  loadWorldFromFILE (s, f);
   fclose_safe (f); 
 }
 
 /* Don't use 'safe' functions, because we don't want the ML program to die.
  * Instead, check return values, and propogate them up to SML for an exception.
  */
-int saveWorldToFD (GC_state s, FILE *f) {
+int saveWorldToFILE (GC_state s, FILE *f) {
   char buf[80];
   size_t len;
 
@@ -86,18 +86,24 @@
   return 0;
 }
 
-uint32_t GC_saveWorld (GC_state s, NullString8_t fileName) {
+C_Errno_t(Bool_t) GC_saveWorld (GC_state s, NullString8_t fileName) {
   FILE *f;
   
   enter (s);
-  f = fopen((const char*)fileName, "wb");
-  if (0 == f) {
+  f = fopen ((const char*)fileName, "wb");
+  if (f == 0) {
     leave (s);
-    return 1;
+    return (Bool_t)FALSE;
   }
-  if (saveWorldToFD (s, f) != 0) return 1;
-  if (fclose (f) != 0) return 1;
+  if (saveWorldToFILE (s, f) != 0) {
+    leave (s);
+    return (Bool_t)FALSE;
+  }
+  if (fclose (f) != 0) {
+    leave (s);
+    return (Bool_t)FALSE;
+  }
+  
   leave (s);
-  
-  return 0;
+  return (Bool_t)TRUE;
 }

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.h	2006-06-12 16:25:12 UTC (rev 4647)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/world.h	2006-06-12 16:50:57 UTC (rev 4648)
@@ -8,15 +8,15 @@
 
 #if (defined (MLTON_GC_INTERNAL_FUNCS))
 
-static void loadWorldFromFD (GC_state s, FILE *f);
+static void loadWorldFromFILE (GC_state s, FILE *f);
 static void loadWorldFromFileName (GC_state s, const char *fileName);
-static int saveWorldToFD (GC_state s, FILE *f);
+static int saveWorldToFILE (GC_state s, FILE *f);
 
 #endif /* (defined (MLTON_GC_INTERNAL_FUNCS)) */
 
 #if (defined (MLTON_GC_INTERNAL_BASIS))
 
-/* 0 = success, 1 = failure (a bool) */
-uint32_t GC_saveWorld (GC_state s, NullString8_t fileName);
+/* TRUE = success, FALSE = failure */
+C_Errno_t(Bool_t) GC_saveWorld (GC_state s, NullString8_t fileName);
 
 #endif /* (defined (MLTON_GC_INTERNAL_BASIS)) */

Modified: mlton/branches/on-20050822-x86_64-branch/runtime/gc.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc.h	2006-06-12 16:25:12 UTC (rev 4647)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc.h	2006-06-12 16:50:57 UTC (rev 4648)
@@ -12,6 +12,7 @@
 #include "cenv.h"
 #include "util.h"
 #include "ml-types.h"
+#include "c-types.h"
 
 #include "gc/debug.h"
 

dos2unix
----------------------------------------------------------------------

U   mlton/branches/on-20050822-x86_64-branch/basis-library/primitive/basis-ffi.sml

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

Modified: mlton/branches/on-20050822-x86_64-branch/basis-library/primitive/basis-ffi.sml
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library/primitive/basis-ffi.sml	2006-06-12 16:24:06 UTC (rev 4646)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library/primitive/basis-ffi.sml	2006-06-12 16:25:12 UTC (rev 4647)
@@ -1,1411 +1,1411 @@
-(* This file is automatically generated.  Do not edit. *)
-
-local open Primitive in 
-structure PrimitiveFFI =
-struct
-structure CommandLine = 
-struct
-val (argcGet, argcSet) = _symbol "CommandLine_argc": (unit -> (C_Int.t)) * ((C_Int.t) -> unit);
-val (argvGet, argvSet) = _symbol "CommandLine_argv": (unit -> (C_StringArray.t)) * ((C_StringArray.t) -> unit);
-val (commandNameGet, commandNameSet) = _symbol "CommandLine_commandName": (unit -> (C_String.t)) * ((C_String.t) -> unit);
-end
-structure Cygwin = 
-struct
-val toFullWindowsPath = _import "Cygwin_toFullWindowsPath" : NullString8.t -> C_String.t;
-end
-structure Date = 
-struct
-val gmTime = _import "Date_gmTime" : (C_Time.t) ref -> (C_Int.t) C_Errno.t;
-val localOffset = _import "Date_localOffset" : unit -> C_Double.t;
-val localTime = _import "Date_localTime" : (C_Time.t) ref -> (C_Int.t) C_Errno.t;
-val mkTime = _import "Date_mkTime" : unit -> (C_Time.t) C_Errno.t;
-val strfTime = _import "Date_strfTime" : (Char8.t) array * C_Size.t * NullString8.t -> C_Size.t;
-structure Tm = 
-struct
-val getHour = _import "Date_Tm_getHour" : unit -> C_Int.t;
-val getIsDst = _import "Date_Tm_getIsDst" : unit -> C_Int.t;
-val getMDay = _import "Date_Tm_getMDay" : unit -> C_Int.t;
-val getMin = _import "Date_Tm_getMin" : unit -> C_Int.t;
-val getMon = _import "Date_Tm_getMon" : unit -> C_Int.t;
-val getSec = _import "Date_Tm_getSec" : unit -> C_Int.t;
-val getWDay = _import "Date_Tm_getWDay" : unit -> C_Int.t;
-val getYDay = _import "Date_Tm_getYDay" : unit -> C_Int.t;
-val getYear = _import "Date_Tm_getYear" : unit -> C_Int.t;
-val setHour = _import "Date_Tm_setHour" : C_Int.t -> unit;
-val setIsDst = _import "Date_Tm_setIsDst" : C_Int.t -> unit;
-val setMDay = _import "Date_Tm_setMDay" : C_Int.t -> unit;
-val setMin = _import "Date_Tm_setMin" : C_Int.t -> unit;
-val setMon = _import "Date_Tm_setMon" : C_Int.t -> unit;
-val setSec = _import "Date_Tm_setSec" : C_Int.t -> unit;
-val setWDay = _import "Date_Tm_setWDay" : C_Int.t -> unit;
-val setYDay = _import "Date_Tm_setYDay" : C_Int.t -> unit;
-val setYear = _import "Date_Tm_setYear" : C_Int.t -> unit;
-end
-end
-structure IEEEReal = 
-struct
-structure FloatClass = 
-struct
-val FP_INFINITE = _const "IEEEReal_FloatClass_FP_INFINITE" : C_Int.t;
-val FP_NAN = _const "IEEEReal_FloatClass_FP_NAN" : C_Int.t;
-val FP_NORMAL = _const "IEEEReal_FloatClass_FP_NORMAL" : C_Int.t;
-val FP_SUBNORMAL = _const "IEEEReal_FloatClass_FP_SUBNORMAL" : C_Int.t;
-val FP_ZERO = _const "IEEEReal_FloatClass_FP_ZERO" : C_Int.t;
-end
-val getRoundingMode = _import "IEEEReal_getRoundingMode" : unit -> C_Int.t;
-structure RoundingMode = 
-struct
-val FE_DOWNWARD = _const "IEEEReal_RoundingMode_FE_DOWNWARD" : C_Int.t;
-val FE_NOSUPPORT = _const "IEEEReal_RoundingMode_FE_NOSUPPORT" : C_Int.t;
-val FE_TONEAREST = _const "IEEEReal_RoundingMode_FE_TONEAREST" : C_Int.t;
-val FE_TOWARDZERO = _const "IEEEReal_RoundingMode_FE_TOWARDZERO" : C_Int.t;
-val FE_UPWARD = _const "IEEEReal_RoundingMode_FE_UPWARD" : C_Int.t;
-end
-val setRoundingMode = _import "IEEEReal_setRoundingMode" : C_Int.t -> unit;
-end
-structure MLton = 
-struct
-val bug = _import "MLton_bug" : NullString8.t -> unit;
-structure Itimer = 
-struct
-val PROF = _const "MLton_Itimer_PROF" : C_Int.t;
-val REAL = _const "MLton_Itimer_REAL" : C_Int.t;
-val set = _import "MLton_Itimer_set" : C_Int.t * C_Time.t * C_SUSeconds.t * C_Time.t * C_SUSeconds.t -> (C_Int.t) C_Errno.t;
-val VIRTUAL = _const "MLton_Itimer_VIRTUAL" : C_Int.t;
-end
-structure Process = 
-struct
-val cwait = _import "MLton_Process_cwait" : C_PId.t * (C_Status.t) ref -> (C_PId.t) C_Errno.t;
-val spawne = _import "MLton_Process_spawne" : NullString8.t * NullString8Array.t * NullString8Array.t -> (C_Int.t) C_Errno.t;
-val spawnp = _import "MLton_Process_spawnp" : NullString8.t * NullString8Array.t -> (C_Int.t) C_Errno.t;
-end
-structure Rlimit = 
-struct
-val AS = _const "MLton_Rlimit_AS" : C_Int.t;
-val CORE = _const "MLton_Rlimit_CORE" : C_Int.t;
-val CPU = _const "MLton_Rlimit_CPU" : C_Int.t;
-val DATA = _const "MLton_Rlimit_DATA" : C_Int.t;
-val FSIZE = _const "MLton_Rlimit_FSIZE" : C_Int.t;
-val get = _import "MLton_Rlimit_get" : C_Int.t -> (C_Int.t) C_Errno.t;
-val getHard = _import "MLton_Rlimit_getHard" : unit -> C_RLim.t;
-val getSoft = _import "MLton_Rlimit_getSoft" : unit -> C_RLim.t;
-val INFINITY = _const "MLton_Rlimit_INFINITY" : C_RLim.t;
-val NOFILE = _const "MLton_Rlimit_NOFILE" : C_Int.t;
-val set = _import "MLton_Rlimit_set" : C_Int.t * C_RLim.t * C_RLim.t -> (C_Int.t) C_Errno.t;
-val STACK = _const "MLton_Rlimit_STACK" : C_Int.t;
-end
-structure Rusage = 
-struct
-val children_stime_sec = _import "MLton_Rusage_children_stime_sec" : unit -> C_Time.t;
-val children_stime_usec = _import "MLton_Rusage_children_stime_usec" : unit -> C_SUSeconds.t;
-val children_utime_sec = _import "MLton_Rusage_children_utime_sec" : unit -> C_Time.t;
-val children_utime_usec = _import "MLton_Rusage_children_utime_usec" : unit -> C_SUSeconds.t;
-val gc_stime_sec = _import "MLton_Rusage_gc_stime_sec" : unit -> C_Time.t;
-val gc_stime_usec = _import "MLton_Rusage_gc_stime_usec" : unit -> C_SUSeconds.t;
-val gc_utime_sec = _import "MLton_Rusage_gc_utime_sec" : unit -> C_Time.t;
-val gc_utime_usec = _import "MLton_Rusage_gc_utime_usec" : unit -> C_SUSeconds.t;
-val getrusage = _import "MLton_Rusage_getrusage" : unit -> unit;
-val self_stime_sec = _import "MLton_Rusage_self_stime_sec" : unit -> C_Time.t;
-val self_stime_usec = _import "MLton_Rusage_self_stime_usec" : unit -> C_SUSeconds.t;
-val self_utime_sec = _import "MLton_Rusage_self_utime_sec" : unit -> C_Time.t;
-val self_utime_usec = _import "MLton_Rusage_self_utime_usec" : unit -> C_SUSeconds.t;
-end
-structure Syslog = 
-struct
-val closelog = _import "MLton_Syslog_closelog" : unit -> unit;
-structure Facility = 
-struct
-val LOG_AUTH = _const "MLton_Syslog_Facility_LOG_AUTH" : C_Int.t;
-val LOG_CRON = _const "MLton_Syslog_Facility_LOG_CRON" : C_Int.t;
-val LOG_DAEMON = _const "MLton_Syslog_Facility_LOG_DAEMON" : C_Int.t;
-val LOG_KERN = _const "MLton_Syslog_Facility_LOG_KERN" : C_Int.t;
-val LOG_LOCAL0 = _const "MLton_Syslog_Facility_LOG_LOCAL0" : C_Int.t;
-val LOG_LOCAL1 = _const "MLton_Syslog_Facility_LOG_LOCAL1" : C_Int.t;
-val LOG_LOCAL2 = _const "MLton_Syslog_Facility_LOG_LOCAL2" : C_Int.t;
-val LOG_LOCAL3 = _const "MLton_Syslog_Facility_LOG_LOCAL3" : C_Int.t;
-val LOG_LOCAL4 = _const "MLton_Syslog_Facility_LOG_LOCAL4" : C_Int.t;
-val LOG_LOCAL5 = _const "MLton_Syslog_Facility_LOG_LOCAL5" : C_Int.t;
-val LOG_LOCAL6 = _const "MLton_Syslog_Facility_LOG_LOCAL6" : C_Int.t;
-val LOG_LOCAL7 = _const "MLton_Syslog_Facility_LOG_LOCAL7" : C_Int.t;
-val LOG_LPR = _const "MLton_Syslog_Facility_LOG_LPR" : C_Int.t;
-val LOG_MAIL = _const "MLton_Syslog_Facility_LOG_MAIL" : C_Int.t;
-val LOG_NEWS = _const "MLton_Syslog_Facility_LOG_NEWS" : C_Int.t;
-val LOG_USER = _const "MLton_Syslog_Facility_LOG_USER" : C_Int.t;
-val LOG_UUCP = _const "MLton_Syslog_Facility_LOG_UUCP" : C_Int.t;
-end
-structure Logopt = 
-struct
-val LOG_CONS = _const "MLton_Syslog_Logopt_LOG_CONS" : C_Int.t;
-val LOG_NDELAY = _const "MLton_Syslog_Logopt_LOG_NDELAY" : C_Int.t;
-val LOG_NOWAIT = _const "MLton_Syslog_Logopt_LOG_NOWAIT" : C_Int.t;
-val LOG_ODELAY = _const "MLton_Syslog_Logopt_LOG_ODELAY" : C_Int.t;
-val LOG_PID = _const "MLton_Syslog_Logopt_LOG_PID" : C_Int.t;
-end
-val openlog = _import "MLton_Syslog_openlog" : NullString8.t * C_Int.t * C_Int.t -> unit;
-structure Severity = 
-struct
-val LOG_ALERT = _const "MLton_Syslog_Severity_LOG_ALERT" : C_Int.t;
-val LOG_CRIT = _const "MLton_Syslog_Severity_LOG_CRIT" : C_Int.t;
-val LOG_DEBUG = _const "MLton_Syslog_Severity_LOG_DEBUG" : C_Int.t;
-val LOG_EMERG = _const "MLton_Syslog_Severity_LOG_EMERG" : C_Int.t;
-val LOG_ERR = _const "MLton_Syslog_Severity_LOG_ERR" : C_Int.t;
-val LOG_INFO = _const "MLton_Syslog_Severity_LOG_INFO" : C_Int.t;
-val LOG_NOTICE = _const "MLton_Syslog_Severity_LOG_NOTICE" : C_Int.t;
-val LOG_WARNING = _const "MLton_Syslog_Severity_LOG_WARNING" : C_Int.t;
-end
-val syslog = _import "MLton_Syslog_syslog" : C_Int.t * NullString8.t -> unit;
-end
-end
-structure Net = 
-struct
-val htonl = _import "Net_htonl" : Word32.t -> Word32.t;
-val htons = _import "Net_htons" : Word16.t -> Word16.t;
-val ntohl = _import "Net_ntohl" : Word32.t -> Word32.t;
-val ntohs = _import "Net_ntohs" : Word16.t -> Word16.t;
-end
-structure NetHostDB = 
-struct
-val getByAddress = _import "NetHostDB_getByAddress" : (Word8.t) vector * C_Socklen.t -> Bool.t;
-val getByName = _import "NetHostDB_getByName" : NullString8.t -> Bool.t;
-val getEntryAddrsN = _import "NetHostDB_getEntryAddrsN" : C_Int.t * (Word8.t) array -> unit;
-val getEntryAddrsNum = _import "NetHostDB_getEntryAddrsNum" : unit -> C_Int.t;
-val getEntryAddrType = _import "NetHostDB_getEntryAddrType" : unit -> C_Int.t;
-val getEntryAliasesN = _import "NetHostDB_getEntryAliasesN" : C_Int.t -> C_String.t;
-val getEntryAliasesNum = _import "NetHostDB_getEntryAliasesNum" : unit -> C_Int.t;
-val getEntryLength = _import "NetHostDB_getEntryLength" : unit -> C_Int.t;
-val getEntryName = _import "NetHostDB_getEntryName" : unit -> C_String.t;
-val getHostName = _import "NetHostDB_getHostName" : (Char8.t) array * C_Size.t -> (C_Int.t) C_Errno.t;
-val INADDR_ANY = _const "NetHostDB_INADDR_ANY" : C_Int.t;
-val inAddrSize = _const "NetHostDB_inAddrSize" : C_Size.t;
-end
-structure NetProtDB = 
-struct
-val getByName = _import "NetProtDB_getByName" : NullString8.t -> Bool.t;
-val getByNumber = _import "NetProtDB_getByNumber" : C_Int.t -> Bool.t;
-val getEntryAliasesN = _import "NetProtDB_getEntryAliasesN" : C_Int.t -> C_String.t;
-val getEntryAliasesNum = _import "NetProtDB_getEntryAliasesNum" : unit -> C_Int.t;
-val getEntryName = _import "NetProtDB_getEntryName" : unit -> C_String.t;
-val getEntryProto = _import "NetProtDB_getEntryProto" : unit -> C_Int.t;
-end
-structure NetServDB = 
-struct
-val getByName = _import "NetServDB_getByName" : NullString8.t * NullString8.t -> Bool.t;
-val getByNameNull = _import "NetServDB_getByNameNull" : NullString8.t -> Bool.t;
-val getByPort = _import "NetServDB_getByPort" : C_Int.t * NullString8.t -> Bool.t;
-val getByPortNull = _import "NetServDB_getByPortNull" : C_Int.t -> Bool.t;
-val getEntryAliasesN = _import "NetServDB_getEntryAliasesN" : C_Int.t -> C_String.t;
-val getEntryAliasesNum = _import "NetServDB_getEntryAliasesNum" : unit -> C_Int.t;
-val getEntryName = _import "NetServDB_getEntryName" : unit -> C_String.t;
-val getEntryPort = _import "NetServDB_getEntryPort" : unit -> C_Int.t;
-val getEntryProto = _import "NetServDB_getEntryProto" : unit -> C_String.t;
-end
-structure OS = 
-struct
-structure IO = 
-struct
-val poll = _import "OS_IO_poll" : (C_Fd.t) vector * (C_Short.t) vector * C_NFds.t * C_Int.t * (C_Short.t) array -> (C_Int.t) C_Errno.t;
-val POLLIN = _const "OS_IO_POLLIN" : C_Short.t;
-val POLLOUT = _const "OS_IO_POLLOUT" : C_Short.t;
-val POLLPRI = _const "OS_IO_POLLPRI" : C_Short.t;
-end
-end
-structure PackReal32 = 
-struct
-val subArr = _import "PackReal32_subArr" : (Word8.t) array * C_Ptrdiff.t -> Real32.t;
-val subArrRev = _import "PackReal32_subArrRev" : (Word8.t) array * C_Ptrdiff.t -> Real32.t;
-val subVec = _import "PackReal32_subVec" : (Word8.t) vector * C_Ptrdiff.t -> Real32.t;
-val subVecRev = _import "PackReal32_subVecRev" : (Word8.t) vector * C_Ptrdiff.t -> Real32.t;
-val update = _import "PackReal32_update" : (Word8.t) array * C_Ptrdiff.t * Real32.t -> unit;
-val updateRev = _import "PackReal32_updateRev" : (Word8.t) array * C_Ptrdiff.t * Real32.t -> unit;
-end
-structure PackReal64 = 
-struct
-val subArr = _import "PackReal64_subArr" : (Word8.t) array * C_Ptrdiff.t -> Real64.t;
-val subArrRev = _import "PackReal64_subArrRev" : (Word8.t) array * C_Ptrdiff.t -> Real64.t;
-val subVec = _import "PackReal64_subVec" : (Word8.t) vector * C_Ptrdiff.t -> Real64.t;
-val subVecRev = _import "PackReal64_subVecRev" : (Word8.t) vector * C_Ptrdiff.t -> Real64.t;
-val update = _import "PackReal64_update" : (Word8.t) array * C_Ptrdiff.t * Real64.t -> unit;
-val updateRev = _import "PackReal64_updateRev" : (Word8.t) array * C_Ptrdiff.t * Real64.t -> unit;
-end
-structure PackWord16 = 
-struct
-val subArr = _import "PackWord16_subArr" : (Word8.t) array * C_Ptrdiff.t -> Word16.t;
-val subArrRev = _import "PackWord16_subArrRev" : (Word8.t) array * C_Ptrdiff.t -> Word16.t;
-val subVec = _import "PackWord16_subVec" : (Word8.t) vector * C_Ptrdiff.t -> Word16.t;
-val subVecRev = _import "PackWord16_subVecRev" : (Word8.t) vector * C_Ptrdiff.t -> Word16.t;
-val update = _import "PackWord16_update" : (Word8.t) array * C_Ptrdiff.t * Word16.t -> unit;
-val updateRev = _import "PackWord16_updateRev" : (Word8.t) array * C_Ptrdiff.t * Word16.t -> unit;
-end
-structure PackWord32 = 
-struct
-val subArr = _import "PackWord32_subArr" : (Word8.t) array * C_Ptrdiff.t -> Word32.t;
-val subArrRev = _import "PackWord32_subArrRev" : (Word8.t) array * C_Ptrdiff.t -> Word32.t;
-val subVec = _import "PackWord32_subVec" : (Word8.t) vector * C_Ptrdiff.t -> Word32.t;
-val subVecRev = _import "PackWord32_subVecRev" : (Word8.t) vector * C_Ptrdiff.t -> Word32.t;
-val update = _import "PackWord32_update" : (Word8.t) array * C_Ptrdiff.t * Word32.t -> unit;
-val updateRev = _import "PackWord32_updateRev" : (Word8.t) array * C_Ptrdiff.t * Word32.t -> unit;
-end
-structure PackWord64 = 
-struct
-val subArr = _import "PackWord64_subArr" : (Word8.t) array * C_Ptrdiff.t -> Word64.t;
-val subArrRev = _import "PackWord64_subArrRev" : (Word8.t) array * C_Ptrdiff.t -> Word64.t;
-val subVec = _import "PackWord64_subVec" : (Word8.t) vector * C_Ptrdiff.t -> Word64.t;
-val subVecRev = _import "PackWord64_subVecRev" : (Word8.t) vector * C_Ptrdiff.t -> Word64.t;
-val update = _import "PackWord64_update" : (Word8.t) array * C_Ptrdiff.t * Word64.t -> unit;
-val updateRev = _import "PackWord64_updateRev" : (Word8.t) array * C_Ptrdiff.t * Word64.t -> unit;
-end
-structure PackWord8 = 
-struct
-val subArr = _import "PackWord8_subArr" : (Word8.t) array * C_Ptrdiff.t -> Word8.t;
-val subArrRev = _import "PackWord8_subArrRev" : (Word8.t) array * C_Ptrdiff.t -> Word8.t;
-val subVec = _import "PackWord8_subVec" : (Word8.t) vector * C_Ptrdiff.t -> Word8.t;
-val subVecRev = _import "PackWord8_subVecRev" : (Word8.t) vector * C_Ptrdiff.t -> Word8.t;
-val update = _import "PackWord8_update" : (Word8.t) array * C_Ptrdiff.t * Word8.t -> unit;
-val updateRev = _import "PackWord8_updateRev" : (Word8.t) array * C_Ptrdiff.t * Word8.t -> unit;
-end
-structure Posix = 
-struct
-structure Error = 
-struct
-val clearErrno = _import "Posix_Error_clearErrno" : unit -> unit;
-val E2BIG = _const "Posix_Error_E2BIG" : C_Int.t;
-val EACCES = _const "Posix_Error_EACCES" : C_Int.t;
-val EADDRINUSE = _const "Posix_Error_EADDRINUSE" : C_Int.t;
-val EADDRNOTAVAIL = _const "Posix_Error_EADDRNOTAVAIL" : C_Int.t;
-val EAFNOSUPPORT = _const "Posix_Error_EAFNOSUPPORT" : C_Int.t;
-val EAGAIN = _const "Posix_Error_EAGAIN" : C_Int.t;
-val EALREADY = _const "Posix_Error_EALREADY" : C_Int.t;
-val EBADF = _const "Posix_Error_EBADF" : C_Int.t;
-val EBADMSG = _const "Posix_Error_EBADMSG" : C_Int.t;
-val EBUSY = _const "Posix_Error_EBUSY" : C_Int.t;
-val ECANCELED = _const "Posix_Error_ECANCELED" : C_Int.t;
-val ECHILD = _const "Posix_Error_ECHILD" : C_Int.t;
-val ECONNABORTED = _const "Posix_Error_ECONNABORTED" : C_Int.t;
-val ECONNREFUSED = _const "Posix_Error_ECONNREFUSED" : C_Int.t;
-val ECONNRESET = _const "Posix_Error_ECONNRESET" : C_Int.t;
-val EDEADLK = _const "Posix_Error_EDEADLK" : C_Int.t;
-val EDESTADDRREQ = _const "Posix_Error_EDESTADDRREQ" : C_Int.t;
-val EDOM = _const "Posix_Error_EDOM" : C_Int.t;
-val EDQUOT = _const "Posix_Error_EDQUOT" : C_Int.t;
-val EEXIST = _const "Posix_Error_EEXIST" : C_Int.t;
-val EFAULT = _const "Posix_Error_EFAULT" : C_Int.t;
-val EFBIG = _const "Posix_Error_EFBIG" : C_Int.t;
-val EHOSTUNREACH = _const "Posix_Error_EHOSTUNREACH" : C_Int.t;
-val EIDRM = _const "Posix_Error_EIDRM" : C_Int.t;
-val EILSEQ = _const "Posix_Error_EILSEQ" : C_Int.t;
-val EINPROGRESS = _const "Posix_Error_EINPROGRESS" : C_Int.t;
-val EINTR = _const "Posix_Error_EINTR" : C_Int.t;
-val EINVAL = _const "Posix_Error_EINVAL" : C_Int.t;
-val EIO = _const "Posix_Error_EIO" : C_Int.t;
-val EISCONN = _const "Posix_Error_EISCONN" : C_Int.t;
-val EISDIR = _const "Posix_Error_EISDIR" : C_Int.t;
-val ELOOP = _const "Posix_Error_ELOOP" : C_Int.t;
-val EMFILE = _const "Posix_Error_EMFILE" : C_Int.t;
-val EMLINK = _const "Posix_Error_EMLINK" : C_Int.t;
-val EMSGSIZE = _const "Posix_Error_EMSGSIZE" : C_Int.t;
-val EMULTIHOP = _const "Posix_Error_EMULTIHOP" : C_Int.t;
-val ENAMETOOLONG = _const "Posix_Error_ENAMETOOLONG" : C_Int.t;
-val ENETDOWN = _const "Posix_Error_ENETDOWN" : C_Int.t;
-val ENETRESET = _const "Posix_Error_ENETRESET" : C_Int.t;
-val ENETUNREACH = _const "Posix_Error_ENETUNREACH" : C_Int.t;
-val ENFILE = _const "Posix_Error_ENFILE" : C_Int.t;
-val ENOBUFS = _const "Posix_Error_ENOBUFS" : C_Int.t;
-val ENODATA = _const "Posix_Error_ENODATA" : C_Int.t;
-val ENODEV = _const "Posix_Error_ENODEV" : C_Int.t;
-val ENOENT = _const "Posix_Error_ENOENT" : C_Int.t;
-val ENOEXEC = _const "Posix_Error_ENOEXEC" : C_Int.t;
-val ENOLCK = _const "Posix_Error_ENOLCK" : C_Int.t;
-val ENOLINK = _const "Posix_Error_ENOLINK" : C_Int.t;
-val ENOMEM = _const "Posix_Error_ENOMEM" : C_Int.t;
-val ENOMSG = _const "Posix_Error_ENOMSG" : C_Int.t;
-val ENOPROTOOPT = _const "Posix_Error_ENOPROTOOPT" : C_Int.t;
-val ENOSPC = _const "Posix_Error_ENOSPC" : C_Int.t;
-val ENOSR = _const "Posix_Error_ENOSR" : C_Int.t;
-val ENOSTR = _const "Posix_Error_ENOSTR" : C_Int.t;
-val ENOSYS = _const "Posix_Error_ENOSYS" : C_Int.t;
-val ENOTCONN = _const "Posix_Error_ENOTCONN" : C_Int.t;
-val ENOTDIR = _const "Posix_Error_ENOTDIR" : C_Int.t;
-val ENOTEMPTY = _const "Posix_Error_ENOTEMPTY" : C_Int.t;
-val ENOTSOCK = _const "Posix_Error_ENOTSOCK" : C_Int.t;
-val ENOTSUP = _const "Posix_Error_ENOTSUP" : C_Int.t;
-val ENOTTY = _const "Posix_Error_ENOTTY" : C_Int.t;
-val ENXIO = _const "Posix_Error_ENXIO" : C_Int.t;
-val EOPNOTSUPP = _const "Posix_Error_EOPNOTSUPP" : C_Int.t;
-val EOVERFLOW = _const "Posix_Error_EOVERFLOW" : C_Int.t;
-val EPERM = _const "Posix_Error_EPERM" : C_Int.t;
-val EPIPE = _const "Posix_Error_EPIPE" : C_Int.t;
-val EPROTO = _const "Posix_Error_EPROTO" : C_Int.t;
-val EPROTONOSUPPORT = _const "Posix_Error_EPROTONOSUPPORT" : C_Int.t;
-val EPROTOTYPE = _const "Posix_Error_EPROTOTYPE" : C_Int.t;
-val ERANGE = _const "Posix_Error_ERANGE" : C_Int.t;
-val EROFS = _const "Posix_Error_EROFS" : C_Int.t;
-val ESPIPE = _const "Posix_Error_ESPIPE" : C_Int.t;
-val ESRCH = _const "Posix_Error_ESRCH" : C_Int.t;
-val ESTALE = _const "Posix_Error_ESTALE" : C_Int.t;
-val ETIME = _const "Posix_Error_ETIME" : C_Int.t;
-val ETIMEDOUT = _const "Posix_Error_ETIMEDOUT" : C_Int.t;
-val ETXTBSY = _const "Posix_Error_ETXTBSY" : C_Int.t;
-val EWOULDBLOCK = _const "Posix_Error_EWOULDBLOCK" : C_Int.t;
-val EXDEV = _const "Posix_Error_EXDEV" : C_Int.t;
-val getErrno = _import "Posix_Error_getErrno" : unit -> C_Int.t;
-val strError = _import "Posix_Error_strError" : C_Int.t -> C_String.t;
-end
-structure FileSys = 
-struct
-structure A = 
-struct
-val F_OK = _const "Posix_FileSys_A_F_OK" : C_Int.t;
-val R_OK = _const "Posix_FileSys_A_R_OK" : C_Int.t;
-val W_OK = _const "Posix_FileSys_A_W_OK" : C_Int.t;
-val X_OK = _const "Posix_FileSys_A_X_OK" : C_Int.t;
-end
-val access = _import "Posix_FileSys_access" : NullString8.t * C_Int.t -> (C_Int.t) C_Errno.t;
-val chdir = _import "Posix_FileSys_chdir" : NullString8.t -> (C_Int.t) C_Errno.t;
-val chmod = _import "Posix_FileSys_chmod" : NullString8.t * C_Mode.t -> (C_Int.t) C_Errno.t;
-val chown = _import "Posix_FileSys_chown" : NullString8.t * C_UId.t * C_GId.t -> (C_Int.t) C_Errno.t;
-structure Dirstream = 
-struct
-val closeDir = _import "Posix_FileSys_Dirstream_closeDir" : C_DirP.t -> (C_Int.t) C_Errno.t;
-val openDir = _import "Posix_FileSys_Dirstream_openDir" : NullString8.t -> (C_DirP.t) C_Errno.t;
-val readDir = _import "Posix_FileSys_Dirstream_readDir" : C_DirP.t -> (C_String.t) C_Errno.t;
-val rewindDir = _import "Posix_FileSys_Dirstream_rewindDir" : C_DirP.t -> unit;
-end
-val fchdir = _import "Posix_FileSys_fchdir" : C_Fd.t -> (C_Int.t) C_Errno.t;
-val fchmod = _import "Posix_FileSys_fchmod" : C_Fd.t * C_Mode.t -> (C_Int.t) C_Errno.t;
-val fchown = _import "Posix_FileSys_fchown" : C_Fd.t * C_UId.t * C_GId.t -> (C_Int.t) C_Errno.t;
-val fpathconf = _import "Posix_FileSys_fpathconf" : C_Fd.t * C_Int.t -> (C_Long.t) C_Errno.t;
-val ftruncate = _import "Posix_FileSys_ftruncate" : C_Fd.t * C_Off.t -> (C_Int.t) C_Errno.t;
-val getcwd = _import "Posix_FileSys_getcwd" : (Char8.t) array * C_Size.t -> (C_String.t) C_Errno.t;
-val link = _import "Posix_FileSys_link" : NullString8.t * NullString8.t -> (C_Int.t) C_Errno.t;
-val mkdir = _import "Posix_FileSys_mkdir" : NullString8.t * C_Mode.t -> (C_Int.t) C_Errno.t;
-val mkfifo = _import "Posix_FileSys_mkfifo" : NullString8.t * C_Mode.t -> (C_Int.t) C_Errno.t;
-structure O = 
-struct
-val APPEND = _const "Posix_FileSys_O_APPEND" : C_Int.t;
-val BINARY = _const "Posix_FileSys_O_BINARY" : C_Int.t;
-val CREAT = _const "Posix_FileSys_O_CREAT" : C_Int.t;
-val DSYNC = _const "Posix_FileSys_O_DSYNC" : C_Int.t;
-val EXCL = _const "Posix_FileSys_O_EXCL" : C_Int.t;
-val NOCTTY = _const "Posix_FileSys_O_NOCTTY" : C_Int.t;
-val NONBLOCK = _const "Posix_FileSys_O_NONBLOCK" : C_Int.t;
-val RDONLY = _const "Posix_FileSys_O_RDONLY" : C_Int.t;
-val RDWR = _const "Posix_FileSys_O_RDWR" : C_Int.t;
-val RSYNC = _const "Posix_FileSys_O_RSYNC" : C_Int.t;
-val SYNC = _const "Posix_FileSys_O_SYNC" : C_Int.t;
-val TEXT = _const "Posix_FileSys_O_TEXT" : C_Int.t;
-val TRUNC = _const "Posix_FileSys_O_TRUNC" : C_Int.t;
-val WRONLY = _const "Posix_FileSys_O_WRONLY" : C_Int.t;
-end
-val open2 = _import "Posix_FileSys_open2" : NullString8.t * C_Int.t -> (C_Fd.t) C_Errno.t;
-val open3 = _import "Posix_FileSys_open3" : NullString8.t * C_Int.t * C_Mode.t -> (C_Fd.t) C_Errno.t;
-val pathconf = _import "Posix_FileSys_pathconf" : NullString8.t * C_Int.t -> (C_Long.t) C_Errno.t;
-structure PC = 
-struct
-val ALLOC_SIZE_MIN = _const "Posix_FileSys_PC_ALLOC_SIZE_MIN" : C_Int.t;
-val ASYNC_IO = _const "Posix_FileSys_PC_ASYNC_IO" : C_Int.t;
-val CHOWN_RESTRICTED = _const "Posix_FileSys_PC_CHOWN_RESTRICTED" : C_Int.t;
-val FILESIZEBITS = _const "Posix_FileSys_PC_FILESIZEBITS" : C_Int.t;
-val LINK_MAX = _const "Posix_FileSys_PC_LINK_MAX" : C_Int.t;
-val MAX_CANON = _const "Posix_FileSys_PC_MAX_CANON" : C_Int.t;
-val MAX_INPUT = _const "Posix_FileSys_PC_MAX_INPUT" : C_Int.t;
-val NAME_MAX = _const "Posix_FileSys_PC_NAME_MAX" : C_Int.t;
-val NO_TRUNC = _const "Posix_FileSys_PC_NO_TRUNC" : C_Int.t;
-val PATH_MAX = _const "Posix_FileSys_PC_PATH_MAX" : C_Int.t;
-val PIPE_BUF = _const "Posix_FileSys_PC_PIPE_BUF" : C_Int.t;
-val PRIO_IO = _const "Posix_FileSys_PC_PRIO_IO" : C_Int.t;
-val REC_INCR_XFER_SIZE = _const "Posix_FileSys_PC_REC_INCR_XFER_SIZE" : C_Int.t;
-val REC_MAX_XFER_SIZE = _const "Posix_FileSys_PC_REC_MAX_XFER_SIZE" : C_Int.t;
-val REC_MIN_XFER_SIZE = _const "Posix_FileSys_PC_REC_MIN_XFER_SIZE" : C_Int.t;
-val REC_XFER_ALIGN = _const "Posix_FileSys_PC_REC_XFER_ALIGN" : C_Int.t;
-val SYMLINK_MAX = _const "Posix_FileSys_PC_SYMLINK_MAX" : C_Int.t;
-val SYNC_IO = _const "Posix_FileSys_PC_SYNC_IO" : C_Int.t;
-val TWO_SYMLINKS = _const "Posix_FileSys_PC_TWO_SYMLINKS" : C_Int.t;
-val VDISABLE = _const "Posix_FileSys_PC_VDISABLE" : C_Int.t;
-end
-val readlink = _import "Posix_FileSys_readlink" : NullString8.t * (Char8.t) array * C_Size.t -> (C_SSize.t) C_Errno.t;
-val rename = _import "Posix_FileSys_rename" : NullString8.t * NullString8.t -> (C_Int.t) C_Errno.t;
-val rmdir = _import "Posix_FileSys_rmdir" : NullString8.t -> (C_Int.t) C_Errno.t;
-structure S = 
-struct
-val IFBLK = _const "Posix_FileSys_S_IFBLK" : C_Mode.t;
-val IFCHR = _const "Posix_FileSys_S_IFCHR" : C_Mode.t;
-val IFDIR = _const "Posix_FileSys_S_IFDIR" : C_Mode.t;
-val IFIFO = _const "Posix_FileSys_S_IFIFO" : C_Mode.t;
-val IFLNK = _const "Posix_FileSys_S_IFLNK" : C_Mode.t;
-val IFMT = _const "Posix_FileSys_S_IFMT" : C_Mode.t;
-val IFREG = _const "Posix_FileSys_S_IFREG" : C_Mode.t;
-val IFSOCK = _const "Posix_FileSys_S_IFSOCK" : C_Mode.t;
-val IRGRP = _const "Posix_FileSys_S_IRGRP" : C_Mode.t;
-val IROTH = _const "Posix_FileSys_S_IROTH" : C_Mode.t;
-val IRUSR = _const "Posix_FileSys_S_IRUSR" : C_Mode.t;
-val IRWXG = _const "Posix_FileSys_S_IRWXG" : C_Mode.t;
-val IRWXO = _const "Posix_FileSys_S_IRWXO" : C_Mode.t;
-val IRWXU = _const "Posix_FileSys_S_IRWXU" : C_Mode.t;
-val ISGID = _const "Posix_FileSys_S_ISGID" : C_Mode.t;
-val ISUID = _const "Posix_FileSys_S_ISUID" : C_Mode.t;
-val ISVTX = _const "Posix_FileSys_S_ISVTX" : C_Mode.t;
-val IWGRP = _const "Posix_FileSys_S_IWGRP" : C_Mode.t;
-val IWOTH = _const "Posix_FileSys_S_IWOTH" : C_Mode.t;
-val IWUSR = _const "Posix_FileSys_S_IWUSR" : C_Mode.t;
-val IXGRP = _const "Posix_FileSys_S_IXGRP" : C_Mode.t;
-val IXOTH = _const "Posix_FileSys_S_IXOTH" : C_Mode.t;
-val IXUSR = _const "Posix_FileSys_S_IXUSR" : C_Mode.t;
-end
-structure ST = 
-struct
-val isBlk = _import "Posix_FileSys_ST_isBlk" : C_Mode.t -> Bool.t;
-val isChr = _import "Posix_FileSys_ST_isChr" : C_Mode.t -> Bool.t;
-val isDir = _import "Posix_FileSys_ST_isDir" : C_Mode.t -> Bool.t;
-val isFIFO = _import "Posix_FileSys_ST_isFIFO" : C_Mode.t -> Bool.t;
-val isLink = _import "Posix_FileSys_ST_isLink" : C_Mode.t -> Bool.t;
-val isReg = _import "Posix_FileSys_ST_isReg" : C_Mode.t -> Bool.t;
-val isSock = _import "Posix_FileSys_ST_isSock" : C_Mode.t -> Bool.t;
-end
-structure Stat = 
-struct
-val fstat = _import "Posix_FileSys_Stat_fstat" : C_Fd.t -> (C_Int.t) C_Errno.t;
-val getATime = _import "Posix_FileSys_Stat_getATime" : unit -> C_Time.t;
-val getCTime = _import "Posix_FileSys_Stat_getCTime" : unit -> C_Time.t;
-val getDev = _import "Posix_FileSys_Stat_getDev" : unit -> C_Dev.t;
-val getGId = _import "Posix_FileSys_Stat_getGId" : unit -> C_GId.t;
-val getINo = _import "Posix_FileSys_Stat_getINo" : unit -> C_INo.t;
-val getMode = _import "Posix_FileSys_Stat_getMode" : unit -> C_Mode.t;
-val getMTime = _import "Posix_FileSys_Stat_getMTime" : unit -> C_Time.t;
-val getNLink = _import "Posix_FileSys_Stat_getNLink" : unit -> C_NLink.t;
-val getRDev = _import "Posix_FileSys_Stat_getRDev" : unit -> C_Dev.t;
-val getSize = _import "Posix_FileSys_Stat_getSize" : unit -> C_Off.t;
-val getUId = _import "Posix_FileSys_Stat_getUId" : unit -> C_UId.t;
-val lstat = _import "Posix_FileSys_Stat_lstat" : NullString8.t -> (C_Int.t) C_Errno.t;
-val stat = _import "Posix_FileSys_Stat_stat" : NullString8.t -> (C_Int.t) C_Errno.t;
-end
-val symlink = _import "Posix_FileSys_symlink" : NullString8.t * NullString8.t -> (C_Int.t) C_Errno.t;
-val truncate = _import "Posix_FileSys_truncate" : NullString8.t * C_Off.t -> (C_Int.t) C_Errno.t;
-val umask = _import "Posix_FileSys_umask" : C_Mode.t -> C_Mode.t;
-val unlink = _import "Posix_FileSys_unlink" : NullString8.t -> (C_Int.t) C_Errno.t;
-structure Utimbuf = 
-struct
-val setAcTime = _import "Posix_FileSys_Utimbuf_setAcTime" : C_Time.t -> unit;
-val setModTime = _import "Posix_FileSys_Utimbuf_setModTime" : C_Time.t -> unit;
-val utime = _import "Posix_FileSys_Utimbuf_utime" : NullString8.t -> (C_Int.t) C_Errno.t;
-end
-end
-structure IO = 
-struct
-val close = _import "Posix_IO_close" : C_Fd.t -> (C_Int.t) C_Errno.t;
-val dup = _import "Posix_IO_dup" : C_Fd.t -> (C_Fd.t) C_Errno.t;
-val dup2 = _import "Posix_IO_dup2" : C_Fd.t * C_Fd.t -> (C_Fd.t) C_Errno.t;
-val F_DUPFD = _const "Posix_IO_F_DUPFD" : C_Int.t;
-val F_GETFD = _const "Posix_IO_F_GETFD" : C_Int.t;
-val F_GETFL = _const "Posix_IO_F_GETFL" : C_Int.t;
-val F_GETOWN = _const "Posix_IO_F_GETOWN" : C_Int.t;
-val F_SETFD = _const "Posix_IO_F_SETFD" : C_Int.t;
-val F_SETFL = _const "Posix_IO_F_SETFL" : C_Int.t;
-val F_SETOWN = _const "Posix_IO_F_SETOWN" : C_Int.t;
-val fcntl2 = _import "Posix_IO_fcntl2" : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t;
-val fcntl3 = _import "Posix_IO_fcntl3" : C_Fd.t * C_Int.t * C_Int.t -> (C_Int.t) C_Errno.t;
-structure FD = 
-struct
-val CLOEXEC = _const "Posix_IO_FD_CLOEXEC" : C_Int.t;
-end
-structure FLock = 
-struct
-val F_GETLK = _const "Posix_IO_FLock_F_GETLK" : C_Int.t;
-val F_RDLCK = _const "Posix_IO_FLock_F_RDLCK" : C_Short.t;
-val F_SETLK = _const "Posix_IO_FLock_F_SETLK" : C_Int.t;
-val F_SETLKW = _const "Posix_IO_FLock_F_SETLKW" : C_Int.t;
-val F_UNLCK = _const "Posix_IO_FLock_F_UNLCK" : C_Short.t;
-val F_WRLCK = _const "Posix_IO_FLock_F_WRLCK" : C_Short.t;
-val fcntl = _import "Posix_IO_FLock_fcntl" : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t;
-val getLen = _import "Posix_IO_FLock_getLen" : unit -> C_Off.t;
-val getPId = _import "Posix_IO_FLock_getPId" : unit -> C_PId.t;
-val getStart = _import "Posix_IO_FLock_getStart" : unit -> C_Off.t;
-val getType = _import "Posix_IO_FLock_getType" : unit -> C_Short.t;
-val getWhence = _import "Posix_IO_FLock_getWhence" : unit -> C_Short.t;
-val SEEK_CUR = _const "Posix_IO_FLock_SEEK_CUR" : C_Short.t;
-val SEEK_END = _const "Posix_IO_FLock_SEEK_END" : C_Short.t;
-val SEEK_SET = _const "Posix_IO_FLock_SEEK_SET" : C_Short.t;
-val setLen = _import "Posix_IO_FLock_setLen" : C_Off.t -> unit;
-val setPId = _import "Posix_IO_FLock_setPId" : C_PId.t -> unit;
-val setStart = _import "Posix_IO_FLock_setStart" : C_Off.t -> unit;
-val setType = _import "Posix_IO_FLock_setType" : C_Short.t -> unit;
-val setWhence = _import "Posix_IO_FLock_setWhence" : C_Short.t -> unit;
-end
-val fsync = _import "Posix_IO_fsync" : C_Fd.t -> (C_Int.t) C_Errno.t;
-val lseek = _import "Posix_IO_lseek" : C_Fd.t * C_Off.t * C_Int.t -> (C_Off.t) C_Errno.t;
-val O_ACCMODE = _const "Posix_IO_O_ACCMODE" : C_Int.t;
-val pipe = _import "Posix_IO_pipe" : (C_Fd.t) array -> (C_Int.t) C_Errno.t;
-val readChar8 = _import "Posix_IO_readChar8" : C_Fd.t * (Char8.t) array * C_Int.t * C_Size.t -> (C_SSize.t) C_Errno.t;
-val readWord8 = _import "Posix_IO_readWord8" : C_Fd.t * (Word8.t) array * C_Int.t * C_Size.t -> (C_SSize.t) C_Errno.t;
-val SEEK_CUR = _const "Posix_IO_SEEK_CUR" : C_Int.t;
-val SEEK_END = _const "Posix_IO_SEEK_END" : C_Int.t;
-val SEEK_SET = _const "Posix_IO_SEEK_SET" : C_Int.t;
-val setbin = _import "Posix_IO_setbin" : C_Fd.t -> unit;
-val settext = _import "Posix_IO_settext" : C_Fd.t -> unit;
-val writeChar8Arr = _import "Posix_IO_writeChar8Arr" : C_Fd.t * (Char8.t) array * C_Int.t * C_Size.t -> (C_SSize.t) C_Errno.t;
-val writeChar8Vec = _import "Posix_IO_writeChar8Vec" : C_Fd.t * (Char8.t) vector * C_Int.t * C_Size.t -> (C_SSize.t) C_Errno.t;
-val writeWord8Arr = _import "Posix_IO_writeWord8Arr" : C_Fd.t * (Word8.t) array * C_Int.t * C_Size.t -> (C_SSize.t) C_Errno.t;
-val writeWord8Vec = _import "Posix_IO_writeWord8Vec" : C_Fd.t * (Word8.t) vector * C_Int.t * C_Size.t -> (C_SSize.t) C_Errno.t;
-end
-structure ProcEnv = 
-struct
-val ctermid = _import "Posix_ProcEnv_ctermid" : unit -> C_String.t;
-val (environGet, environSet) = _symbol "Posix_ProcEnv_environ": (unit -> (C_StringArray.t)) * ((C_StringArray.t) -> unit);
-val getegid = _import "Posix_ProcEnv_getegid" : unit -> C_GId.t;
-val getenv = _import "Posix_ProcEnv_getenv" : NullString8.t -> C_String.t;
-val geteuid = _import "Posix_ProcEnv_geteuid" : unit -> C_UId.t;
-val getgid = _import "Posix_ProcEnv_getgid" : unit -> C_GId.t;
-val getgroups = _import "Posix_ProcEnv_getgroups" : C_Int.t * (C_GId.t) array -> (C_Int.t) C_Errno.t;
-val getgroupsN = _import "Posix_ProcEnv_getgroupsN" : unit -> C_Int.t;
-val getlogin = _import "Posix_ProcEnv_getlogin" : unit -> (C_String.t) C_Errno.t;
-val getpgrp = _import "Posix_ProcEnv_getpgrp" : unit -> C_PId.t;
-val getpid = _import "Posix_ProcEnv_getpid" : unit -> C_PId.t;
-val getppid = _import "Posix_ProcEnv_getppid" : unit -> C_PId.t;
-val getuid = _import "Posix_ProcEnv_getuid" : unit -> C_UId.t;
-val isatty = _import "Posix_ProcEnv_isatty" : C_Fd.t -> Bool.t;
-val SC_2_C_BIND = _const "Posix_ProcEnv_SC_2_C_BIND" : C_Int.t;
-val SC_2_C_DEV = _const "Posix_ProcEnv_SC_2_C_DEV" : C_Int.t;
-val SC_2_CHAR_TERM = _const "Posix_ProcEnv_SC_2_CHAR_TERM" : C_Int.t;
-val SC_2_FORT_DEV = _const "Posix_ProcEnv_SC_2_FORT_DEV" : C_Int.t;
-val SC_2_FORT_RUN = _const "Posix_ProcEnv_SC_2_FORT_RUN" : C_Int.t;
-val SC_2_LOCALEDEF = _const "Posix_ProcEnv_SC_2_LOCALEDEF" : C_Int.t;
-val SC_2_PBS = _const "Posix_ProcEnv_SC_2_PBS" : C_Int.t;
-val SC_2_PBS_ACCOUNTING = _const "Posix_ProcEnv_SC_2_PBS_ACCOUNTING" : C_Int.t;
-val SC_2_PBS_CHECKPOINT = _const "Posix_ProcEnv_SC_2_PBS_CHECKPOINT" : C_Int.t;
-val SC_2_PBS_LOCATE = _const "Posix_ProcEnv_SC_2_PBS_LOCATE" : C_Int.t;
-val SC_2_PBS_MESSAGE = _const "Posix_ProcEnv_SC_2_PBS_MESSAGE" : C_Int.t;
-val SC_2_PBS_TRACK = _const "Posix_ProcEnv_SC_2_PBS_TRACK" : C_Int.t;
-val SC_2_SW_DEV = _const "Posix_ProcEnv_SC_2_SW_DEV" : C_Int.t;
-val SC_2_UPE = _const "Posix_ProcEnv_SC_2_UPE" : C_Int.t;
-val SC_2_VERSION = _const "Posix_ProcEnv_SC_2_VERSION" : C_Int.t;
-val SC_ADVISORY_INFO = _const "Posix_ProcEnv_SC_ADVISORY_INFO" : C_Int.t;
-val SC_AIO_LISTIO_MAX = _const "Posix_ProcEnv_SC_AIO_LISTIO_MAX" : C_Int.t;
-val SC_AIO_MAX = _const "Posix_ProcEnv_SC_AIO_MAX" : C_Int.t;
-val SC_AIO_PRIO_DELTA_MAX = _const "Posix_ProcEnv_SC_AIO_PRIO_DELTA_MAX" : C_Int.t;
-val SC_ARG_MAX = _const "Posix_ProcEnv_SC_ARG_MAX" : C_Int.t;
-val SC_ASYNCHRONOUS_IO = _const "Posix_ProcEnv_SC_ASYNCHRONOUS_IO" : C_Int.t;
-val SC_ATEXIT_MAX = _const "Posix_ProcEnv_SC_ATEXIT_MAX" : C_Int.t;
-val SC_BARRIERS = _const "Posix_ProcEnv_SC_BARRIERS" : C_Int.t;
-val SC_BC_BASE_MAX = _const "Posix_ProcEnv_SC_BC_BASE_MAX" : C_Int.t;
-val SC_BC_DIM_MAX = _const "Posix_ProcEnv_SC_BC_DIM_MAX" : C_Int.t;
-val SC_BC_SCALE_MAX = _const "Posix_ProcEnv_SC_BC_SCALE_MAX" : C_Int.t;
-val SC_BC_STRING_MAX = _const "Posix_ProcEnv_SC_BC_STRING_MAX" : C_Int.t;
-val SC_CHILD_MAX = _const "Posix_ProcEnv_SC_CHILD_MAX" : C_Int.t;
-val SC_CLK_TCK = _const "Posix_ProcEnv_SC_CLK_TCK" : C_Int.t;
-val SC_CLOCK_SELECTION = _const "Posix_ProcEnv_SC_CLOCK_SELECTION" : C_Int.t;
-val SC_COLL_WEIGHTS_MAX = _const "Posix_ProcEnv_SC_COLL_WEIGHTS_MAX" : C_Int.t;
-val SC_CPUTIME = _const "Posix_ProcEnv_SC_CPUTIME" : C_Int.t;
-val SC_DELAYTIMER_MAX = _const "Posix_ProcEnv_SC_DELAYTIMER_MAX" : C_Int.t;
-val SC_EXPR_NEST_MAX = _const "Posix_ProcEnv_SC_EXPR_NEST_MAX" : C_Int.t;
-val SC_FSYNC = _const "Posix_ProcEnv_SC_FSYNC" : C_Int.t;
-val SC_GETGR_R_SIZE_MAX = _const "Posix_ProcEnv_SC_GETGR_R_SIZE_MAX" : C_Int.t;
-val SC_GETPW_R_SIZE_MAX = _const "Posix_ProcEnv_SC_GETPW_R_SIZE_MAX" : C_Int.t;
-val SC_HOST_NAME_MAX = _const "Posix_ProcEnv_SC_HOST_NAME_MAX" : C_Int.t;
-val SC_IOV_MAX = _const "Posix_ProcEnv_SC_IOV_MAX" : C_Int.t;
-val SC_IPV6 = _const "Posix_ProcEnv_SC_IPV6" : C_Int.t;
-val SC_JOB_CONTROL = _const "Posix_ProcEnv_SC_JOB_CONTROL" : C_Int.t;
-val SC_LINE_MAX = _const "Posix_ProcEnv_SC_LINE_MAX" : C_Int.t;
-val SC_LOGIN_NAME_MAX = _const "Posix_ProcEnv_SC_LOGIN_NAME_MAX" : C_Int.t;
-val SC_MAPPED_FILES = _const "Posix_ProcEnv_SC_MAPPED_FILES" : C_Int.t;
-val SC_MEMLOCK = _const "Posix_ProcEnv_SC_MEMLOCK" : C_Int.t;
-val SC_MEMLOCK_RANGE = _const "Posix_ProcEnv_SC_MEMLOCK_RANGE" : C_Int.t;
-val SC_MEMORY_PROTECTION = _const "Posix_ProcEnv_SC_MEMORY_PROTECTION" : C_Int.t;
-val SC_MESSAGE_PASSING = _const "Posix_ProcEnv_SC_MESSAGE_PASSING" : C_Int.t;
-val SC_MONOTONIC_CLOCK = _const "Posix_ProcEnv_SC_MONOTONIC_CLOCK" : C_Int.t;
-val SC_MQ_OPEN_MAX = _const "Posix_ProcEnv_SC_MQ_OPEN_MAX" : C_Int.t;
-val SC_MQ_PRIO_MAX = _const "Posix_ProcEnv_SC_MQ_PRIO_MAX" : C_Int.t;
-val SC_NGROUPS_MAX = _const "Posix_ProcEnv_SC_NGROUPS_MAX" : C_Int.t;
-val SC_OPEN_MAX = _const "Posix_ProcEnv_SC_OPEN_MAX" : C_Int.t;
-val SC_PAGE_SIZE = _const "Posix_ProcEnv_SC_PAGE_SIZE" : C_Int.t;
-val SC_PAGESIZE = _const "Posix_ProcEnv_SC_PAGESIZE" : C_Int.t;
-val SC_PRIORITIZED_IO = _const "Posix_ProcEnv_SC_PRIORITIZED_IO" : C_Int.t;
-val SC_PRIORITY_SCHEDULING = _const "Posix_ProcEnv_SC_PRIORITY_SCHEDULING" : C_Int.t;
-val SC_RAW_SOCKETS = _const "Posix_ProcEnv_SC_RAW_SOCKETS" : C_Int.t;
-val SC_RE_DUP_MAX = _const "Posix_ProcEnv_SC_RE_DUP_MAX" : C_Int.t;
-val SC_READER_WRITER_LOCKS = _const "Posix_ProcEnv_SC_READER_WRITER_LOCKS" : C_Int.t;
-val SC_REALTIME_SIGNALS = _const "Posix_ProcEnv_SC_REALTIME_SIGNALS" : C_Int.t;
-val SC_REGEXP = _const "Posix_ProcEnv_SC_REGEXP" : C_Int.t;
-val SC_RTSIG_MAX = _const "Posix_ProcEnv_SC_RTSIG_MAX" : C_Int.t;
-val SC_SAVED_IDS = _const "Posix_ProcEnv_SC_SAVED_IDS" : C_Int.t;
-val SC_SEM_NSEMS_MAX = _const "Posix_ProcEnv_SC_SEM_NSEMS_MAX" : C_Int.t;
-val SC_SEM_VALUE_MAX = _const "Posix_ProcEnv_SC_SEM_VALUE_MAX" : C_Int.t;
-val SC_SEMAPHORES = _const "Posix_ProcEnv_SC_SEMAPHORES" : C_Int.t;
-val SC_SHARED_MEMORY_OBJECTS = _const "Posix_ProcEnv_SC_SHARED_MEMORY_OBJECTS" : C_Int.t;
-val SC_SHELL = _const "Posix_ProcEnv_SC_SHELL" : C_Int.t;
-val SC_SIGQUEUE_MAX = _const "Posix_ProcEnv_SC_SIGQUEUE_MAX" : C_Int.t;
-val SC_SPAWN = _const "Posix_ProcEnv_SC_SPAWN" : C_Int.t;
-val SC_SPIN_LOCKS = _const "Posix_ProcEnv_SC_SPIN_LOCKS" : C_Int.t;
-val SC_SPORADIC_SERVER = _const "Posix_ProcEnv_SC_SPORADIC_SERVER" : C_Int.t;
-val SC_SS_REPL_MAX = _const "Posix_ProcEnv_SC_SS_REPL_MAX" : C_Int.t;
-val SC_STREAM_MAX = _const "Posix_ProcEnv_SC_STREAM_MAX" : C_Int.t;
-val SC_SYMLOOP_MAX = _const "Posix_ProcEnv_SC_SYMLOOP_MAX" : C_Int.t;
-val SC_SYNCHRONIZED_IO = _const "Posix_ProcEnv_SC_SYNCHRONIZED_IO" : C_Int.t;
-val SC_THREAD_ATTR_STACKADDR = _const "Posix_ProcEnv_SC_THREAD_ATTR_STACKADDR" : C_Int.t;
-val SC_THREAD_ATTR_STACKSIZE = _const "Posix_ProcEnv_SC_THREAD_ATTR_STACKSIZE" : C_Int.t;
-val SC_THREAD_CPUTIME = _const "Posix_ProcEnv_SC_THREAD_CPUTIME" : C_Int.t;
-val SC_THREAD_DESTRUCTOR_ITERATIONS = _const "Posix_ProcEnv_SC_THREAD_DESTRUCTOR_ITERATIONS" : C_Int.t;
-val SC_THREAD_KEYS_MAX = _const "Posix_ProcEnv_SC_THREAD_KEYS_MAX" : C_Int.t;
-val SC_THREAD_PRIO_INHERIT = _const "Posix_ProcEnv_SC_THREAD_PRIO_INHERIT" : C_Int.t;
-val SC_THREAD_PRIO_PROTECT = _const "Posix_ProcEnv_SC_THREAD_PRIO_PROTECT" : C_Int.t;
-val SC_THREAD_PRIORITY_SCHEDULING = _const "Posix_ProcEnv_SC_THREAD_PRIORITY_SCHEDULING" : C_Int.t;
-val SC_THREAD_PROCESS_SHARED = _const "Posix_ProcEnv_SC_THREAD_PROCESS_SHARED" : C_Int.t;
-val SC_THREAD_SAFE_FUNCTIONS = _const "Posix_ProcEnv_SC_THREAD_SAFE_FUNCTIONS" : C_Int.t;
-val SC_THREAD_SPORADIC_SERVER = _const "Posix_ProcEnv_SC_THREAD_SPORADIC_SERVER" : C_Int.t;
-val SC_THREAD_STACK_MIN = _const "Posix_ProcEnv_SC_THREAD_STACK_MIN" : C_Int.t;
-val SC_THREAD_THREADS_MAX = _const "Posix_ProcEnv_SC_THREAD_THREADS_MAX" : C_Int.t;
-val SC_THREADS = _const "Posix_ProcEnv_SC_THREADS" : C_Int.t;
-val SC_TIMEOUTS = _const "Posix_ProcEnv_SC_TIMEOUTS" : C_Int.t;
-val SC_TIMER_MAX = _const "Posix_ProcEnv_SC_TIMER_MAX" : C_Int.t;
-val SC_TIMERS = _const "Posix_ProcEnv_SC_TIMERS" : C_Int.t;
-val SC_TRACE = _const "Posix_ProcEnv_SC_TRACE" : C_Int.t;
-val SC_TRACE_EVENT_FILTER = _const "Posix_ProcEnv_SC_TRACE_EVENT_FILTER" : C_Int.t;
-val SC_TRACE_EVENT_NAME_MAX = _const "Posix_ProcEnv_SC_TRACE_EVENT_NAME_MAX" : C_Int.t;
-val SC_TRACE_INHERIT = _const "Posix_ProcEnv_SC_TRACE_INHERIT" : C_Int.t;
-val SC_TRACE_LOG = _const "Posix_ProcEnv_SC_TRACE_LOG" : C_Int.t;
-val SC_TRACE_NAME_MAX = _const "Posix_ProcEnv_SC_TRACE_NAME_MAX" : C_Int.t;
-val SC_TRACE_SYS_MAX = _const "Posix_ProcEnv_SC_TRACE_SYS_MAX" : C_Int.t;
-val SC_TRACE_USER_EVENT_MAX = _const "Posix_ProcEnv_SC_TRACE_USER_EVENT_MAX" : C_Int.t;
-val SC_TTY_NAME_MAX = _const "Posix_ProcEnv_SC_TTY_NAME_MAX" : C_Int.t;
-val SC_TYPED_MEMORY_OBJECTS = _const "Posix_ProcEnv_SC_TYPED_MEMORY_OBJECTS" : C_Int.t;
-val SC_TZNAME_MAX = _const "Posix_ProcEnv_SC_TZNAME_MAX" : C_Int.t;
-val SC_V6_ILP32_OFF32 = _const "Posix_ProcEnv_SC_V6_ILP32_OFF32" : C_Int.t;
-val SC_V6_ILP32_OFFBIG = _const "Posix_ProcEnv_SC_V6_ILP32_OFFBIG" : C_Int.t;
-val SC_V6_LP64_OFF64 = _const "Posix_ProcEnv_SC_V6_LP64_OFF64" : C_Int.t;
-val SC_V6_LPBIG_OFFBIG = _const "Posix_ProcEnv_SC_V6_LPBIG_OFFBIG" : C_Int.t;
-val SC_VERSION = _const "Posix_ProcEnv_SC_VERSION" : C_Int.t;
-val SC_XBS5_ILP32_OFF32 = _const "Posix_ProcEnv_SC_XBS5_ILP32_OFF32" : C_Int.t;
-val SC_XBS5_ILP32_OFFBIG = _const "Posix_ProcEnv_SC_XBS5_ILP32_OFFBIG" : C_Int.t;
-val SC_XBS5_LP64_OFF64 = _const "Posix_ProcEnv_SC_XBS5_LP64_OFF64" : C_Int.t;
-val SC_XBS5_LPBIG_OFFBIG = _const "Posix_ProcEnv_SC_XBS5_LPBIG_OFFBIG" : C_Int.t;
-val SC_XOPEN_CRYPT = _const "Posix_ProcEnv_SC_XOPEN_CRYPT" : C_Int.t;
-val SC_XOPEN_ENH_I18N = _const "Posix_ProcEnv_SC_XOPEN_ENH_I18N" : C_Int.t;
-val SC_XOPEN_LEGACY = _const "Posix_ProcEnv_SC_XOPEN_LEGACY" : C_Int.t;
-val SC_XOPEN_REALTIME = _const "Posix_ProcEnv_SC_XOPEN_REALTIME" : C_Int.t;
-val SC_XOPEN_REALTIME_THREADS = _const "Posix_ProcEnv_SC_XOPEN_REALTIME_THREADS" : C_Int.t;
-val SC_XOPEN_SHM = _const "Posix_ProcEnv_SC_XOPEN_SHM" : C_Int.t;
-val SC_XOPEN_STREAMS = _const "Posix_ProcEnv_SC_XOPEN_STREAMS" : C_Int.t;
-val SC_XOPEN_UNIX = _const "Posix_ProcEnv_SC_XOPEN_UNIX" : C_Int.t;
-val SC_XOPEN_VERSION = _const "Posix_ProcEnv_SC_XOPEN_VERSION" : C_Int.t;
-val setenv = _import "Posix_ProcEnv_setenv" : NullString8.t * NullString8.t -> (C_Int.t) C_Errno.t;
-val setgid = _import "Posix_ProcEnv_setgid" : C_GId.t -> (C_Int.t) C_Errno.t;
-val setgroups = _import "Posix_ProcEnv_setgroups" : C_Int.t * (C_GId.t) vector -> (C_Int.t) C_Errno.t;
-val setpgid = _import "Posix_ProcEnv_setpgid" : C_PId.t * C_PId.t -> (C_Int.t) C_Errno.t;
-val setsid = _import "Posix_ProcEnv_setsid" : unit -> (C_PId.t) C_Errno.t;
-val setuid = _import "Posix_ProcEnv_setuid" : C_UId.t -> (C_Int.t) C_Errno.t;
-val sysconf = _import "Posix_ProcEnv_sysconf" : C_Int.t -> (C_Long.t) C_Errno.t;
-val times = _import "Posix_ProcEnv_times" : unit -> (C_Clock.t) C_Errno.t;
-structure Times = 
-struct
-val getCSTime = _import "Posix_ProcEnv_Times_getCSTime" : unit -> C_Clock.t;
-val getCUTime = _import "Posix_ProcEnv_Times_getCUTime" : unit -> C_Clock.t;
-val getSTime = _import "Posix_ProcEnv_Times_getSTime" : unit -> C_Clock.t;
-val getUTime = _import "Posix_ProcEnv_Times_getUTime" : unit -> C_Clock.t;
-end
-val ttyname = _import "Posix_ProcEnv_ttyname" : C_Fd.t -> (C_String.t) C_Errno.t;
-val uname = _import "Posix_ProcEnv_uname" : unit -> (C_Int.t) C_Errno.t;
-structure Uname = 
-struct
-val getMachine = _import "Posix_ProcEnv_Uname_getMachine" : unit -> C_String.t;
-val getNodeName = _import "Posix_ProcEnv_Uname_getNodeName" : unit -> C_String.t;
-val getRelease = _import "Posix_ProcEnv_Uname_getRelease" : unit -> C_String.t;
-val getSysName = _import "Posix_ProcEnv_Uname_getSysName" : unit -> C_String.t;
-val getVersion = _import "Posix_ProcEnv_Uname_getVersion" : unit -> C_String.t;
-end
-end
-structure Process = 
-struct
-val alarm = _import "Posix_Process_alarm" : C_UInt.t -> C_UInt.t;
-val exece = _import "Posix_Process_exece" : NullString8.t * NullString8Array.t * NullString8Array.t -> (C_Int.t) C_Errno.t;
-val execp = _import "Posix_Process_execp" : NullString8.t * NullString8Array.t -> (C_Int.t) C_Errno.t;
-val exit = _import "Posix_Process_exit" : C_Status.t -> unit;
-val exitStatus = _import "Posix_Process_exitStatus" : C_Status.t -> C_Int.t;
-val fork = _import "Posix_Process_fork" : unit -> (C_PId.t) C_Errno.t;
-val ifExited = _import "Posix_Process_ifExited" : C_Status.t -> Bool.t;
-val ifSignaled = _import "Posix_Process_ifSignaled" : C_Status.t -> Bool.t;
-val ifStopped = _import "Posix_Process_ifStopped" : C_Status.t -> Bool.t;
-val kill = _import "Posix_Process_kill" : C_PId.t * C_Signal.t -> (C_Int.t) C_Errno.t;
-val nanosleep = _import "Posix_Process_nanosleep" : (C_Time.t) ref * (C_Long.t) ref -> (C_Int.t) C_Errno.t;
-val pause = _import "Posix_Process_pause" : unit -> (C_Int.t) C_Errno.t;
-val sleep = _import "Posix_Process_sleep" : C_UInt.t -> C_UInt.t;
-val stopSig = _import "Posix_Process_stopSig" : C_Status.t -> C_Signal.t;
-val system = _import "Posix_Process_system" : NullString8.t -> (C_Status.t) C_Errno.t;
-val termSig = _import "Posix_Process_termSig" : C_Status.t -> C_Signal.t;
-structure W = 
-struct
-val NOHANG = _const "Posix_Process_W_NOHANG" : C_Int.t;
-val UNTRACED = _const "Posix_Process_W_UNTRACED" : C_Int.t;
-end
-val waitpid = _import "Posix_Process_waitpid" : C_PId.t * (C_Int.t) ref * C_Int.t -> (C_PId.t) C_Errno.t;
-end
-structure Signal = 
-struct
-val default = _import "Posix_Signal_default" : C_Signal.t -> (C_Int.t) C_Errno.t;
-val handlee = _import "Posix_Signal_handlee" : C_Signal.t -> (C_Int.t) C_Errno.t;
-val handleGC = _import "Posix_Signal_handleGC" : unit -> unit;
-val ignore = _import "Posix_Signal_ignore" : C_Signal.t -> (C_Int.t) C_Errno.t;
-val isDefault = _import "Posix_Signal_isDefault" : C_Signal.t * (Bool.t) ref -> (C_Int.t) C_Errno.t;
-val isIgnore = _import "Posix_Signal_isIgnore" : C_Signal.t * (Bool.t) ref -> (C_Int.t) C_Errno.t;
-val isPending = _import "Posix_Signal_isPending" : C_Signal.t -> Bool.t;
-val isPendingGC = _import "Posix_Signal_isPendingGC" : unit -> Bool.t;
-val NSIG = _const "Posix_Signal_NSIG" : C_Int.t;
-val resetPending = _import "Posix_Signal_resetPending" : unit -> unit;
-val SIG_BLOCK = _const "Posix_Signal_SIG_BLOCK" : C_Int.t;
-val SIG_SETMASK = _const "Posix_Signal_SIG_SETMASK" : C_Int.t;
-val SIG_UNBLOCK = _const "Posix_Signal_SIG_UNBLOCK" : C_Int.t;
-val SIGABRT = _const "Posix_Signal_SIGABRT" : C_Signal.t;
-val sigaddset = _import "Posix_Signal_sigaddset" : C_Signal.t -> (C_Int.t) C_Errno.t;
-val SIGALRM = _const "Posix_Signal_SIGALRM" : C_Signal.t;
-val SIGBUS = _const "Posix_Signal_SIGBUS" : C_Signal.t;
-val SIGCHLD = _const "Posix_Signal_SIGCHLD" : C_Signal.t;
-val SIGCONT = _const "Posix_Signal_SIGCONT" : C_Signal.t;
-val sigdelset = _import "Posix_Signal_sigdelset" : C_Signal.t -> (C_Int.t) C_Errno.t;
-val sigemptyset = _import "Posix_Signal_sigemptyset" : unit -> (C_Int.t) C_Errno.t;
-val sigfillset = _import "Posix_Signal_sigfillset" : unit -> (C_Int.t) C_Errno.t;
-val SIGFPE = _const "Posix_Signal_SIGFPE" : C_Signal.t;
-val SIGHUP = _const "Posix_Signal_SIGHUP" : C_Signal.t;
-val SIGILL = _const "Posix_Signal_SIGILL" : C_Signal.t;
-val SIGINT = _const "Posix_Signal_SIGINT" : C_Signal.t;
-val sigismember = _import "Posix_Signal_sigismember" : C_Signal.t -> (C_Int.t) C_Errno.t;
-val SIGKILL = _const "Posix_Signal_SIGKILL" : C_Signal.t;
-val SIGPIPE = _const "Posix_Signal_SIGPIPE" : C_Signal.t;
-val SIGPOLL = _const "Posix_Signal_SIGPOLL" : C_Signal.t;
-val sigprocmask = _import "Posix_Signal_sigprocmask" : C_Int.t -> (C_Int.t) C_Errno.t;
-val SIGPROF = _const "Posix_Signal_SIGPROF" : C_Signal.t;
-val SIGQUIT = _const "Posix_Signal_SIGQUIT" : C_Signal.t;
-val SIGSEGV = _const "Posix_Signal_SIGSEGV" : C_Signal.t;
-val SIGSTOP = _const "Posix_Signal_SIGSTOP" : C_Signal.t;
-val sigsuspend = _import "Posix_Signal_sigsuspend" : unit -> unit;
-val SIGSYS = _const "Posix_Signal_SIGSYS" : C_Signal.t;
-val SIGTERM = _const "Posix_Signal_SIGTERM" : C_Signal.t;
-val SIGTRAP = _const "Posix_Signal_SIGTRAP" : C_Signal.t;
-val SIGTSTP = _const "Posix_Signal_SIGTSTP" : C_Signal.t;
-val SIGTTIN = _const "Posix_Signal_SIGTTIN" : C_Signal.t;
-val SIGTTOU = _const "Posix_Signal_SIGTTOU" : C_Signal.t;
-val SIGURG = _const "Posix_Signal_SIGURG" : C_Signal.t;
-val SIGUSR1 = _const "Posix_Signal_SIGUSR1" : C_Signal.t;
-val SIGUSR2 = _const "Posix_Signal_SIGUSR2" : C_Signal.t;
-val SIGVTALRM = _const "Posix_Signal_SIGVTALRM" : C_Signal.t;
-val SIGXCPU = _const "Posix_Signal_SIGXCPU" : C_Signal.t;
-val SIGXFSZ = _const "Posix_Signal_SIGXFSZ" : C_Signal.t;
-end
-structure SysDB = 
-struct
-val getgrgid = _import "Posix_SysDB_getgrgid" : C_GId.t -> Bool.t;
-val getgrnam = _import "Posix_SysDB_getgrnam" : NullString8.t -> Bool.t;
-val getpwnam = _import "Posix_SysDB_getpwnam" : NullString8.t -> Bool.t;
-val getpwuid = _import "Posix_SysDB_getpwuid" : C_GId.t -> Bool.t;
-structure Group = 
-struct
-val getGId = _import "Posix_SysDB_Group_getGId" : unit -> C_GId.t;
-val getMem = _import "Posix_SysDB_Group_getMem" : unit -> C_StringArray.t;
-val getName = _import "Posix_SysDB_Group_getName" : unit -> C_String.t;
-end
-structure Passwd = 
-struct
-val getDir = _import "Posix_SysDB_Passwd_getDir" : unit -> C_String.t;
-val getGId = _import "Posix_SysDB_Passwd_getGId" : unit -> C_GId.t;
-val getName = _import "Posix_SysDB_Passwd_getName" : unit -> C_String.t;
-val getShell = _import "Posix_SysDB_Passwd_getShell" : unit -> C_String.t;
-val getUId = _import "Posix_SysDB_Passwd_getUId" : unit -> C_UId.t;
-end
-end
-structure TTY = 
-struct
-val B0 = _const "Posix_TTY_B0" : C_Speed.t;
-val B110 = _const "Posix_TTY_B110" : C_Speed.t;
-val B1200 = _const "Posix_TTY_B1200" : C_Speed.t;
-val B134 = _const "Posix_TTY_B134" : C_Speed.t;
-val B150 = _const "Posix_TTY_B150" : C_Speed.t;
-val B1800 = _const "Posix_TTY_B1800" : C_Speed.t;
-val B19200 = _const "Posix_TTY_B19200" : C_Speed.t;
-val B200 = _const "Posix_TTY_B200" : C_Speed.t;
-val B2400 = _const "Posix_TTY_B2400" : C_Speed.t;
-val B300 = _const "Posix_TTY_B300" : C_Speed.t;
-val B38400 = _const "Posix_TTY_B38400" : C_Speed.t;
-val B4800 = _const "Posix_TTY_B4800" : C_Speed.t;
-val B50 = _const "Posix_TTY_B50" : C_Speed.t;
-val B600 = _const "Posix_TTY_B600" : C_Speed.t;
-val B75 = _const "Posix_TTY_B75" : C_Speed.t;
-val B9600 = _const "Posix_TTY_B9600" : C_Speed.t;
-structure C = 
-struct
-val CLOCAL = _const "Posix_TTY_C_CLOCAL" : C_TCFlag.t;
-val CREAD = _const "Posix_TTY_C_CREAD" : C_TCFlag.t;
-val CS5 = _const "Posix_TTY_C_CS5" : C_TCFlag.t;
-val CS6 = _const "Posix_TTY_C_CS6" : C_TCFlag.t;
-val CS7 = _const "Posix_TTY_C_CS7" : C_TCFlag.t;
-val CS8 = _const "Posix_TTY_C_CS8" : C_TCFlag.t;
-val CSIZE = _const "Posix_TTY_C_CSIZE" : C_TCFlag.t;
-val CSTOPB = _const "Posix_TTY_C_CSTOPB" : C_TCFlag.t;
-val HUPCL = _const "Posix_TTY_C_HUPCL" : C_TCFlag.t;
-val PARENB = _const "Posix_TTY_C_PARENB" : C_TCFlag.t;
-val PARODD = _const "Posix_TTY_C_PARODD" : C_TCFlag.t;
-end
-structure I = 
-struct
-val BRKINT = _const "Posix_TTY_I_BRKINT" : C_TCFlag.t;
-val ICRNL = _const "Posix_TTY_I_ICRNL" : C_TCFlag.t;
-val IGNBRK = _const "Posix_TTY_I_IGNBRK" : C_TCFlag.t;
-val IGNCR = _const "Posix_TTY_I_IGNCR" : C_TCFlag.t;
-val IGNPAR = _const "Posix_TTY_I_IGNPAR" : C_TCFlag.t;
-val INLCR = _const "Posix_TTY_I_INLCR" : C_TCFlag.t;
-val INPCK = _const "Posix_TTY_I_INPCK" : C_TCFlag.t;
-val ISTRIP = _const "Posix_TTY_I_ISTRIP" : C_TCFlag.t;
-val IXANY = _const "Posix_TTY_I_IXANY" : C_TCFlag.t;
-val IXOFF = _const "Posix_TTY_I_IXOFF" : C_TCFlag.t;
-val IXON = _const "Posix_TTY_I_IXON" : C_TCFlag.t;
-val PARMRK = _const "Posix_TTY_I_PARMRK" : C_TCFlag.t;
-end
-structure L = 
-struct
-val ECHO = _const "Posix_TTY_L_ECHO" : C_TCFlag.t;
-val ECHOE = _const "Posix_TTY_L_ECHOE" : C_TCFlag.t;
-val ECHOK = _const "Posix_TTY_L_ECHOK" : C_TCFlag.t;
-val ECHONL = _const "Posix_TTY_L_ECHONL" : C_TCFlag.t;
-val ICANON = _const "Posix_TTY_L_ICANON" : C_TCFlag.t;
-val IEXTEN = _const "Posix_TTY_L_IEXTEN" : C_TCFlag.t;
-val ISIG = _const "Posix_TTY_L_ISIG" : C_TCFlag.t;
-val NOFLSH = _const "Posix_TTY_L_NOFLSH" : C_TCFlag.t;
-val TOSTOP = _const "Posix_TTY_L_TOSTOP" : C_TCFlag.t;
-end
-structure O = 
-struct
-val BS0 = _const "Posix_TTY_O_BS0" : C_TCFlag.t;
-val BS1 = _const "Posix_TTY_O_BS1" : C_TCFlag.t;
-val BSDLY = _const "Posix_TTY_O_BSDLY" : C_TCFlag.t;
-val CR0 = _const "Posix_TTY_O_CR0" : C_TCFlag.t;
-val CR1 = _const "Posix_TTY_O_CR1" : C_TCFlag.t;
-val CR2 = _const "Posix_TTY_O_CR2" : C_TCFlag.t;
-val CR3 = _const "Posix_TTY_O_CR3" : C_TCFlag.t;
-val CRDLY = _const "Posix_TTY_O_CRDLY" : C_TCFlag.t;
-val FF0 = _const "Posix_TTY_O_FF0" : C_TCFlag.t;
-val FF1 = _const "Posix_TTY_O_FF1" : C_TCFlag.t;
-val FFDLY = _const "Posix_TTY_O_FFDLY" : C_TCFlag.t;
-val NL0 = _const "Posix_TTY_O_NL0" : C_TCFlag.t;
-val NL1 = _const "Posix_TTY_O_NL1" : C_TCFlag.t;
-val NLDLY = _const "Posix_TTY_O_NLDLY" : C_TCFlag.t;
-val OCRNL = _const "Posix_TTY_O_OCRNL" : C_TCFlag.t;
-val OFILL = _const "Posix_TTY_O_OFILL" : C_TCFlag.t;
-val ONLCR = _const "Posix_TTY_O_ONLCR" : C_TCFlag.t;
-val ONLRET = _const "Posix_TTY_O_ONLRET" : C_TCFlag.t;
-val ONOCR = _const "Posix_TTY_O_ONOCR" : C_TCFlag.t;
-val OPOST = _const "Posix_TTY_O_OPOST" : C_TCFlag.t;
-val TAB0 = _const "Posix_TTY_O_TAB0" : C_TCFlag.t;
-val TAB1 = _const "Posix_TTY_O_TAB1" : C_TCFlag.t;
-val TAB2 = _const "Posix_TTY_O_TAB2" : C_TCFlag.t;
-val TAB3 = _const "Posix_TTY_O_TAB3" : C_TCFlag.t;
-val TABDLY = _const "Posix_TTY_O_TABDLY" : C_TCFlag.t;
-val VT0 = _const "Posix_TTY_O_VT0" : C_TCFlag.t;
-val VT1 = _const "Posix_TTY_O_VT1" : C_TCFlag.t;
-val VTDLY = _const "Posix_TTY_O_VTDLY" : C_TCFlag.t;
-end
-structure TC = 
-struct
-val drain = _import "Posix_TTY_TC_drain" : C_Fd.t -> (C_Int.t) C_Errno.t;
-val flow = _import "Posix_TTY_TC_flow" : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t;
-val flush = _import "Posix_TTY_TC_flush" : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t;
-val getattr = _import "Posix_TTY_TC_getattr" : C_Fd.t -> (C_Int.t) C_Errno.t;
-val getpgrp = _import "Posix_TTY_TC_getpgrp" : C_Fd.t -> (C_PId.t) C_Errno.t;
-val sendbreak = _import "Posix_TTY_TC_sendbreak" : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t;
-val setattr = _import "Posix_TTY_TC_setattr" : C_Fd.t * C_Int.t -> (C_Int.t) C_Errno.t;
-val setpgrp = _import "Posix_TTY_TC_setpgrp" : C_Fd.t * C_PId.t -> (C_Int.t) C_Errno.t;
-val TCIFLUSH = _const "Posix_TTY_TC_TCIFLUSH" : C_Int.t;
-val TCIOFF = _const "Posix_TTY_TC_TCIOFF" : C_Int.t;
-val TCIOFLUSH = _const "Posix_TTY_TC_TCIOFLUSH" : C_Int.t;
-val TCION = _const "Posix_TTY_TC_TCION" : C_Int.t;
-val TCOFLUSH = _const "Posix_TTY_TC_TCOFLUSH" : C_Int.t;
-val TCOOFF = _const "Posix_TTY_TC_TCOOFF" : C_Int.t;
-val TCOON = _const "Posix_TTY_TC_TCOON" : C_Int.t;
-val TCSADRAIN = _const "Posix_TTY_TC_TCSADRAIN" : C_Int.t;
-val TCSAFLUSH = _const "Posix_TTY_TC_TCSAFLUSH" : C_Int.t;
-val TCSANOW = _const "Posix_TTY_TC_TCSANOW" : C_Int.t;
-end
-structure Termios = 
-struct
-val cfGetISpeed = _import "Posix_TTY_Termios_cfGetISpeed" : unit -> C_Speed.t;
-val cfGetOSpeed = _import "Posix_TTY_Termios_cfGetOSpeed" : unit -> C_Speed.t;
-val cfSetISpeed = _import "Posix_TTY_Termios_cfSetISpeed" : C_Speed.t -> (C_Int.t) C_Errno.t;
-val cfSetOSpeed = _import "Posix_TTY_Termios_cfSetOSpeed" : C_Speed.t -> (C_Int.t) C_Errno.t;
-val getCC = _import "Posix_TTY_Termios_getCC" : (C_CC.t) array -> unit;
-val getCFlag = _import "Posix_TTY_Termios_getCFlag" : unit -> C_TCFlag.t;
-val getIFlag = _import "Posix_TTY_Termios_getIFlag" : unit -> C_TCFlag.t;
-val getLFlag = _import "Posix_TTY_Termios_getLFlag" : unit -> C_TCFlag.t;
-val getOFlag = _import "Posix_TTY_Termios_getOFlag" : unit -> C_TCFlag.t;
-val setCC = _import "Posix_TTY_Termios_setCC" : (C_CC.t) array -> unit;
-val setCFlag = _import "Posix_TTY_Termios_setCFlag" : C_TCFlag.t -> unit;
-val setIFlag = _import "Posix_TTY_Termios_setIFlag" : C_TCFlag.t -> unit;
-val setLFlag = _import "Posix_TTY_Termios_setLFlag" : C_TCFlag.t -> unit;
-val setOFlag = _import "Posix_TTY_Termios_setOFlag" : C_TCFlag.t -> unit;
-end
-structure V = 
-struct
-val NCCS = _const "Posix_TTY_V_NCCS" : C_Int.t;
-val VEOF = _const "Posix_TTY_V_VEOF" : C_Int.t;
-val VEOL = _const "Posix_TTY_V_VEOL" : C_Int.t;
-val VERASE = _const "Posix_TTY_V_VERASE" : C_Int.t;
-val VINTR = _const "Posix_TTY_V_VINTR" : C_Int.t;
-val VKILL = _const "Posix_TTY_V_VKILL" : C_Int.t;
-val VMIN = _const "Posix_TTY_V_VMIN" : C_Int.t;
-val VQUIT = _const "Posix_TTY_V_VQUIT" : C_Int.t;
-val VSTART = _const "Posix_TTY_V_VSTART" : C_Int.t;
-val VSTOP = _const "Posix_TTY_V_VSTOP" : C_Int.t;
-val VSUSP = _const "Posix_TTY_V_VSUSP" : C_Int.t;
-val VTIME = _const "Posix_TTY_V_VTIME" : C_Int.t;
-end
-end
-end
-structure Real32 = 
-struct
-type t = Real32.t
-val abs = _import "Real32_abs" : Real32.t -> Real32.t;
-val add = _import "Real32_add" : Real32.t * Real32.t -> Real32.t;
-val class = _import "Real32_class" : Real32.t -> C_Int.t;
-val div = _import "Real32_div" : Real32.t * Real32.t -> Real32.t;
-val equal = _import "Real32_equal" : Real32.t * Real32.t -> Bool.t;
-val fetch = _import "Real32_fetch" : (Real32.t) ref -> Real32.t;
-val frexp = _import "Real32_frexp" : Real32.t * (C_Int.t) ref -> Real32.t;
-val gdtoa = _import "Real32_gdtoa" : Real32.t * C_Int.t * C_Int.t * (C_Int.t) ref -> C_String.t;
-val ldexp = _import "Real32_ldexp" : Real32.t * C_Int.t -> Real32.t;
-val le = _import "Real32_le" : Real32.t * Real32.t -> Bool.t;
-val lt = _import "Real32_lt" : Real32.t * Real32.t -> Bool.t;
-structure Math = 
-struct
-val acos = _import "Real32_Math_acos" : Real32.t -> Real32.t;
-val asin = _import "Real32_Math_asin" : Real32.t -> Real32.t;
-val atan = _import "Real32_Math_atan" : Real32.t -> Real32.t;
-val atan2 = _import "Real32_Math_atan2" : Real32.t * Real32.t -> Real32.t;
-val cos = _import "Real32_Math_cos" : Real32.t -> Real32.t;
-val cosh = _import "Real32_Math_cosh" : Real32.t -> Real32.t;
-val (eGet, eSet) = _symbol "Real32_Math_e": (unit -> (Real32.t)) * ((Real32.t) -> unit);
-val exp = _import "Real32_Math_exp" : Real32.t -> Real32.t;
-val ln = _import "Real32_Math_ln" : Real32.t -> Real32.t;
-val log10 = _import "Real32_Math_log10" : Real32.t -> Real32.t;
-val (piGet, piSet) = _symbol "Real32_Math_pi": (unit -> (Real32.t)) * ((Real32.t) -> unit);
-val pow = _import "Real32_Math_pow" : Real32.t * Real32.t -> Real32.t;
-val sin = _import "Real32_Math_sin" : Real32.t -> Real32.t;
-val sinh = _import "Real32_Math_sinh" : Real32.t -> Real32.t;
-val sqrt = _import "Real32_Math_sqrt" : Real32.t -> Real32.t;
-val tan = _import "Real32_Math_tan" : Real32.t -> Real32.t;
-val tanh = _import "Real32_Math_tanh" : Real32.t -> Real32.t;
-end
-val (maxFiniteGet, maxFiniteSet) = _symbol "Real32_maxFinite": (unit -> (Real32.t)) * ((Real32.t) -> unit);
-val (minNormalPosGet, minNormalPosSet) = _symbol "Real32_minNormalPos": (unit -> (Real32.t)) * ((Real32.t) -> unit);
-val (minPosGet, minPosSet) = _symbol "Real32_minPos": (unit -> (Real32.t)) * ((Real32.t) -> unit);
-val modf = _import "Real32_modf" : Real32.t * (Real32.t) ref -> Real32.t;
-val move = _import "Real32_move" : (Real32.t) ref * (Real32.t) ref -> unit;
-val mul = _import "Real32_mul" : Real32.t * Real32.t -> Real32.t;
-val muladd = _import "Real32_muladd" : Real32.t * Real32.t * Real32.t -> Real32.t;
-val mulsub = _import "Real32_mulsub" : Real32.t * Real32.t * Real32.t -> Real32.t;
-val neg = _import "Real32_neg" : Real32.t -> Real32.t;
-val nextAfter = _import "Real32_nextAfter" : Real32.t * Real32.t -> Real32.t;
-val round = _import "Real32_round" : Real32.t -> Real32.t;
-val signBit = _import "Real32_signBit" : Real32.t -> C_Int.t;
-val store = _import "Real32_store" : (Real32.t) ref * Real32.t -> unit;
-val strto = _import "Real32_strto" : NullString8.t -> Real32.t;
-val sub = _import "Real32_sub" : Real32.t * Real32.t -> Real32.t;
-val toReal32 = _import "Real32_toReal32" : Real32.t -> Real32.t;
-val toReal64 = _import "Real32_toReal64" : Real32.t -> Real64.t;
-val toWordS16 = _import "Real32_toWordS16" : Real32.t -> Int16.t;
-val toWordS32 = _import "Real32_toWordS32" : Real32.t -> Int32.t;
-val toWordS64 = _import "Real32_toWordS64" : Real32.t -> Int64.t;
-val toWordS8 = _import "Real32_toWordS8" : Real32.t -> Int8.t;
-val toWordU16 = _import "Real32_toWordU16" : Real32.t -> Word16.t;
-val toWordU32 = _import "Real32_toWordU32" : Real32.t -> Word32.t;
-val toWordU64 = _import "Real32_toWordU64" : Real32.t -> Word64.t;
-val toWordU8 = _import "Real32_toWordU8" : Real32.t -> Word8.t;
-end
-structure Real64 = 
-struct
-type t = Real64.t
-val abs = _import "Real64_abs" : Real64.t -> Real64.t;
-val add = _import "Real64_add" : Real64.t * Real64.t -> Real64.t;
-val class = _import "Real64_class" : Real64.t -> C_Int.t;
-val div = _import "Real64_div" : Real64.t * Real64.t -> Real64.t;
-val equal = _import "Real64_equal" : Real64.t * Real64.t -> Bool.t;
-val...
 
[truncated message content]

The comment refers to aspects of the entire ML program state that need
to be worried about when saving and loading worlds.  (Admittedly, it
is not an exhaustive list.)


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

U   mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/world.sml

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

Modified: mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/world.sml
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/world.sml	2006-06-12 16:19:42 UTC (rev 4645)
+++ mlton/branches/on-20050822-x86_64-branch/basis-library/mlton/world.sml	2006-06-12 16:24:06 UTC (rev 4646)
@@ -17,14 +17,15 @@
       datatype status = Clone | Original
 
       (* Need to worry about:
+       *   - open file descriptors
        *   - redetermine buffer status when restart
        *)
       fun save' (file: string): status =
          let
             val () = 
                SysCall.simple' 
-                  ({ errVal = true }, 
-                   fn () => Prim.save (NullString.nullTerm file))
+               ({errVal = true}, 
+                fn () => Prim.save (NullString.nullTerm file))
          in
             if Prim.getAmOriginal gcState
                then Original