|
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 |
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)).
forall-typevar-shorthand.patch
Description: Text Data
[Prev in Thread] | Current Thread | [Next in Thread] |