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


Ignore:
Timestamp:
May 1, 2007 5:01:10 AM (8 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 ===