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


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

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/ClosureConversion/ClassLess

    v43 v44  
    192192              = t1^ :-> t2^, otherwise
    193193(t1 t2)^      = t1^ t2^
    194 (forall a.t)^ = forall a.t^
     194(forall a.t)^ = forall a_CC.t^
    195195}}}
    196196Here some examples,
     
    204204}}}
    205205
    206 Why do we use `(t1 -> t2)^ = t1 -> t2` when either argument type is unboxed?
     206Why 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 `*->*->*`.
    207207
    208208=== Converting value bindings ===