Changes between Initial Version and Version 1 of Ticket #11284, comment 11


Ignore:
Timestamp:
Dec 27, 2015 7:14:51 PM (4 years ago)
Author:
bgamari
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #11284, comment 11

    initial v1  
    2222Which later gets inlined back into `$wgo`.
    2323
    24 Looking at this Core, I suppose it's plausible that there really are too many free variables in this function to beneficially lambda-lift. It would be nice to have a second opinion here.
     24Looking at this Core, I suppose it's plausible that there really are too many free variables in this function to beneficially lambda-lift. In sum it needs,
     25
     26 * Bound variables:
     27   * `ww_X7c8 :: Int#`: length accumulator (in characters)
     28   * `ww_X7cd :: Int#`: cursor into text buffer (in bytes)
     29 * Free variables:
     30   * `a_a4jO :: Int#`: end of text buffer (in bytes)
     31   * `dt_a4jP :: ByteArray#`: the text buffer itself
     32
     33Actually, now that I list them this doesn't seem so bad; I would think lambda-lifting is quite feasible here.
     34
     35It would be nice to have a second opinion here.