Re: exit & dynamic wind

2011-03-30 Thread Neil Jerram
Andy Wingo writes: > As for explanations... Catch and throw are implemented using fluids and > prompt and abort. (A discussion of that is here: > http://wingolog.org/archives/2010/02/14/sidelong-glimpses .) An abort > can pass arguments to the prompt's abort handler. It does so by pushing > th

Re: exit & dynamic wind

2011-03-30 Thread Andy Wingo
On Wed 30 Mar 2011 23:25, Andy Wingo writes: > We didn't see this issue before because compiling eval.scm did not cause > a `throw'. Interesting, no? But since I changed the implementation of > ensure-writable-dir to one that probably throws, we see this error. Sorry, forgot to mention somethi

Re: exit & dynamic wind

2011-03-30 Thread Andy Wingo
On Wed 30 Mar 2011 21:06, Mike Gran writes: > - Original Message - >> From:Neil Jerram >> To:Andy Wingo >> Cc:bug-gu...@gnu.org; Ian Price ; guile-devel >> >> Sent:Wednesday, March 30, 2011 11:31 AM >> Subject:Re: exit & dynamic wind &

Re: exit & dynamic wind

2011-03-30 Thread Andy Wingo
On Wed 30 Mar 2011 20:31, Neil Jerram writes: > Andy Wingo writes: > | GENguile-procedures.texi | guile: uncaught throw to wrong-type-arg: (#f Wrong type (expecting ~A): ~S (exact integer (#t # #)) ((#t # #))) >> >> This, it turns out, was something more pernicious, f

Re: exit & dynamic wind

2011-03-30 Thread Mike Gran
- Original Message - > From:Neil Jerram > To:Andy Wingo > Cc:bug-gu...@gnu.org; Ian Price ; guile-devel > > Sent:Wednesday, March 30, 2011 11:31 AM > Subject:Re: exit & dynamic wind > > Andy Wingo writes: > > >>> |  GEN    guile-proce

Re: exit & dynamic wind

2011-03-30 Thread Neil Jerram
Andy Wingo writes: >>> | GENguile-procedures.texi >>> | guile: uncaught throw to wrong-type-arg: (#f Wrong type (expecting ~A): >>> ~S (exact integer (#t # #)) >>> ((#t # #))) > > This, it turns out, was something more pernicious, fixed in > 572eef50c2d902d34427945dd504ba03af666e48. Than

Re: exit & dynamic wind

2011-03-30 Thread Andy Wingo
Hello! On Fri 25 Mar 2011 17:45, Andy Wingo writes: > On Fri 25 Mar 2011 02:52, Neil Jerram writes: > >> Andy Wingo writes: >> >>> I have pushed something that causes the stack to be unwound before >>> exiting. >> >> | GENguile-procedures.texi >> | guile: uncaught throw to wrong-type-arg

Re: exit & dynamic wind

2011-03-25 Thread Andy Wingo
On Fri 25 Mar 2011 02:52, Neil Jerram writes: > Andy Wingo writes: > >> I have pushed something that causes the stack to be unwound before >> exiting. Please let me know if you still see problems. > > Unfortunately, yes. Now when snarf-check-and-output-texi is run, I see: > > | GENguile-

Re: exit & dynamic wind

2011-03-24 Thread Neil Jerram
Andy Wingo writes: > I have pushed something that causes the stack to be unwound before > exiting. Please let me know if you still see problems. Unfortunately, yes. Now when snarf-check-and-output-texi is run, I see: | GENguile-procedures.texi | guile: uncaught throw to wrong-type-arg:

Re: exit & dynamic wind

2011-03-24 Thread Andy Wingo
On Tue 22 Mar 2011 14:26, Ian Price writes: > If you run (exit) at the repl, it is caught, and any after-thunks from > dynamic-wind will be called when you continue with ,q . However, in a > guile script, it is not an error, and the after-thunks are not > called. I have tracked this down and it