[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Chicken-hackers] [PATCH] Add 'a shorthand for forall types

From: megane
Subject: [Chicken-hackers] [PATCH] Add 'a shorthand for forall types
Date: Tue, 29 May 2018 13:18:02 +0300
User-agent: mu4e 0.9.18; emacs 25.1.1


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)).

Attachment: forall-typevar-shorthand.patch
Description: Text Data

reply via email to

[Prev in Thread] Current Thread [Next in Thread]