Changes between Version 41 and Version 42 of DataParallel/ClosureConversion/ClassLess


Ignore:
Timestamp:
May 1, 2007 5:01:10 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • DataParallel/ClosureConversion/ClassLess

    v41 v42  
    188188              = T    , otherwise 
    189189a^            = a 
    190 (t1 -> t2)^   = t1^ -> t2^ , if kindOf t1 == # 
     190(t1 -> t2)^   = t1 -> t2  , if kindOf t1 == # 
    191191                             or kindOf t2 == # 
    192192              = t1^ :-> t2^, otherwise 
     
    200200([Int -> Int] -> Int)^  = [Int :-> Int] :-> Int 
    201201(Int# -> Int# -> Int#)^ = Int# -> Int# -> Int# 
    202 ((Int -> Int) -> Int#)^ = (Int :-> Int) -> Int# 
     202((Int -> Int) -> Int#)^ = (Int -> Int) -> Int# 
    203203(Int -> Int -> Int#)^   = Int :-> (Int -> Int#) 
    204204}}} 
     205 
     206Why do we use `(t1 -> t2)^ = t1 -> t2` when either argument type is unboxed? 
    205207 
    206208=== Converting value bindings ===