> Hi
>
>> You want to use `asTypeOf`, with a lazy pattern to name a value of type 'a'.
>>
>> pr xs = "[" ++ pr (undefined `asTypeOf` x) ++ "]"
>> where (x:_) = xs
>
> I prefer:
>
> pr xs = "[" ++ pr (undefined `asTypeOf` head x) ++ "]"
>
> Or even more simply:
>
> pr xs = "[" ++ pr (head x) ++ "]"
>
> I do believe there is some GHC extension that can be turned on to
> refer to variables like you did, but its not standard Haskell.
>
> Thanks
>
> Neil
> _______________________________________________
> Glasgow-haskell-users mailing list
>
Glasgow-haskell-users@haskell.org>
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>