diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1997-07-02 18:16:15 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1997-07-02 18:16:15 +0000 |
| commit | b149e67a887edbe66c5159dcc09485862ff3cf55 (patch) | |
| tree | 5be8990215f73919b29c461d86726e75001e7f07 /byterun/intext.h | |
| parent | f9ca4fbbeb38d1c1979300f68a9e37b409eb4c7e (diff) | |
Nouveau module Marshal dans stdlib
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1633 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'byterun/intext.h')
| -rw-r--r-- | byterun/intext.h | 20 |
1 files changed, 17 insertions, 3 deletions
diff --git a/byterun/intext.h b/byterun/intext.h index 0eed0363e..9fc88d348 100644 --- a/byterun/intext.h +++ b/byterun/intext.h @@ -45,6 +45,8 @@ #define CODE_DOUBLE_ARRAY8_LITTLE 0xE #define CODE_DOUBLE_ARRAY32_BIG 0xF #define CODE_DOUBLE_ARRAY32_LITTLE 0x7 +#define CODE_CODEPOINTER 0x10 +#define CODE_INFIXPOINTER 0x11 #ifdef ARCH_BIG_ENDIAN #define CODE_DOUBLE_NATIVE CODE_DOUBLE_BIG @@ -77,9 +79,21 @@ /* The entry points */ -value output_value P((struct channel *, value)); -value input_value P((struct channel *)); -value input_value_from_string P((value, value)); +value output_value P((struct channel * chan, value v, value flags)); +value input_value P((struct channel * chan)); +value input_value_from_string P((value str, value ofs)); + +/* Auxiliary stuff for sending code pointers */ +char * code_checksum P((void)); + +#ifndef NATIVE_CODE +#include "fix_code.h" +#define code_area_start ((char *) start_code) +#define code_area_end ((char *) start_code + code_size) +#else +extern char * code_area_start, * code_area_end; +#endif + #endif |