/* -*-C-*-
-$Id: extern.h,v 9.58 2001/03/08 17:01:55 cph Exp $
+$Id: extern.h,v 9.59 2001/03/08 17:12:50 cph Exp $
Copyright (c) 1987-2001 Massachusetts Institute of Technology
extern SCHEME_OBJECT EXFUN (allocate_string, (unsigned long));
extern SCHEME_OBJECT EXFUN (allocate_string_no_gc, (unsigned long));
extern SCHEME_OBJECT EXFUN
- (memory_to_string, (unsigned long, unsigned char *));
+ (memory_to_string, (unsigned long, CONST unsigned char *));
extern SCHEME_OBJECT EXFUN
- (memory_to_string_no_gc, (unsigned long, unsigned char *));
-extern SCHEME_OBJECT EXFUN (char_pointer_to_string, (unsigned char *));
-extern SCHEME_OBJECT EXFUN (char_pointer_to_string_no_gc, (unsigned char *));
+ (memory_to_string_no_gc, (unsigned long, CONST unsigned char *));
+extern SCHEME_OBJECT EXFUN (char_pointer_to_string, (CONST unsigned char *));
+extern SCHEME_OBJECT EXFUN
+ (char_pointer_to_string_no_gc, (CONST unsigned char *));
/* Random and OS utilities */
extern Boolean EXFUN (Restore_History, (SCHEME_OBJECT));
/* -*-C-*-
-$Id: string.c,v 9.42 2001/03/08 17:02:02 cph Exp $
+$Id: string.c,v 9.43 2001/03/08 17:13:59 cph Exp $
Copyright (c) 1987-2001 Massachusetts Institute of Technology
SCHEME_OBJECT
DEFUN (memory_to_string, (nbytes, data),
unsigned long nbytes AND
- unsigned char * data)
+ CONST unsigned char * data)
{
SCHEME_OBJECT result = (allocate_string (nbytes));
unsigned char * scan_result = (STRING_LOC (result, 0));
SCHEME_OBJECT
DEFUN (memory_to_string_no_gc, (nbytes, data),
unsigned long nbytes AND
- unsigned char * data)
+ CONST unsigned char * data)
{
SCHEME_OBJECT result = (allocate_string_no_gc (nbytes));
unsigned char * scan_result = (STRING_LOC (result, 0));
}
SCHEME_OBJECT
-DEFUN (char_pointer_to_string, (char_pointer), unsigned char * char_pointer)
+DEFUN (char_pointer_to_string, (char_pointer),
+ CONST unsigned char * char_pointer)
{
unsigned char * scan = char_pointer;
if (scan == 0)
SCHEME_OBJECT
DEFUN (char_pointer_to_string_no_gc, (char_pointer),
- unsigned char * char_pointer)
+ CONST unsigned char * char_pointer)
{
unsigned char * scan = char_pointer;
if (scan == 0)