Typechecking I

2010-11-15 Thread Stefan Israelsson Tampe
Hi, Ok, here is a first step to analyse code. Note, attached to the mail is a modul /put it at a suitable place and fixup the reference for the module. Then use e.g. (check '(if 1 1 1)) and you will get the output you see further down in the email. We will assume that local variables in the fol

Some work on the R6RS I/O libraries

2010-11-15 Thread Andreas Rottmann
Fix missing port-table locking and bytevector output port segfault. * libguile/r6rs-ports.c (make_bip, make_cbip, make_bop, make_cbop): Lock the port table. * libguile/r6rs-ports.c (make_bop): Let the returned extraction procedure refer to the port's buffer instead of the port itself. This

Re: Loading R6RS Libraries

2010-11-15 Thread Andreas Rottmann
Noah Lavine writes: > Hello all, > > I encountered some behavior I didn't expect, and I'm not sure if it's > intended or not. The following code works fine: > > (use-modules (rnrs base)) > > However, the next two lines both give errors: > > (use-modules (rnrs base (6))) > (use-modules (rnrs base