Changes between Version 45 and Version 46 of DataParallel/ClosureConversion/ClassLess


Ignore:
Timestamp:
May 1, 2007 5:28:33 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/ClosureConversion/ClassLess

    v45 v46  
    204204}}}
    205205
    206 Why do we use `(t1 -> t2)^ = t1 -> t2` when either argument type is unboxed, instead of producing `t1^ -> t2^`?  Because we want to avoid   creating conversion constructors for such types.  Afterall, the conversion constructor `isoArr` for function arrows works only for arrows of kind `*->*->*`.
     206Why do we use `(t1 -> t2)^ = t1 -> t2` when either argument type is unboxed, instead of producing `t1^ -> t2^`?  Because we want to avoid   creating conversion constructors for such types.  After all, the conversion constructor `isoArr` for function arrows works only for arrows of kind `*->*->*`.
    207207
    208208=== Converting value bindings ===