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

Timestamp:

04/30/07 22:01:10 (6 years ago)

Author:

chak

Comment:

--

DataParallel/ClosureConversion/ClassLess

@@ -188 +188 @@
               = T    , otherwise
 a^            = a
-(t1 -> t2)^   = t1^ -> t2^ , if kindOf t1 == #
+(t1 -> t2)^   = t1 -> t2   , if kindOf t1 == #
                              or kindOf t2 == #
               = t1^ :-> t2^, otherwise
@@ -200 +200 @@
 ([Int -> Int] -> Int)^  = [Int :-> Int] :-> Int
 (Int# -> Int# -> Int#)^ = Int# -> Int# -> Int#
-((Int -> Int) -> Int#)^ = (Int :-> Int) -> Int#
+((Int -> Int) -> Int#)^ = (Int -> Int) -> Int#
 (Int -> Int -> Int#)^   = Int :-> (Int -> Int#)
 }}}
+
+Why do we use `(t1 -> t2)^ = t1 -> t2` when either argument type is unboxed?
 
 === Converting value bindings ===