gmane.lisp.scheme.scheme48

AC_ARG_ENABLE() isn't used quite properly

Ivan Shmakov — 2008-08-20T19:06:08

There's a problem with S48_GLIB and some other Autoconf macros used by Scheme48's configure.in currently. Consider, e. g.: $ nl -ba s48_glib.m4 1### s48_glib.m4 --- S48_GLIB macro -*- Autoconf -*- 2# serial 1 3dnl 4dnl 5dnl 6AC_DEFUN([S48_GLIB], [dnl 7AC_ARG_ENABLE([glib], 8[AC_HELP_STRING([--enable-glib], 9 [Use the glib event loop])], 10[dnl Check for glib-2.0 11 PKG_CHECK_MODULES(GLIB, glib-2.0, AC_DEFINE(HAVE_GLIB), AC_MSG_WARN(glib-2.0 not found)) ... I. e., the PKG_CHECK_MODULES(GLIB, ...) (and the rest) will be executed whenever --enable-glib or --enable-glib=ARG is given, no matter what the ARG will be. In particular, the GLIB checks will be made whenever --enable-glib=no is given, or the form treated synonymously to it by Autoconf: --disable-glib. (That way, I was really quite a GLIB user for some time.) The proper way to use AC_ARG_ENABLE() would be, e. g.: AC_DEFUN([S48_GLIB], [dnl AC_ARG_ENABLE([glib], [AC_HELP_STRING([--enable-glib], [Use the glib event loop])]) if test "$enable_glib" != no; then dnl Check for glib-2.0 PKG_CHECK_MODULES(GLIB, glib-2.0, AC_DEFINE(HAVE_GLIB), AC_MSG_WARN(glib-2.0 not found)) ... fi ])

SIGSEGV trying to bootstrap Scheme48 from VCS

Ivan Shmakov — 2008-08-20T18:56:03

BTW, I'm getting segmentation faults while trying to bootstrap recent Scheme48 revisions from the Mercurial repository using some likewise recent Scheme48 versions. E. g., when trying to bootstrap Scheme48 rev. dc9216ef6864 using Scheme48 rev. dc9216ef6864, which was in turn built with Scheme48 1.8: $ mkdir +build-1 $ cd +build-1 $ ../configure --prefix="$HOME" ... $ make \ ../build/filenames.make \ i-know-what-i-am-doing \ c/scheme48.h \ ../build/initial.image-{32,64} ... cd ../ps-compiler && \ (echo ',batch'; \ echo ',config ,load ../scheme/platform-interfaces.scm'; \ echo ',config ,load ../scheme/rts-packages-64.scm'; \ echo ',config ,load ../scheme/prescheme/interface.scm'; \ echo ',config ,load ../scheme/prescheme/package-defs.scm'; \ echo ',exec ,load load-ps-compiler.scm'; \ echo ',exec ,load compile-twospace-gc-64.scm'; \ echo ',exit' \ ) | scheme48 -h 8000000 && \ mv ../scheme/vm/scheme48-twospace-heap-64.c ../c Welcome to Scheme 48 1.9T (made by ivan on Thu Aug 21 01:34:41 NOVST 2008) Copyright (c) 1993-2008 by Richard Kelsey and Jonathan Rees. Please report bugs to scheme-48-bugs< at >s48.org. Get more information at http://www.s48.org/. Type ,? (comma question-mark) for help. Pre-Scheme compiler version 1.9T Copyright (c) 1993-2008 by Richard Kelsey. Please report bugs to pre-scheme< at >s48.org. /bin/sh: line 10: 2040 Done ( echo ',batch'; echo ',config ,load ../scheme/platform-interfaces.scm'; echo ',config ,load ../scheme/rts-packages-64.scm'; echo ',config ,load ../scheme/prescheme/interface.scm'; echo ',config ,load ../scheme/prescheme/package-defs.scm'; echo ',exec ,load load-ps-compiler.scm'; echo ',exec ,load compile-twospace-gc-64.scm'; echo ',exit' ) 2041 Segmentation fault | scheme48 -h 8000000 make: *** [compile-twospace-gc-64] Error 139 $ echo $? 2 $ There's no problem with bootstrapping recent Scheme48 source using Scheme48 1.8. There may be some problems with my set-up, but I'd be glad if someone could check it out.

