Changes between Version 3 and Version 4 of Supercompilation


Ignore:
Timestamp:
Jul 2, 2009 7:39:29 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v3 v4  
    2626Open questions: 
    2727 
    28  *) Should R contexts include let-statements?  
     28 * Should R contexts include let-statements?  
    2929 
    30  *) Should matching for renamings be modulo permutation of lets? (Performance vs code size) 
     30 * Should matching for renamings be modulo permutation of lets? (Performance vs code size) 
     31 
     32 * Consider `(\x xs. append x xs)`.  Do we inline append, and create a specialised copy?  (Of course, identical to the original definition.) 
     33   * '''Yes''': provided we don't create ''multiple'' specialised copies, we are effectively copying library code into the supercompiled program.  Then we can discard all libraries (provided we have all unfoldings). 
     34   * '''No''': then need to keep the libraries 
     35   But it's not clear that we can ''always'' inline ''everything''.  For example things with `unsafePerformIO`.