Re: fix for expt bug

2010-11-04 Thread Mark H Weaver
l...@gnu.org (Ludovic Courtès) writes: I just realized that there is a better way to fix these bugs. We don't need a new top-level case in expt after all. Instead, we generalize the scm_integer_expt case to support inexact integer exponents. You mean “inexact number”, right? No, I meant

Re: The progress of hacking guile and prolog

2010-11-04 Thread Stefan Israelsson Tampe
On Thursday, November 04, 2010 12:43:54 am Ludovic Courtès wrote: Hi Stefan, Lots of stuff here, which is why I took the time to read it. :-) Stefan Israelsson Tampe stefan.ita...@gmail.com writes: 1. The theorem prover (leanCop) is a nice exercise [...] 2. Kanren is a nice way to

[PATCH] Fix bugs in expt and integer-expt

2010-11-04 Thread Mark H Weaver
Here's my patch to fix some bugs in expt and integer-expt. Please review. Mark From 19a24107af814e34fe63d02478bfb9441354625e Mon Sep 17 00:00:00 2001 From: Mark H Weaver m...@netris.org Date: Thu, 4 Nov 2010 22:10:02 -0400 Subject: [PATCH] Fix bugs in expt and integer-expt *