[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: anyone define port types?
From: |
tomas |
Subject: |
Re: anyone define port types? |
Date: |
Tue, 29 Mar 2016 09:58:21 +0200 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On Mon, Mar 28, 2016 at 09:04:42PM +0200, Andy Wingo wrote:
> Hi!
>
> I am working on improving our port implementation to take advantage of
> the opportunity to break ABI in 2.2. I am wondering how much I can
> break C API as well -- there are some changes that would allow better
> user-space threading
> (e.g. http://thread.gmane.org/gmane.lisp.guile.devel/14158/focus=15463
> or Chris Webber's 8sync).
Yes, please!
uh -- I mean... even if I had anything broken by that change I'd be
very excited. Like it.
thanks
- -- t
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iEYEARECAAYFAlb6NZ0ACgkQBcgs9XrR2kZtzgCdFH4J5PD840WqWNSFNEI4wV/9
/cgAn2Twn7dhpXIX96+oydu6KLkjHlLF
=8Ijx
-----END PGP SIGNATURE-----
- anyone define port types?, Andy Wingo, 2016/03/28
- Re: anyone define port types?, Matt Wette, 2016/03/28
- Re: anyone define port types?,
tomas <=
- Re: anyone define port types?, Nala Ginrut, 2016/03/29
- Re: anyone define port types?, Panicz Maciej Godek, 2016/03/30
- Re: anyone define port types?, Jan Nieuwenhuizen, 2016/03/30
- Re: anyone define port types?, Panicz Maciej Godek, 2016/03/30
- Message not available
- Re: anyone define port types?, Panicz Maciej Godek, 2016/03/30
- Re: anyone define port types?, Marko Rauhamaa, 2016/03/30
- Re: anyone define port types?, Barry Fishman, 2016/03/31
- Re: anyone define port types?, Marko Rauhamaa, 2016/03/31
- Message not available
- Re: anyone define port types?, Jan Wedekind, 2016/03/30
- Re: anyone define port types?, Marko Rauhamaa, 2016/03/30