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


Ignore:
Timestamp:
May 1, 2007 5:18:15 AM (7 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 ===