[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH] Add 'a shorthand for forall types
From: |
Peter Bex |
Subject: |
Re: [Chicken-hackers] [PATCH] Add 'a shorthand for forall types |
Date: |
Sun, 11 Nov 2018 20:58:40 +0100 |
User-agent: |
NeoMutt/20170113 (1.7.2) |
On Sun, Nov 11, 2018 at 09:49:09PM +0200, megane wrote:
> The second example is correct but maybe not too well stated. Maybe if it
> said:
> "(forall (a) ('a -> a)) is _also_ translated to (forall (a) (a -> a))"
>
> So if there's an explicit forall with a typevar "a" adding the apostrophe has
> no effect.
Thanks for clarifying. Here's a signed-off copy of the patch with NEWS
entry and improved wording in the manual.
Cheers,
Peter
0001-Add-quoted-symbols-as-shorthand-for-forall.patch
Description: Text Data
signature.asc
Description: PGP signature