public inbox for kawa@sourceware.org
 help / color / mirror / Atom feed
From: Phil Eaton <phil@eatonphil.com>
To: Per Bothner <per@bothner.com>
Cc: kawa mailing list <kawa@sourceware.org>
Subject: Re: Receiver class does not define or inherit an implementation of the resolved method
Date: Mon, 30 Aug 2021 19:09:49 -0400	[thread overview]
Message-ID: <CAByiw+qxsFhPbN3wyvLoGeM08U1rx5pf-Qgf-FQ0z8RDSU_udg@mail.gmail.com> (raw)
In-Reply-To: <f2513dc4-3930-0244-3ebf-60b4a23eb6e3@bothner.com>

Aha! It gave my second apply method a different suffix. By reordering these
two methods the whole thing somehow works.

$ javap main\$0.class
Compiled from "main.scm"
public class main$0 implements io.jooby.Route$Handler {
  main$frame this$0;
  public java.lang.CharSequence apply(io.jooby.Context);
  public java.lang.Object apply$1(io.jooby.Context);
  public main$0(main$frame);
}


It's weird but I'll take it.



On Mon, Aug 30, 2021 at 12:40 PM Per Bothner <per@bothner.com> wrote:

> On 8/29/21 12:03 PM, Phil Eaton wrote:> Still new to Kawa. I'm trying to
> implement an interface (
> > io.jooby.Route$Handler
> > <
> https://github.com/jooby-project/jooby/blob/2.x/jooby/src/main/java/io/jooby/Route.java#L247
> >).
> > It only has a single non-default method, apply.
> >
> > Here's what I've got
> >
> > (define (route app method path handler)
> >    (let ((handler (object (io.jooby.Route$Handler)
> >                           #| This method exists just to stop Jooby from
> > trying to introspect Java code that doesn't exist because this isn't
> > written in Java. |#
> >                           ((apply (ctx ::io.jooby.Context)) ::string
> >                            #!null)
> >                           ((apply (ctx ::io.jooby.Context))
> > ::java.lang.Object
> >                            (handler ctx)))))
> >      (app:route method path handler)))
> >
> >
> > But when this gets exercised, I get:
> >
> > [worker-1-3] ERROR io.jooby.Jooby - GET /hello-world 500 Server Error
> > java.lang.AbstractMethodError: Receiver class main$0 does not define or
> > inherit an implementation of the resolved method 'abstract
> java.lang.Object
> > apply(io.jooby.Context)' of interface io.jooby.Route$Handler.
>
> I don't see anything obviously wrong.  One thing to try is instead of an
> anonymous class (with object) use a named class (with define-simple-class).
> The anonymous class is more convenient of course there is some extra
> "magic"
> (such as invisible fields) that might complicate things.
>
> > Also on a tangent, I was excited about the lambda shorthand for single
> > method objects. Like I said this interface only has a single non-default
> > method: apply. But I tried just calling `(app:route method handler)`
> > without wrapping it in the io.jooby.Route$Handler object but it still
> > failed. I guess it couldn't figure out this one method.
>
> Kawa has to be able to figure out at compile time that a specific
> class/interface
> is required before it can convert the lambda to an object.  (As far as I
> can
> remember, doing this conversion at run-time isn't implemented, and would be
> fairly complicated.)  So you may need to add some more type-specifiers.
>
> I suggest using javap to look at the generated classes, to see what is
> going on.
> --
>         --Per Bothner
> per@bothner.com   http://per.bothner.com/
>

  reply	other threads:[~2021-08-30 23:10 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2021-08-29 19:03 Phil Eaton
2021-08-30 16:40 ` Per Bothner
2021-08-30 23:09   ` Phil Eaton [this message]
2021-08-30 23:18     ` Phil Eaton
2021-09-07 10:59       ` spellcard199
2021-09-07 13:02         ` Phil Eaton
2021-09-07 17:58           ` spellcard199
2021-09-07 19:35             ` Phil Eaton
2021-09-08 14:14               ` spellcard199
2021-09-08 14:20                 ` spellcard199
2021-09-07 19:31           ` Per Bothner
2021-09-07 19:45             ` Phil Eaton
2021-09-07 20:13               ` Per Bothner

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=CAByiw+qxsFhPbN3wyvLoGeM08U1rx5pf-Qgf-FQ0z8RDSU_udg@mail.gmail.com \
    --to=phil@eatonphil.com \
    --cc=kawa@sourceware.org \
    --cc=per@bothner.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).