[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-hackers] [PATCH] Export specializations with generated type
|
From: |
Evan Hanson |
|
Subject: |
Re: [Chicken-hackers] [PATCH] Export specializations with generated type database information |
|
Date: |
Mon, 27 Oct 2014 01:17:52 -0700 |
|
User-agent: |
OpenSMTPD enqueuer (Demoosh) |
On 2014-10-20 8:20, Peter Bex wrote:
> How about changing this to use the full argument list, instead?
Hm, interesting. Including types in the names would work, but it also
feels very wrong to me to embed contract information at the syntactic
level like that. Crosses too many layers, etc. As you point out, though,
the recompilation issue is an important one to address... Hrm.
Anyway, I don't have a better idea, but I also don't really want to add
anything half-baked (subjective as that is....). I'll probably shelve this
for now, unless any other hackers@ really like the long-names solution.
Evan