Re: thinking about proper implementation of tail calls

2012-08-31 Thread Jochen Theodorou
Am 31.08.2012 02:39, schrieb John Rose: [...] > Suppose you are compiling your favorite high-level language to the > JVM, and you start running into the various size limits in class > files. (Usually they come from the 16-bit indexes in various > places.) What do you do, dear? (H/T to Maurice Se

Re: strange ClassFormatError with indy

2012-08-31 Thread Jochen Theodorou
Am 31.08.2012 01:22, schrieb John Rose: [...] to sum it up... JVMS 4.2.2 says it is not allowed, JVMS 4.4.6 kind of allows it... the discussion in 4.10.1.4 says usages of and are not typesafe ... > So if you want your code to pass the verifier, avoid (and ). ok, so it is the name after all,

Re: thinking about proper implementation of tail calls

2012-08-31 Thread Charles Oliver Nutter
An interesting idea! Comments below. On Thu, Aug 30, 2012 at 7:39 PM, John Rose wrote: > I have been looking for a "killer application" for tail calls on the JVM. > Doug's example may turn out to one. Here's another candidate: Overcoming > class file size limits. > > Suppose you are compilin