[Bug-kawa] [bug #44718] better inlining in interactive mode

[Per Bothner]

URL:
  <http://savannah.gnu.org/bugs/?44718>

                 Summary: better inlining in interactive mode
                 Project: Kawa
            Submitted by: bothner
            Submitted on: Sat 04 Apr 2015 12:24:00 AM GMT
                Category: None
                Severity: 3 - Normal
              Item Group: None
                  Status: Confirmed
                 Privacy: Public
             Assigned to: bothner
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

Consider defining these in a REPL (or loading with -f):
<pre>
(define (f a b) (and (neg a) (neg b)))
(define (g a b) (if (neg a) (neg b) #t))
(define (h a b) (or (neg a) (neg b)))
(define (i a b) (if (neg a) #t (neg b)))
</pre>
The return type for g is Object - but should be boolean.
A related problem is that the call to neg is compiled to accessing the field
for neg, rather than calling the method.
Fixing this would probably result in worse handling for redefinitions (i.e. if
neg is re-defined to a different function), so fix this after we have a better
store for interactive redefinition.




    _______________________________________________________

Reply to this item at:

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

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