Changed URL for benchmark graphs

2010-11-20 Thread Neil Jerram
With apologies for the churn... my benchmark graphs are now back at http://ossau.homelinux.net/~neil. (i.e. they've moved back from port 8000 to port 80.) Also they haven't been auto-updating, since yesterday, because I've been trying to investigate why so many individual benchmarks have apparent

Re: [PATCH 2/4] Add implementation of "transcoded ports"

2010-11-20 Thread Ludovic Courtès
Hi! Andreas Rottmann writes: > * libguile/r6rs-ports.c (make_tp, tp_write, tp_fill_input, tp_flush, > tp_close, initialize_transcoded_ports, scm_transcoded_port): New > functions. > (scm_init_r6rs_ports): Call `initialize_transcoded_ports'. > * module/rnrs/ports.scm (transcoded-port): Remo

Re: [PATCH 1/4] Fix missing port-table locking and bytevector output port segfault

2010-11-20 Thread Ludovic Courtès
Applied, thanks! (But it's really 2 different patches.) Ludo'.

Re: [PATCH] Allow user-defined meta-commands (take #2)

2010-11-20 Thread Ludovic Courtès
Hi! Andreas Rottmann writes: > Besides allowing user-defined meta-commands, this change also refactors > the meta-command machinery to split reading a command's arguments from > the procedure actually implementing it, and hence allows nesting > meta-commands. As an example of such a command, ",

Re: patch to check for GNU flex

2010-11-20 Thread Andy Wingo
Hi, On Fri 19 Nov 2010 23:39, l...@gnu.org (Ludovic Courtès) writes: > Flex is only needed when building from Git, not when building from a > tarball, which is why ‘configure’ doesn’t check for it. It's a common question, though. I have added a flex --version call to autogen.sh for this reason,

Re: source-location->source-properties

2010-11-20 Thread Andy Wingo
Hello :) On Thu 18 Nov 2010 22:37, l...@gnu.org (Ludovic Courtès) writes: > Hi! Hey I'm caught up to this week! :) > "Andy Wingo" writes: > >> +source-location->source-properties > > I was thinking that this procedure could be made internal to the ES > compiler, so that the export

Re: FFI support for disjoint types

2010-11-20 Thread Andy Wingo
On Thu 11 Nov 2010 17:24, l...@gnu.org (Ludovic Courtès) writes: > (define-wrapped-pointer-type class? > wrap-class unwrap-class print-class) Looks great! Would be a great addition to system foreign. >(with-syntax ((type-name (datum->syntax #'pred (gensym))) > (%wr

Re: record-case?

2010-11-20 Thread Andy Wingo
On Sun 07 Nov 2010 23:54, l...@gnu.org (Ludovic Courtès) writes: > Noah Lavine writes: > >> 'record-case' [...] looked neat > > I find it limited and would rather add record matching support in > (ice-9 match), something I’ve been willing to look at for too long... > > http://news.gmane.org/gma

Re: fix for expt bug

2010-11-20 Thread Andy Wingo
Hi, On Mon 08 Nov 2010 22:08, l...@gnu.org (Ludovic Courtès) writes: > Mark H Weaver writes: > >> No, (integer? 3.0) returns #t, as it should, according to R5RS. >> R5RS's description of "integer?" gives this precise example, and >> guile's implementation agrees. > > Damn, I had never realized t

Re: Problem with UTF-8, "write, " and some characters using initial locale

2010-11-20 Thread Taylor Venable
On Sat, Nov 20, 2010 at 12:53 PM, Mike Gran wrote: > You should basically always call (setlocale LC_ALL "") before > working on non-ASCII code. > > Guile starts up in Latin-1.  It may seem that Guile should > pick up your environment's LANG or LOCALE on startup, but, most > compilers (including gc

Re: R6RS exception printing at the REPL

2010-11-20 Thread Andy Wingo
Heya Andreas, On Sat 20 Nov 2010 19:18, Andreas Rottmann writes: > Andy Wingo writes: > >> set-exception-printer! : exception-printer -> nothing >> > Did you mean the following? > > set-exception-printer! : key exception-printer -> nothing Of course, yes. It seems I distilled the interface d

[PATCH] Allow user-defined meta-commands (take #2)

2010-11-20 Thread Andreas Rottmann
[ Re-sent after rebasing on current HEAD ] Besides allowing user-defined meta-commands, this change also refactors the meta-command machinery to split reading a command's arguments from the procedure actually implementing it, and hence allows nesting meta-commands. As an example of such a comman

Re: R6RS exception printing at the REPL

2010-11-20 Thread Andreas Rottmann
Andy Wingo writes: > On Sun 24 Oct 2010 23:46, Andreas Rottmann writes: > >> Attached is a patch that improves the way R6RS exceptions are printed at >> the REPL > > Cool! I have also found the need to define pretty-printers for various > throw keys. I wonder, could you rework this patch to add

Re: [PATCH] Some tweaks to the R6RS support

2010-11-20 Thread Andreas Rottmann
Andy Wingo writes: > Hi Andreas, > > On Wed 27 Oct 2010 00:53, Andreas Rottmann writes: > >> * module/rnrs/base.scm (error, assert): Define -- they were missing. >> (assertion-violation): Properly treat a #f `who' argument. >> >> * module/rnrs/conditions.scm (condition): Use `assertion-violati

