On Fri, Jul 06, 2007 at 11:26:00AM +0100, Neil Mitchell wrote:
> ghci -fglasgow-exts
> Prelude> case (# 1 , 2 #) of (# a , b #) -> error $ show (a,b)
> *** Exception: (1,2)
>
> You might expect there to be a prefix form of the unboxed tuple:
>
> Prelude> case (#,#) 1 2 of (# a , b #) -> error $ show (a,b)
> <interactive>:1:7: parse error on input `,'
>
> But there isn't. I've added special code into the Yhc code generator
> to deal with this particular constructor, so it no longer effects me.
>
Well, what would the type of (#,#) be? unboxed tuples can hold both
boxed and unboxed values, so some sort of kind polymorphism would be
needed to type the prefix form properly.
John
--
John Meacham - ⑆repetae.net⑆john⑈
_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
