[Chicken-hackers] [PATCH] simplify typevar instantiation handling in scrutinizer

2011-09-26 Thread Felix
Attached is a patch that simplifies the use of "over-all-instantiations" in the scrutinizer. Peter was of course right about the redundant matching at some call-sites of this procedure, which I boneheadedly refused to see. This patch also fixes a bug in the transformation of the internal node tree

Re: [Chicken-hackers] [PATCH] replace write-line calls to display with internal procedures.

2011-09-26 Thread Christian Kellermann
* felix winkelmann [110926 08:45]: > From: Christian Kellermann > Subject: [Chicken-hackers] [PATCH] replace write-line calls to display with > internal procedures. > Date: Sun, 25 Sep 2011 19:45:23 +0200 > > > The attached patch should be a little bit faster than the old version > > since we d

Re: [Chicken-hackers] [PATCH] replace write-line calls to display with internal procedures.

2011-09-26 Thread Felix
>> Two more suggestions: >> >> - use "##sys#check-port*" to make sure the port is open >> - use "##sys#check-port-mode" to do the direction check > > Ah, those are convenient. I have attached an updated version of the patch. Thanks a lot. But note that "##sys#check-..." return an undefined resul

Re: [Chicken-hackers] [PATCH] replace write-line calls to display with internal procedures.

2011-09-26 Thread Christian Kellermann
* felix winkelmann [110926 09:46]: > >> Two more suggestions: > >> > >> - use "##sys#check-port*" to make sure the port is open > >> - use "##sys#check-port-mode" to do the direction check > > > > Ah, those are convenient. I have attached an updated version of the patch. > > Thanks a lot. But n

Re: [Chicken-hackers] [PATCH] replace write-line calls to display with internal procedures.

2011-09-26 Thread Christian Kellermann
* Christian Kellermann [110926 10:00]: > * felix winkelmann [110926 09:46]: > > >> Two more suggestions: > > >> > > >> - use "##sys#check-port*" to make sure the port is open > > >> - use "##sys#check-port-mode" to do the direction check > > > > > > Ah, those are convenient. I have attached an

Re: [Chicken-hackers] [PATCH] replace write-line calls to display with internal procedures.

2011-09-26 Thread Christian Kellermann
* Christian Kellermann [110926 10:01]: > Ignore this. I suck. > Let me fetch some coffee and redo it properly. That should work better. -- Who can (make) the muddy water (clear)? Let it be still, and it will gradually become clear. Who can secure the condition of rest? Let movement go on, and t

Re: [Chicken-hackers] Ports checking

2011-09-26 Thread Felix
> I've noticed that at least in extras.scm almost none of the procedures > check whether they get the *right* port, i.e. whether read routines > get input-port and write procedures get output-ports. True. These ought to get extended. There are also more things that should be done: ##sys#check-p

Re: [Chicken-hackers] [PATCH] simplify typevar instantiation handling in scrutinizer

2011-09-26 Thread Felix
From: Felix Subject: [PATCH] simplify typevar instantiation handling in scrutinizer Date: Mon, 26 Sep 2011 09:23:02 +0200 (CEST) > Attached is a patch that simplifies the use of > "over-all-instantiations" in the scrutinizer. Peter was of course > right about the redundant matching at some call-s

Re: [Chicken-hackers] [PATCH] replace write-line calls to display with internal procedures.

2011-09-26 Thread Felix
From: Christian Kellermann Subject: Re: [Chicken-hackers] [PATCH] replace write-line calls to display with internal procedures. Date: Mon, 26 Sep 2011 10:04:39 +0200 > * Christian Kellermann [110926 10:01]: >> Ignore this. I suck. >> Let me fetch some coffee and redo it properly. > > That shou

Re: [Chicken-hackers] [PATCH] simplify typevar instantiation handling in scrutinizer

2011-09-26 Thread Christian Kellermann
* felix winkelmann [110926 13:28]: > From: Felix > Subject: [PATCH] simplify typevar instantiation handling in scrutinizer > Date: Mon, 26 Sep 2011 09:23:02 +0200 (CEST) > > > Attached is a patch that simplifies the use of > > "over-all-instantiations" in the scrutinizer. Peter was of course > >

Re: [Chicken-hackers] [PATCH] simplify typevar instantiation handling in scrutinizer

2011-09-26 Thread Felix
From: Christian Kellermann Subject: Re: [Chicken-hackers] [PATCH] simplify typevar instantiation handling in scrutinizer Date: Mon, 26 Sep 2011 21:45:59 +0200 > * felix winkelmann [110926 13:28]: >> From: Felix >> Subject: [PATCH] simplify typevar instantiation handling in scrutinizer >> Date: