Love this feature, applied.
Thanks megane and Peter.
Evan
___
Chicken-hackers mailing list
Chicken-hackers@nongnu.org
https://lists.nongnu.org/mailman/listinfo/chicken-hackers
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
>
Peter Bex writes:
> On Tue, May 29, 2018 at 01:18:02PM +0300, megane wrote:
>> Hello,
>>
>> This adds support for declaring forall types in more compact manner.
>>
>> It supports syntax like ('a -> 'a) to declare the type
>> (forall (a) (a -> a)).
>
> I was about to apply this, but the
On Tue, May 29, 2018 at 01:18:02PM +0300, megane wrote:
> Hello,
>
> This adds support for declaring forall types in more compact manner.
>
> It supports syntax like ('a -> 'a) to declare the type
> (forall (a) (a -> a)).
I was about to apply this, but the second example added to the manual
Hi all,
In the interest of moving forward with CHICKEN 5, I propose
that we postpone all the below changes to 5.1.
On Tue, May 29, 2018 at 01:18:02PM +0300, megane wrote:
> Hello,
>
> This adds support for declaring forall types in more compact manner.
>
> It supports syntax like ('a -> 'a) to
Hello,
This adds support for declaring forall types in more compact manner.
It supports syntax like ('a -> 'a) to declare the type
(forall (a) (a -> a)).
diff --git a/manual/Types b/manual/Types
index 6d5de10..cab029d 100644
--- a/manual/Types
+++ b/manual/Types
@@ -158,6 +158,12 @@ or {{:}}
