Concurrent Clean : lifted argument
[id:lethevert:20060216:p1]
これの再現パターンがいまひとつ分からないなー。
-
-
- -
-
再現した。
Start = f (\a f = f a) ::MyType a b :== a -> (a -> b) -> b f :: (A.d: MyType d Int) -> Int f g = inner where inner = g 1 \a = g (toString a) \a = g (toInt a) \a = a