[Bug-kawa] [bug #44398] Unnecessary Warning when binding java object instances to a name

[Per Bothner]

Update of bug #44398 (project kawa):

                  Status:                    None => Invalid                

    _______________________________________________________

Follow-up Comment #1:

The "no known slot" message means there is no slot known *at compile-time*, so
the compiler has to generate code to do a run-time lookup (using reflection). 
This succeeds, but is much slower.

The reason is due to the REPL: The compiler can't be sure that b is a point. 
After all the next statement could be:

  (set! b "not-a-point")


Instead of 'define' you could use the new '!' operator, which is similar to
define-constant (but will allow pattern-match).  You can also use
'define-constant', 'define-private', or plain define with a type-specifier:

  (define b ::point (point))


This is not a problem in a file (as long as it is processd in whole-file mode
rather than line-at-a-time mode).


    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?44398>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/