Changes between Version 4 and Version 5 of Supercompilation


Ignore:
Timestamp:
Jul 2, 2009 9:08:01 AM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Supercompilation

    v4 v5  
    3131 
    3232 * 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). 
     33   * '''Yes'''.  At 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). 
    3434   * '''No''': then need to keep the libraries 
    3535   But it's not clear that we can ''always'' inline ''everything''.  For example things with `unsafePerformIO`.