Possible unboxed tuples bug.

[Simon Peyton-Jones]

It's a bug.  Now fixed.  Test is should_compile/tc174

Thanks for finding it

Simon

| -----Original Message-----
| From: glasgow-haskell-bugs-bounces at haskell.org
[mailto:glasgow-haskell-bugs-
| bounces at haskell.org] On Behalf Of Sean Seefried
| Sent: 30 November 2003 04:01
| To: glasgow-haskell-bugs at haskell.org
| Subject: Possible unboxed tuples bug.
| 
| 
| Yesterday while I was mucking around in GHCi I discovered the
following
| anomaly. (The same holds for compiled code.)
| 
| I typed
| 
|  > :t (# 2, 3 #)
| 
| and got back
| 
| (# 2, 3 #) :: forall t t1. (Num t, Num t1) => (# t, t1 #)
| 
| But when I typed
| 
| :t (# 2, 3 #) :: (# Int, Int #)
| 
| I got the following
| 
| Illegal unboxed tuple type as function argument: (# Int, Int #)
|      In an expression type signature: (# Int, Int #)
|      In the type signature of the expression: (# 2, 3 #) :: (# Int,
Int
| #)
|      In the definition of `it': it = (# 2, 3 #) :: (# Int, Int #)
| 
| 
| Is this correct behaviour?
| 
| Sean
| 
| _______________________________________________
| Glasgow-haskell-bugs mailing list
| Glasgow-haskell-bugs at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs