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


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

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/ClosureConversion/ClassLess

    v44 v45  
    204204}}}
    205205
    206 Why do we use `(t1 -> t2)^ = t1 -> t2` when either argument type is unboxed?  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.  Afterall, the conversion constructor `isoArr` for function arrows works only for arrows of kind `*->*->*`.
    207207
    208208=== Converting value bindings ===