This is the mail archive of the
kawa@sources.redhat.com
mailing list for the Kawa project.
Re: generic procedures
- To: Marco Vezzoli <marco dot vezzoli at st dot com>
- Subject: Re: generic procedures
- From: Per Bothner <per at bothner dot com>
- Date: 20 Aug 2001 10:09:35 -0700
- Cc: kawa <kawa at sources dot redhat dot com>
- References: <3B80F8B0.40B39102@st.com>
Marco Vezzoli <marco.vezzoli@st.com> writes:
> do procedures defined with make-procedure dispatch to the actual methods
> using only ariety?
Yes and no. The problem is not make-procedure, which does make a
GenericProc which can dispatch on argument types. The problem is the
individual lambda expression which does not implement the 'match'
operation, except to the extent of check that the parameters are
correct. See the FIX for match in ModuleMethod,java.
Alternatively, it should be possible to implement getParameterType.
It doesn't seem like I will have time to implement this anytime soon.
As a consolation, I did implement define-class and define-simple-class
forms recently. I'm working on some testcases and it looks like at
least define-simple-class is usable at this point, though documentation
is missing.
--
--Per Bothner
per@bothner.com http://www.bothner.com/per/