Ludovic Courtès wrote:
here's my patch from last december to fix some internal
inconsistencies that prevented guile from compiling with
--disable-deprecated at that time. I've now my copyright assignment
in place, so when it is ok you could commit it at any time. The patch
is updated to the cur
On Fri, Apr 3, 2009 at 4:31 PM, Chong Yidong wrote:
> Andy Wingo writes:
>
>> On Wed 01 Apr 2009 06:31, Stefan Monnier writes:
>>
>>> (defun append (l1 l2)
>>> (declare (type _∷_ <↓> x ⊛ sequence Γ))
>>
>> Another tack would be something like Typed Scheme, from the PLT folks. I
>> assume
