Re: [Chicken-users] git rm write-line?

2011-09-21 Thread Christian Kellermann
* Sascha Ziemann cev...@gmail.com [110921 10:11]: What the hell does write-line do? I used this script: #! /usr/local/bin/csi -s (define (write-line* line) (display line) (newline)) (if (not (null? (command-line-arguments))) (set! write-line write-line*)) (let next-line

Re: [Chicken-users] git rm write-line?

2011-09-21 Thread Christian Kellermann
On a second thought, here is what write-line does: (define write-line (lambda (str . port) (let ((p (if (##core#inline C_eqp port '()) ##sys#standard-output (##sys#slot port 0) ) ) ) (##sys#check-port p 'write-line) (##sys#check-string str

Re: [Chicken-users] git rm write-line?

2011-09-21 Thread Sascha Ziemann
2011/9/21 Christian Kellermann ck...@pestilenz.org: On a second thought, here is what write-line does: (define write-line  (lambda (str . port)    (let ((p (if (##core#inline C_eqp port '())                 ##sys#standard-output                 (##sys#slot port 0) ) ) )      

Re: [Chicken-users] git rm write-line?

2011-09-21 Thread Christian Kellermann
* Sascha Ziemann cev...@gmail.com [110921 10:33]: 2011/9/21 Christian Kellermann ck...@pestilenz.org: On a second thought, here is what write-line does: (define write-line  (lambda (str . port)    (let ((p (if (##core#inline C_eqp port '())                 ##sys#standard-output      

Re: [Chicken-users] git rm write-line?

2011-09-21 Thread Peter Bex
On Wed, Sep 21, 2011 at 10:37:51AM +0200, Christian Kellermann wrote: Well, now the choice is manyfold. One can whine about the slowness or improve the current situation or something completely different like shopping... I prefer improvement. Who doesn't? Either way thanks for the nice

Re: [Chicken-users] git rm write-line?

2011-09-21 Thread Sascha Ziemann
2011/9/21 Christian Kellermann ck...@pestilenz.org: I prefer improvement. Btw this is what Bigloo does. Interpreted: $ dd if=/dev/zero bs=1M count=100 | od -xv | bigloo -i cat.scm /dev/null 100+0 records in 100+0 records out 104857600 bytes (105 MB) copied, 10.6036 s, 9.9 MB/s Compiled with

Re: [Chicken-users] git rm write-line?

2011-09-21 Thread Felix
From: Christian Kellermann ck...@pestilenz.org Subject: Re: [Chicken-users] git rm write-line? Date: Wed, 21 Sep 2011 10:37:51 +0200 * Sascha Ziemann cev...@gmail.com [110921 10:33]: 2011/9/21 Christian Kellermann ck...@pestilenz.org: On a second thought, here is what write-line does