gmp disentangling patches

[Simon Peyton-Jones]

Yes indeed, that looks fine.  Would you like to commit a change to that effect?  Thanks

Simon

| -----Original Message-----
| From: cvs-ghc-bounces at haskell.org [mailto:cvs-ghc-bounces at haskell.org] On Behalf Of
| Duncan Coutts
| Sent: 13 June 2009 23:45
| To: GHC CVS list
| Subject: Re: gmp disentangling patches
| 
| On Sat, 2009-06-13 at 19:54 +0000, Duncan Coutts wrote:
| > Hi all,
| >
| > As you know I've been working this week on the issue of moving gmp from
| > the rts into the integer-gmp package. Some preparatory patches went in
| > on Thursday. I will describe the remaining bulk in this email...
| 
| Oh, one test will need fixing:
| 
| typecheck/should_fail/tcfail141.hs:
| 
|         {-# OPTIONS -fglasgow-exts #-}
| 
|         -- Should fail, because f :: (# Int#, ByteArray# #)
| 
|         module ShouldFail where
| 
|         import GHC.Prim
| 
|         main :: IO ()
|         main = let f = int2Integer# 0# in putStrLn ""
| 
| This is expected to fail like:
| 
|         tcfail141.hs:10:11:
|             Illegal binding of unboxed tuple f :: (# Int#, ByteArray# #)
|             In the expression: let f = int2Integer# 0# in putStrLn ""
|             In the definition of `main':
|                 main = let f = int2Integer# 0# in putStrLn ""
| 
| but of course we're removing the int2Integer# primop. Presumably any
| local definition returning an unboxed tuple would do, eg:
| 
|         main :: IO ()
|         main = let f = returnsUnboxedTuple# 0# in putStrLn ""
| 
|         returnsUnboxedTuple :: Int# -> (# Int#, ByteArray# #)
|         returnsUnboxedTuple _ = --something suitable
| 
| 
| Duncan
| 
| _______________________________________________
| Cvs-ghc mailing list
| Cvs-ghc at haskell.org
| http://www.haskell.org/mailman/listinfo/cvs-ghc