Re: java 11

[Per Bothner <per@bothner.com>]

On 12/2/18 5:49 PM, Per Bothner wrote:
> On 12/2/18 3:00 PM, daniel szmulewicz wrote:
> Your problem may be that you're running the script using load,
> or using the -f command-line flag.  That reads, compiles, and evaluates
> each line one-by-one which is undesirable for a number of reasons.
> For one it hurts various optimizations and requires more reflection.

It is possible to get the script running using load or the -f flag,
however, run-time method lookup and selection do not work as well as
doing it at compile-time, so you want to help the type-inference.

The trick is to replace 'define' by 'define-constant' or the '!' short-hand syntax:

     (define-constant client (*:build (HttpClient:newBuilder)))
or:
     (! client (*:build (HttpClient:newBuilder)))
or use an explicit type specifier:
     (define client ::HttpClient (*:build (HttpClient:newBuilder)))

The reason plain define (without a type-specifier) doesn't work
is because the Kawa type inference engine can't know if client
is *always* an HttpClient - a later set! might change its value.
When working file-at-a-time (rather than line-at-a-time) Kawa
knows there is no later set!.
-- 
	--Per Bothner
per@bothner.com   http://per.bothner.com/