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
