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

 
 

bug #44718: better inlining in interactive mode

Submitted by:  Per Bothner <bothner>
Submitted on:  Sat 04 Apr 2015 12:24:00 AM UTC  
 
Category: NoneSeverity: 3 - Normal
Item Group: NoneStatus: Confirmed
Privacy: PublicAssigned to: Per Bothner <bothner>
Open/Closed: Open

Add a New Comment(Rich Markup)
   

You are not logged in

Please log in, so followups can be emailed to you.

 

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>
Project AdministratorIn charge of this item.

 

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

Attach File(s):
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

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

    Do you think this task is very important?
    If so, you can click here to add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.

     

    Please enter the title of George Orwell's famous dystopian book (it's a date):

     

     

    No Changes Have Been Made to This Item

    Back to the top


    Powered by Savane 3.1-cleanup1