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

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 {{:}}

Re: [Chicken-hackers] Make the test suite work when PROGRAM_PREFIX and PROGRAM_SUFFIX are defined

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

[Chicken-hackers] [PATCH] Remove some type expansion related code duplication in scrutinizer

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 @@

[Chicken-hackers] [PATCH] Rework library loading to support conditional unit entry

Hello fellow hackers, Here is a big, gnarly patch that finishes the work I started in Bergen, which was to change the way we handle library dependencies so that units can be loaded conditionally. This was inspired by Peter's changes to make import expressions lexically-scoped, so that you can