Yes indeed, that looks fine. Would you like to commit a change to that effect? Thanks
Simon | -----Original Message----- | From: [email protected] [mailto:[email protected]] 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 | [email protected] | http://www.haskell.org/mailman/listinfo/cvs-ghc _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