writing negative flonums

Ivan Shmakov — 2008-08-20T18:38:15

... Doesn't look like anything good at all. Welcome to Scheme 48 1.9T (made by ivan on Thu Aug 21 01:34:41 NOVST 2008) Copyright (c) 1993-2008 by Richard Kelsey and Jonathan Rees. Please report bugs to scheme-48-bugs< at >s48.org. Get more information at http://www.s48.org/. Type ,? (comma question-mark) for help. 0.1 -1 0.1

ANN: Call for registration: 2008 Workshop on Scheme and Functional Programming

William D Clinger — 2008-08-20T02:44:10

The 2008 Workshop on Scheme and Functional Programming will be held * in Victoria, British Columbia, * on Saturday, 20 September, two days before ICFP. Discounted early registration closes Wednesday, 20 August. The workshop program is online at http://www.ccs.neu.edu/home/will/scheme2008/program.html For more details, see http://www.schemeworkshop.org/2008/ Will Clinger workshop chair

small error in regexps section of manual

Jonathan Rees — 2008-08-11T16:32:41

Welcome to Scheme 48 1.8 (made by jar on Thu May 29 17:36:24 EDT 2008) Copyright (c) 1993-2008 by Richard Kelsey and Jonathan Rees. Please report bugs to scheme-48-bugs< at >s48.org. Get more information at http://www.s48.org/. Type ,? (comma question-mark) for help. > ,open regexps > (define pattern (text "abc")) ; no values returned > (match pattern "abc") #{Match 0 3} > Compare: http://s48.org/1.8/manual/manual-Z-H-6.html#node_sec_5.20 The manual has an extra set of parentheses in the result. Jonathan

Build s48 1.8 on Freebsd5.5 Failed

Ray Stinger — 2008-08-06T06:14:29

s48.org: I am trying to compile Scheme48 1.8 on FreeBSD 5.5 with --enable-gc="bibop", but I got following error when I 'sudo gmake': cc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ -DS48_HOST_ARCHITECTURE=\"i386-unknown-freebsd5.5\" -I ./c -I./c -I./c/bibop -g -O2 -pthread -o c/unix/socket.o c/unix/socket.c c/unix/socket.c: In function `s48_get_host_by_name': c/unix/socket.c:362: error: syntax error before "t" c/unix/socket.c:377: error: `t' undeclared (first use in this function) c/unix/socket.c:377: error: (Each undeclared identifier is reported only once c/unix/socket.c:377: error: for each function it appears in.) c/unix/socket.c: In function `gethostbyaddr_thread': c/unix/socket.c:452: warning: passing arg 1 of `gethostbyaddr' from incompatible pointer type c/unix/socket.c: In function `s48_get_host_by_address': c/unix/socket.c:465: error: syntax error before "t" c/unix/socket.c:476: error: `t' undeclared (first use in this function) gmake: *** [c/unix/socket.o] Error 1 socket.c seems to be an interpace to POSIX socket. Now I dont know how to deal with the problem. Thanks, Ray Stinger

s48 1.8 fails to load slib image after dump

Vadim Zborovskii — 2008-07-30T06:27:50

Hello, I tried to install slib 3b1 on Scheme48 1.8 but failed. After image is buit (make s48lib), s48 can't load it: $ scheme48 -i slib.image Heap size 3000000 is too small, using 3452636 cells call-error with no handler in place: bad procedure#{procedure}??? stack template id's: <- 1283 <- 6129 <- 6104 <- 2890 <- With development version from hg repository (changeset d789cdf93b49): $ ../s48-hg-dev/go -i slib.image Heap size 3000000 is too small, using 3546212 cells assertion-violation [call-imported-binding-2] with no handler in place: bad procedure??? stack template id's: 3029 <- 1638 <- 3028 <- <- 1368 <- 6542 <- 6517 <- 3289 <- With scheme48 1.7 everything is ok. I rebuilt slib.image for every tested version. My system is: $ uname -a Linux regulaar 2.6.17-gentoo-r4r_r #1 PREEMPT Mon Feb 11 12:22:39 MSK 2008 i686 Intel(R) Pentium(R) M processor 1.70GHz GenuineIntel GNU/Linux I can test on amd64 system tomorrow. I appreciate your implementation of Scheme very much. I hope this problem will be resolved soon. Best regards, Vadim Zborovskii.

