On 25/01/12 16:21, Thijs Alkemade wrote:
Hello!
...
Examples:
*Main> :t [__, ()]
tcRnExpr2: [(<interactive>:1:2-3, ())]
[__, ()] :: [()]
*Main> :t map __ __
tcRnExpr2: [(<interactive>:1:5-6, a0 -> b), (<interactive>:1:8-9, [a0])]
map __ __ :: [b]
You can do something similar right now with implicit parameters:
Prelude> :set -XImplicitParams
Prelude> :t [?a, ()]
[?a, ()] :: (?a::()) => [()]
Prelude> :t map ?a ?b
map ?a ?b :: (?b::[a], ?a::a -> b) => [b]
Twan
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
