[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH] Standardize specialization and argument ty
|
From: |
Evan Hanson |
|
Subject: |
Re: [Chicken-hackers] [PATCH] Standardize specialization and argument type matching |
|
Date: |
Sun, 1 Nov 2015 11:04:04 +1300 |
On 2015-10-30 21:15, Peter Bex wrote:
> PS: I noticed there's still an "exact" in over-all-instantiations.
> It seems to be called mostly with #t, once with #f and once with "all".
> Perhaps it's better to rename that to "all", because that's what it
> seems to do: check that all types in the list pass the processor.
> Am I correct in my assessment? What do you think about the change?
That's exactly right -- it used to represent either "exact" or "all"
depending on the context, but now it's only ever "all" (and should
probably be renamed).
Evan