c/external.c:727:8: warning: extra tokens at end of #endif directive

Ivan Shmakov — 2008-07-22T04:35:32

$ nl -ba c/external.c ... 723 for (i = 0; i < nargs; i++) { 724 s48_ref_t ref = va_arg(arguments, s48_ref_t); 725#ifdef DEBUG_FFI 726 fprintf(stderr, "call_scheme_2: pushing arg %d ref %x\n", i, ref); 727#endif DEBUG_FFI Shouldn't there be no DEBUG_FFI on this line? 728 s48_push(s48_deref(ref)); 729 } ... $

finalizers vs. weak pointers

Ivan Shmakov — 2008-07-22T02:14:02

Seemingly, weak pointers are invalidated before the finalizers for the object are run. I wonder, what is the reason behind such a behaviour? foo> (define weak-pointer (let* ((s (string #\f #\o #\o)) (w (make-weak-pointer s))) (add-finalizer! s (lambda (obj) (write `(finalizing: ,obj)) (newline) (write `(weak-pointer => ,(weak-pointer-ref w))) (newline))) w)) ; no values returned foo> ,collect Before: 2009301 out of 3000000 words available After: 2038984 out of 3000000 words available foo> (finalizing: "foo") (weak-pointer => #f) foo>

Message archive?

Michael Lesniak — 2008-07-21T08:43:02

Hello, do you have a message archive of old messages from this mailing list? Best regards, Michael Lesniak

Internals of the VM

Michael Lesniak — 2008-07-21T08:41:24

Hello, my name is Michael Lesniak and I am a research associate in the parallel programming languages group of the university of Kassel. I'd like to take a deeper look at the (automatic) parallelization of virtual machines and think that scheme48 code, esp. its virtual machine, seems to be quite good for this[1]. Do you have any resources beside the papers "A tractable scheme implementation" and "Pre-Scheme: A Scheme dialect..."? I've overlooked and which are good start with? Is chapter five of SICP a good starting point (even scheme48's VM uses a stack?) (read it a couple of years ago but forgot most of the details). Any general suggestions before starting to hack on scheme48's VM? Best regards and thanks for your help, Michael Lesniak [1] ...and I like Scheme in general and can therefore connect work with fun :)

Fixed select bug in devel

Andrew Lentvorski — 2008-07-01T00:28:16

The select system got broken in the last round of devel changes. The patch is very minor: $ hg diff diff -r 9f6b8596d82b c/unix/event.c --- a/c/unix/event.cFri Jun 27 08:35:39 2008 +0200 +++ b/c/unix/event.cMon Jun 30 17:23:11 2008 -0700 < at >< at > -841,7 +841,7 < at >< at > return errno; } } -#elif defined HAVE_SIGNAL +#elif defined HAVE_SELECT /* * Call select() on the pending ports and move any ready ones to the ready * queue. If wait is true, seconds is either -1 (wait forever) or the

scheme48-1.8 and --as-needed, DESTDIR, -D_GNU_SOURCE

Panagiotis Christopoulos — 2008-06-30T18:49:00

Where is the source code repository?

Andrew Lentvorski — 2008-06-28T00:52:25

Where is the s48 repository located? Given what we discussed before, it would be best if I used the most recent code for stuff. Thanks, -a

Unuseable target in Makefile

Jonathan Rees — 2008-06-24T20:50:56

[jar< at >ashby scheme48-1.8]$ make build/initial.image-64 make: *** No rule to make target `build/UnicodeData.txt', needed by `scheme/rts/syntax-info.scm'. Stop. [jar< at >ashby scheme48-1.8]$ [jar< at >ashby scheme48-1.8]$ [jar< at >ashby scheme48-1.8]$ What is the point of having a target in the distribution's Makefile, if it can't be made? I would suggest making sure all targets can be made, in either of two ways: 1. remove unmakeable targets so that they're not a tease, and put them in a second distribution package, or 2. add sufficient rules to permit the target to be made. In this case, if one can get the needed source files from the web, include a rule to do so (using, say, wget), or emit manual instructions telling people like me where to get the files and where to put them. I assume the entire URL is http://www.unicode.org/Public/UNIDATA/UnicodeData.txt and that the other four URLs are constructed similarly; maybe that could be put in the Makefile as documentation. -------------------------------- OK, in the time it took me to write the above, I've become stuck in a different way: [module-system] [analysis scheme/opt/analyze.scm] [ensures-loaded scheme/env/load-package.scm] Reifying ................................................................................................................ Writing linker debug file build/reify-debug.tmp (least 0 size 2770 count 1456) Error: undefined variable set-port-crlf?! (package user) make: *** [build/initial.image-64] Error 1 [jar< at >ashby scheme48-1.8]$

\ before ' !!?

Jonathan Rees — 2008-06-24T20:30:11

Hey, c'mon guys, if it ain't broke don't fix it, ok? [jar< at >ashby trunk]$ scheme48 Welcome to Scheme 48 1.4 (made by root on Thu Jan 11 12:47:50 EST 2007) Copyright (c) 1993-2006 by Richard Kelsey and Jonathan Rees. Please report bugs to scheme-48-bugs< at >s48.org. Get more information at http://www.s48.org/. Type ,? (comma question-mark) for help. > "foo'bar" "foo'bar" > ,exit [jar< at >ashby trunk]$ ../build/external/scheme48-1.8/go Welcome to Scheme 48 1.8 (made by jar on Sun May 4 15:16:30 EDT 2008) Copyright (c) 1993-2008 by Richard Kelsey and Jonathan Rees. Please report bugs to scheme-48-bugs< at >s48.org. Get more information at http://www.s48.org/. Type ,? (comma question-mark) for help. > "foo'bar" "foo\'bar" > "foo\'bar" Error: invalid escaped character in string #\' (&i/o-port-error (port . #{Input-port #{Input-channel "standard input"}})) (&i/o-read-error (port . #{Input-port #{Input-channel "standard input"}})) >

bug in CPS conversion

Dimitris Vardoulakis — 2008-06-14T16:12:03

Hi, I'm experimenting with the CPS conversion of the native-code compiler and I get this error message: ---------- Error: incompatible jumps 51 51 1> ,preview signal in signals loop in complete-to-cps in template->node unnamed closure->node in template->node x->node in cfa-optimizer-frontend unnamed in cps-transform-globals in cfa-optimizer-frontend loop in for-each1 in scheme-level-1 cps-transform-globals in cfa-optimizer-frontend analyze-proc/bench in cfa-optimizer-frontend lp in run-benchmark in cfa-bench loop in for-each1 in scheme-level-1 evaluate-and-select in command-processor command-loop thread-start in thread-top-level in threads ----------- when I try to CPS-convert the following code: ----------- (define (app flag) ((lambda (f arg) (+ 16 (f arg))) (if flag (lambda (x) (+ x 1)) (lambda (y) (* y 2))) 33)) (define (cfa-test-dvbench) (app #f)) ------------ I'm not sure what else to report, let me know if you need more information. Dimitris

-pthread unrecognized

Jonathan Rees — 2008-05-29T21:38:15

This doesn't seem to make any difference. Just an FYI. -Jonathan 30-16-246:~/nc/trunk jar$ make scheme48 mkdir -p `dirname ../build/downloads/scheme48-1.8.tgz` wget -nv -O ../build/downloads/scheme48-1.8.tgz http://s48.org/1.8/ scheme48-1.8.tgz 17:36:00 URL:http://s48.org/1.8/scheme48-1.8.tgz [3173151/3173151] -> "../build/downloads/scheme48-1.8.tgz" [1] mkdir -p ../build/external tar -x -z -f ../build/downloads/scheme48-1.8.tgz -C ../build/external (cd ../build/external/scheme48-1.8; ./configure; make) checking build system type... i386-apple-darwin8.11.1 checking host system type... i386-apple-darwin8.11.1 checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether we must build a 32bit binary... no checking bits per byte... 8 checking size of void *... 4 checking for BIT_SUFFIX... 32 checking whether we are building a Universal Binary... no checking how to compile position independent code... no extra option necessary checking -rdynamic... yes checking LDFLAGS_VM... checking for library containing strerror... none required checking for inline keyword... yes checking for a BSD-compatible install... /usr/bin/install -c checking for main in -lm... yes checking for main in -ldl... yes checking for main in -lmld... no checking for main in -lnsl... no checking for main in -lgen... no checking for main in -lsocket... no checking for getpwnam in -lsun... no checking for RISC/OS POSIX library lossage checking for an ANSI C-conforming const... yes checking for socklen_t... yes checking return type of signal handlers... void checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking for uintptr_t... yes checking for uint16_t... yes checking libgen.h usability... yes checking libgen.h presence... yes checking for libgen.h... yes checking sys/timeb.h usability... yes checking sys/timeb.h presence... yes checking for sys/timeb.h... yes checking posix/time.h usability... no checking posix/time.h presence... no checking for posix/time.h... no checking sys/select.h usability... yes checking sys/select.h presence... yes checking for sys/select.h... yes checking sysexits.h usability... yes checking sysexits.h presence... yes checking for sysexits.h... yes checking langinfo.h usability... yes checking langinfo.h presence... yes checking for langinfo.h... yes checking for nl_langinfo... yes checking for gettimeofday... yes checking for ftime... yes checking for select... yes checking for setitimer... yes checking for sigaction... yes checking poll.h usability... yes checking poll.h presence... yes checking for poll.h... yes checking for poll... yes checking for dlopen... yes checking for socket... yes checking for chroot... yes checking for strerror... yes checking environ... using environ checking __NEXT__... no checking IEEE floating-point endianness... least first checking for ld... ld checking compile and link flags for dynamic externals... -fno-common, -g -O2 -rdynamic -bundle -flat_namespace -undefined suppress checking pthread.h usability... yes checking pthread.h presence... yes checking for pthread.h... yes checking Pthreads support... -pthread (compile) -pthread (link) checking -munaligned-doubles... no configure: creating ./config.status config.status: creating Makefile config.status: creating c/sysdep.h config.status: creating c/scheme48arch.h gcc -c -g -O2 -pthread -o c/main.o \ -DDEFAULT_IMAGE_NAME=\"/usr/local/lib/scheme48-1.`cat ./build/minor- version-number`/scheme48.image\" \ -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" ./c/main.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/scheme48vm-32.o c/scheme48vm-32.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/extension.o c/extension.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/free.o c/free.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/double_to_string.o c/double_to_string.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/bignum.o c/bignum.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/external.o c/external.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/external-lib.o c/external-lib.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/external-init.o c/external-init.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/init.o c/init.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/scheme48-twospace-heap-32.o c/scheme48- twospace-heap-32.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/unix/misc.o c/unix/misc.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/unix/io.o c/unix/io.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/unix/fd-io.o c/unix/fd-io.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/unix/event.o c/unix/event.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/unix/socket.o c/unix/socket.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/unix/dynlink.o c/unix/dynlink.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/unix/sysexits.o c/unix/sysexits.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -o c/fake/glue.o c/fake/glue.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' echo 'EXPORTS' > ./c/scheme48.def &&\ cat ./c/scheme48.h ./c/fd-io.h ./c/event.h | egrep '^S48_EXTERN' | sed 's,^S48_EXTERN.*$s48_[a-zA-Z0-9_]*$(.*$,\1,' | sed 's,^S48_EXTERN.*$ps_[a-zA-Z0-9_]*$(.*$,\1,' | sed 's,^S48_EXTERN.*\ (s48_[a-zA-Z0-9_]*\).*$,\1,' >> ./c/scheme48.def gcc -rdynamic -pthread -g -O2 -pthread -o scheme48vm c/main.o\ c/scheme48vm-32.o c/extension.o c/free.o c/double_to_string.o c/ bignum.o c/external.o c/external-lib.o c/external-init.o c/init.o c/ scheme48-twospace-heap-32.o c/unix/misc.o c/unix/io.o c/unix/fd-io.o c/unix/event.o\ -ldl -lm \ c/unix/socket.o c/unix/dynlink.o c/unix/sysexits.o c/fake/glue.o i686-apple-darwin8-gcc-4.0.1: unrecognized option '-rdynamic' i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' # Cygwin if test -x /usr/bin/dlltool; then \ dlltool --dllname scheme48vm.exe --output-lib scheme48vm.a --def ./c/ scheme48.def; \ fi gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -fno-common -o c/posix/user.o c/posix/user.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -fno-common -o c/posix/regexp.o c/posix/regexp.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -fno-common -o c/posix/proc-env.o c/posix/proc- env.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -fno-common -o c/posix/proc.o c/posix/proc.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -fno-common -o c/posix/io.o c/posix/io.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -fno-common -o c/posix/dir.o c/posix/dir.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -fno-common -o c/posix/posix.o c/posix/posix.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -o c/posix.so c/posix/user.o c/posix/regexp.o c/posix/proc- env.o c/posix/proc.o c/posix/io.oc/posix/dir.o c/posix/posix.o -g - O2 -rdynamic -bundle -flat_namespace -undefined suppress i686-apple-darwin8-gcc-4.0.1: unrecognized option '-rdynamic' gcc -c -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" -I ./c -I./c -I./c/ bibop -g -O2 -pthread -fno-common -o c/srfi-27.o c/srfi-27.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -o c/srfi-27.so c/srfi-27.o -g -O2 -rdynamic -bundle - flat_namespace -undefined suppress i686-apple-darwin8-gcc-4.0.1: unrecognized option '-rdynamic' ./build/build-usual-image . \ "`(cd . && pwd)`/scheme" "`pwd`/c" 'scheme48.image' './scheme48vm' \ './build/initial.image-32' ./scheme/env/init-defpackage.scm #{Unspecific} ./scheme/packages.scm ./scheme/more-interfaces.scm ./scheme/link-packages.scm ./scheme/env-packages.scm ./scheme/sort/interfaces.scm ./scheme/sort/packages.scm ./scheme/more-packages.scm ./scheme/posix/packages.scm ./scheme/cml/interfaces.scm ./scheme/cml/packages.scm ./scheme/srfi/packages.scm [display-conditions ./scheme/env/dispcond.scm] [disclosers ./scheme/env/disclosers.scm] [conditions ./scheme/env/io-condition.scm ./scheme/env/condition.scm] [signals ./scheme/env/signal.scm] [command-levels ./scheme/env/command-level.scm ./scheme/env/user.scm] [menus ./scheme/env/menu.scm] [command-processor ./scheme/env/read-command.scm ./scheme/env/ command.scm ./scheme/env/version-info.scm] #{Unspecific} [basic-commands ./scheme/env/basic-command.scm] [build ./scheme/env/build.scm] [shadowing ./scheme/env/shadow.scm] [package-mutation ./scheme/env/pedit.scm] [package-commands ./scheme/env/pacman.scm] [debugging ./scheme/env/debug.scm] [inspect-commands ./scheme/env/inspect.scm] [parse-bytecode ./scheme/env/parse-bytecode.scm] [disassembler ./scheme/env/disasm.scm] [usual-commands] #{Unspecific} [debuginfo ./scheme/env/debuginfo.scm] [extended-numbers ./scheme/rts/xnum.scm] [ratnums ./scheme/rts/ratnum.scm] [recnums ./scheme/rts/recnum.scm] [floatnums ./scheme/rts/floatnum.scm Analyzing... no in-line procedures ] [finite-types ./scheme/big/finite-type.scm] [unicode-char-maps ./scheme/env/unicode-charmap.scm ./scheme/env/ unicode-info.scm ./scheme/env/unicode-category.scm] [usual-features] #{Unspecific} Reading ./build/initial.debug #{Unspecific} #{Unspecific} #{Unspecific} Writing scheme48.image gcc -c -g -O2 -pthread -o c/script-interpreter.o \ -DRUNNABLE=\"/usr/local/bin/scheme48\" \ -DHAVE_CONFIG_H -D__COMPILING_SCHEME48_ITSELF__ - DS48_HOST_ARCHITECTURE=\"i386-apple-darwin8.11.1\" \ -I ./c -I./c \ ./c/script-interpreter.c i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' gcc -rdynamic -pthread -g -O2 -pthread -o script-interpreter c/script- interpreter.o i686-apple-darwin8-gcc-4.0.1: unrecognized option '-rdynamic' i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' i686-apple-darwin8-gcc-4.0.1: unrecognized option '-pthread' echo '#!/bin/sh'>go &&\ echo>>go &&\ echo "lib=\"`pwd`\"">>go &&\ echo 'exec "$lib"/scheme48vm -i "$lib"/scheme48.image "$< at >"'\ >>go &&\ chmod +x go 30-16-246:~/nc/trunk jar$

full polymorphism in Pre-Scheme

James Long — 2008-05-17T13:08:42

Hi, I have a few questions about Pre-Scheme's type system. I will be referencing the following paper as "the paper": Pre-Scheme: A Scheme Dialect for Systems Programming (http://citeseer.ist.psu.edu/196055.html ) and I am using Pre-Scheme from scheme48 v1.8. Note that I don't have much experience with type systems, this is just my first step in understanding them. I am interested in these problems because I would like to extend Pre-Scheme's type system to treat numbers with more granular interest, such as integer16 and integer32. ------ 1.The paper states that Pre-Scheme's type reconstruction algorithm supports 4 kinds of polymorphism, one of them being full polymorphism. The example case in the paper to illustrate this is one which would normally be rejected by basic type systems: (define (add-one x) (+ x 1)) (* (add-one 1.5) (vector-ref v (add-one 3))) I understand the polymorphic nature of the above expressions, and how full polymorphism would support this. The problem is that Pre-Scheme does *not* seem to support this, from pragmatic testing. The peculiarity of it stems from the set of functions [+ - * / ...] being explicitly of type (=> (INTEGER ...) INTEGER), forcing the existence of the set of functions [fl+ fl- fl* fl/ ...] for floats. Wouldn't full polymorphism allow for just one set of mathematical functions? What is the disconnect between C-like overloading and full polymorphism? 2. The paper also describes coercions: "Coercions are limited to those that are computationally inexpensive, for example between different numeric types." I can't seem to glean this anywhere in the current Pre-Scheme. And example would be the set of integer functions referenced above. My interpretation of the above statement is that I should be able to call (+ 1.0 1.0) and get 2 as a result (the floats are coerced to integers). -------- -James

File too large

Jonathan Rees — 2008-05-04T09:02:08

Error: File too large (&primitive-i/o-error (status . 27) (operation . #{Procedure 2490 (call-with-input-file in channel-ports)}) (arguments "/work/gene/ xml/Danio_rerio.xml")) make: *** [/work/gene/ttl/Danio_rerio.ttl] Error 1 [jar< at >ashby trunk]$ ls -l /work/gene/xml/Danio_rerio.xml -rw-rw-r-- 1 jar nc 2576696915 May 3 18:49 /work/gene/xml/ Danio_rerio.xml [jar< at >ashby trunk]$ Why should scheme48 care how big the file is? If I switch to the 64-bit version will this start working? Thanks Jonathan

File too large

Jonathan Rees — 2008-05-04T01:13:06

[Resending because I think the message was rejected due to unsubscribed From: address] Error: File too large (&primitive-i/o-error (status . 27) (operation . #{Procedure 2490 (call-with-input-file in channel-ports)}) (arguments "/work/gene/ xml/Danio_rerio.xml")) make: *** [/work/gene/ttl/Danio_rerio.ttl] Error 1 [jar< at >ashby trunk]$ ls -l /work/gene/xml/Danio_rerio.xml -rw-rw-r-- 1 jar nc 2576696915 May 3 18:49 /work/gene/xml/ Danio_rerio.xml [jar< at >ashby trunk]$ Why should scheme48 care how big the file is? If I switch to the 64-bit version will this start working? Thanks Jonathan