Re: Problem with UTF-8, "write, " and some characters using initial locale

2010-11-20 Thread Mike Gran
> From: Taylor Venable > Hi there, I'm having a strange problem using "write" in recent Git > versions. When I include certain characters in a string passed to > write, it prints odd hex representations of the Latin-1 encodings of > those characters: "odd" because the result is not valid UTF-

[PATCH 4/4] Work towards a more complete implementation of `(rnrs io ports)'

2010-11-20 Thread Andreas Rottmann
* module/rnrs/io/ports.scm: Change into an R6RS library from a "regular" Guile module, so the bookkeeping for #:re-export and #:replace is done automatically and we gain control over the imports from `(guile)'. (file-option, buffer-mode, eol-style, error-handling-mode, make-transcoder, nat

[PATCH 3/4] Reorganize the R6RS I/O condition types

2010-11-20 Thread Andreas Rottmann
Move the I/O condition types from `(rnrs conditions)', where they were not exported, to `(rnrs files)', where they are. * module/rnrs/conditions.scm: Remove definition of I/O condition types. * module/rnrs/files.scm: Replace references to I/O condition types inside `(rnrs conditions)' with the a

[PATCH 2/4] Add implementation of "transcoded ports"

2010-11-20 Thread Andreas Rottmann
* libguile/r6rs-ports.c (make_tp, tp_write, tp_fill_input, tp_flush, tp_close, initialize_transcoded_ports, scm_transcoded_port): New functions. (scm_init_r6rs_ports): Call `initialize_transcoded_ports'. * module/rnrs/ports.scm (transcoded-port): Remove, this is now implemented in C. * test

[PATCH 1/4] Fix missing port-table locking and bytevector output port segfault

2010-11-20 Thread Andreas Rottmann
* 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 fixes a segfault if the port is closed before the extraction procedu

Problem with UTF-8, "write, " and some characters using initial locale

2010-11-20 Thread Taylor Venable
Hi there, I'm having a strange problem using "write" in recent Git versions. When I include certain characters in a string passed to write, it prints odd hex representations of the Latin-1 encodings of those characters: "odd" because the result is not valid UTF-8 even though I believe my environmen

Re: [PATCH]

2010-11-20 Thread Andy Wingo
On Thu 28 Oct 2010 01:35, Neil Jerram writes: > l...@gnu.org (Ludovic Courtès) writes: > >> Besides, you might want to check if it’s fixed in the elisp branch, who >> knows. :-) > > Ah, yes, I didn't think of that. As luck would have it, this has indeed > been fixed already. :-) And Brian's pa

Re: [PATCH] Some tweaks to the R6RS support

2010-11-20 Thread Andy Wingo
Hi Andreas, On Wed 27 Oct 2010 00:53, Andreas Rottmann writes: > * module/rnrs/base.scm (error, assert): Define -- they were missing. > (assertion-violation): Properly treat a #f `who' argument. > > * module/rnrs/conditions.scm (condition): Use `assertion-violation' > instead of the undefine

Re: R6RS exception printing at the REPL

2010-11-20 Thread Andy Wingo
On Sun 24 Oct 2010 23:46, Andreas Rottmann writes: > Attached is a patch that improves the way R6RS exceptions are printed at > the REPL Cool! I have also found the need to define pretty-printers for various throw keys. I wonder, could you rework this patch to add a more generic exception-printi

Re: A Working (but Minimal) JIT

2010-11-20 Thread Andy Wingo
Hi, On Fri 22 Oct 2010 06:29, Noah Lavine writes: > After not emailing for a while, I have some good news: a JIT engine is > working! Great news! I have been behind on things a bit, so apologies for taking a month to get back to you, and then only partially. In any case Ludovic probably knows

Re: GLIL->C compilation

2010-11-20 Thread Andy Wingo
On Sat 20 Nov 2010 00:56, l...@gnu.org (Ludovic Courtès) writes: >> Yes on one of my machine one loop takes about 6ns for the compiled one and >> about 50ns for the bytcode, say a factor of 7-10 for simple tasks, but >> remember >> this is for rather trivial work. > > Woow, I didn’t expect so mu

Re: Typechecking I

2010-11-20 Thread Andy Wingo
Hi, Just some superficial notes while reading your code :) On Tue 16 Nov 2010 00:10, Stefan Israelsson Tampe writes: > (define-module (language prolog typecheck equationalize) > #:use-module (srfi srfi-1) > #:use-module (ice-9 pretty-print ) > #:use-mod

Re: The progress of hacking guile and prolog

2010-11-20 Thread Andy Wingo
Hi again, The more apropos link to Racket's contracts would probably be: http://docs.racket-lang.org/guide/contracts.html Cheers, Andy -- http://wingolog.org/

Re: The progress of hacking guile and prolog

2010-11-20 Thread Andy Wingo
Hi Noah, On Thu 04 Nov 2010 03:40, Noah Lavine writes: > I think that Guile should offer optional static checking - not just of > types, but of everything that we can check. It seems like you're really asking for *dynamic* checking -- not only checking properties that can be proved statically,