[MLton-commit] r4167

[Matthew Fluet]

Missing files
----------------------------------------------------------------------

A   mlton/branches/on-20050822-x86_64-branch/runtime/gc/exports.h
D   mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_prefix.c
D   mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_prefix.h
D   mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_suffix.c
D   mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_suffix.h
D   mlton/branches/on-20050822-x86_64-branch/runtime/gc/read_write.h
D   mlton/branches/on-20050822-x86_64-branch/runtime/gc/safe.h

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

Added: mlton/branches/on-20050822-x86_64-branch/runtime/gc/exports.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/exports.h	2005-11-07 02:30:53 UTC (rev 4166)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/exports.h	2005-11-07 02:34:33 UTC (rev 4167)
@@ -0,0 +1,36 @@
+/* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
+ *    Jagannathan, and Stephen Weeks.
+ * Copyright (C) 1997-2000 NEC Research Institute.
+ *
+ * MLton is released under a BSD-style license.
+ * See the file MLton-LICENSE for details.
+ */
+
+uint32_t GC_getArrayLength (pointer a);
+
+void GC_handler (GC_state s, int signum);
+
+void GC_pack (GC_state s);
+void GC_unpack (GC_state s);
+
+void GC_share (GC_state s, pointer object);
+
+size_t GC_size (GC_state s, pointer root);
+
+void GC_startHandler (GC_state s);
+void GC_finishHandler (GC_state s);
+
+void GC_switchToThread (GC_state s, GC_thread t, size_t ensureBytesFree);
+
+
+GC_profileData GC_getProfileCurrent (GC_state s);
+void GC_setProfileCurrent (GC_state s, GC_profileData p);
+
+void GC_profileFree (GC_state s, GC_profileData p);
+GC_profileData GC_profileNew (GC_state s);
+void GC_profileWrite (GC_state s, GC_profileData p, int fd);
+
+void GC_profileDone (GC_state s);
+
+void GC_done (GC_state s);
+

Deleted: mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_prefix.c
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_prefix.c	2005-11-07 02:30:53 UTC (rev 4166)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_prefix.c	2005-11-07 02:34:33 UTC (rev 4167)
@@ -1,2 +0,0 @@
-#include "libgc.h"
-

Deleted: mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_prefix.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_prefix.h	2005-11-07 02:30:53 UTC (rev 4166)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_prefix.h	2005-11-07 02:34:33 UTC (rev 4167)
@@ -1,5 +0,0 @@
-#ifndef _MLTON_GC_H_
-#define _MLTON_GC_H_
-
-struct GC_state;
-typedef struct GC_state *GC_state;

Deleted: mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_suffix.c
===================================================================

Deleted: mlton/branches/on-20050822-x86_64-branch/runtime/gc/gc_suffix.h
===================================================================

Deleted: mlton/branches/on-20050822-x86_64-branch/runtime/gc/read_write.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/read_write.h	2005-11-07 02:30:53 UTC (rev 4166)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/read_write.h	2005-11-07 02:34:33 UTC (rev 4167)
@@ -1,26 +0,0 @@
-/* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
- *    Jagannathan, and Stephen Weeks.
- * Copyright (C) 1997-2000 NEC Research Institute.
- *
- * MLton is released under a BSD-style license.
- * See the file MLton-LICENSE for details.
- */
-
-char readChar (int fd);
-pointer readPointer (int fd);
-objptr readObjptr (int fd);
-size_t readSize (int fd);
-uint32_t readUint32 (int fd);
-uintptr_t readUintptr (int fd);
-void writeChar (int fd, char c);
-void writePointer (int fd, pointer p);
-void writeObjptr (int fd, objptr op);
-void writeSize (int fd, size_t z);
-void writeUint32 (int fd, uint32_t u);
-void writeUintptr (int fd, uintptr_t u);
-void writeString (int fd, char* s);
-void writeUint32U (int fd, uint32_t u);
-void writeUintmaxU (int fd, uintmax_t u);
-void writeUint32X (int fd, uint32_t u);
-void writeUintmaxX (int fd, uintmax_t u);
-void writeNewline (int fd);

Deleted: mlton/branches/on-20050822-x86_64-branch/runtime/gc/safe.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/safe.h	2005-11-07 02:30:53 UTC (rev 4166)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/safe.h	2005-11-07 02:34:33 UTC (rev 4167)
@@ -1,16 +0,0 @@
-/* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
- *    Jagannathan, and Stephen Weeks.
- * Copyright (C) 1997-2000 NEC Research Institute.
- *
- * MLton is released under a BSD-style license.
- * See the file MLton-LICENSE for details.
- */
-
-void *calloc_safe (size_t count, size_t size);
-void close_safe (int fd);
-void *malloc_safe (size_t size);
-int mkstemp_safe (char *template);
-int open_safe (const char *fileName, int flags, mode_t mode);
-void read_safe (int fd, void *buf, size_t size);
-void unlink_safe (const char *pathname);
-void write_safe (int fd, const void *buf, size_t size);