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 you've seen it? It makes particular sense in the context of
>
On Fri 03 Apr 2009 13:31, Chong Yidong writes:
> 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 you
Howdy howdy,
On Tue 31 Mar 2009 16:25, Neil Jerram writes:
> - On the other hand, it does feel slightly incourteous, and the
> argument about master being broken sounds like nonsense - because
> everyone has their own local branches, and AFAIK there is never any
> need to push those apart
Hi Stefan,
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 you've seen it? It makes particular sense in the context of
modules, where interp
Hi,
On Thu 02 Apr 2009 05:05, Greg Troxel writes:
> debug.c: In function 'init_stack_limit':
> debug.c:532: warning: comparison is always false due to limited range of data
> type
> debug.c:535: warning: comparison is always false due to limited range
> of data type
I pushed a patch just now t
Hi Neil,
On Tue 31 Mar 2009 15:47, Neil Jerram writes:
> Andy Wingo writes:
>
>> #!/usr/bin/env guile -e
>>
>> but we all know the problem with that.
>
> Only one argument being portably supported? (I _think_ that's the
> problem, but I'm not so sure that I don't want to check that that
Howdy,
On Wed 01 Apr 2009 15:23, Neil Jerram writes:
> l...@gnu.org (Ludovic Courtès) writes:
>
> I have no objection to that. We still want to support existing
> scripts, of course - but I assume that's why you said "mark as
> deprecated" and not "remove". :-)
I agree :) We can make guile-con
