bugKawa - Bugs: bug #44718, better inlining in interactive mode

 
 

bug #44718: better inlining in interactive mode

Submitter:  Per Bothner <bothner>
Submitted:  Sat 04 Apr 2015 12:24:00 AM UTC
   
 
Category:  None Severity:  3 - Normal
Priority:  5 - Normal Item Group:  None
Status:  Confirmed Privacy:  Public
Assigned to:  bothner Open/Closed:  Open
* Mandatory Fields

Post a Comment

Add a New Comment Rich Markup
   

Discussion

Sat 04 Apr 2015 12:24:00 AM UTC, original submission:  

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.

Per Bothner <bothner>
Group administrator

 

Attached Files

This item currently has no attached files.

(Note: upload size limit is set to 16MiB, after insertion of the required escape characters.)

Attach Files:
   
   
Comment:
   

 

Dependencies

This item does not depend on any other items.

No items depend on this one.

 

Mail Notification Carbon-Copy List

Carbon-Copy List
  • -email is unavailable- added by bothner (Submitted the item)
  •  

    Votes

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

    Only logged-in users can vote.

     

    History

    No changes have been made to this item

    Back to the top

    Powered by Savane 3.16.
    Corresponding source code