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 {{:}} sho
On 2018-05-02 16:29, Kooda wrote:
> New patch, all is in the title. This fixes ticket #1458.
Applied!
I did make one small change, adding programs-path.scm to the manifest.
I'll close #1458 now. Thanks Kooda!
Evan
___
Chicken-hackers mailing list
C
Hi,
There were cases in match-types which essentially duplicated what
expand-type was doing. This is a simple refactoring to remove that
duplication.
diff --git a/scrutinizer.scm b/scrutinizer.scm
index ece07ed..c89bd60 100644
--- a/scrutinizer.scm
+++ b/scrutinizer.scm
@@ -138,6 +138,15 @@