Commit 8c6794ab authored by ian@well-typed.com's avatar ian@well-typed.com
Browse files

Merge branch 'master' of http://darcs.haskell.org/testsuite

parents 5888f614 cb5ed257
......@@ -90,12 +90,14 @@ test('T3294',
# 14593500 (Windows)
# 2013-02-10 20651576 (x86/Windows)
# 2013-02-10 20772984 (x86/OSX)
(wordsize(64), 44894544, 15)]),
(wordsize(64), 36904752, 15)]),
# prev: 25753192 (amd64/Linux)
# 29/08/2012: 37724352 (amd64/Linux)
# (increase due to new codegen, see #7198)
# 13/13/2012: 44894544 (amd64/Linux)
# (reason for increase unknown)
# 15/5/2013: 36904752 (amd64/Linux)
# (reason for decrease unknown)
compiler_stats_num_field('bytes allocated',
[(wordsize(32), 1373514844, 5),
# previous: 815479800 (x86/Linux)
......@@ -257,10 +259,12 @@ test('T5321Fun',
# prev: 300000000
# 2012-10-08: 344416344 x86/Linux
# (increase due to new codegen)
(wordsize(64), 713385808, 10)])
(wordsize(64), 628341952, 10)])
# prev: 585521080
# 29/08/2012: 713385808
# (increase due to new codegen)
# 15/05/2013: 628341952
# (reason for decrease unknown)
],
compile,[''])
......@@ -271,10 +275,12 @@ test('T5321FD',
# prev: 213380256
# 2012-10-08: 240302920 (x86/Linux)
# (increase due to new codegen)
(wordsize(64), 492905640, 10)])
(wordsize(64), 406039584, 10)])
# prev: 418306336
# 29/08/2012: 492905640
# (increase due to new codegen)
# 15/05/2013: 406039584
# (reason for decrease unknown)
],
compile,[''])
......
module T7906 where
class Foo f where
foo :: f
{-# INLINEABLE foo #-}
T7906.hs:5:16:
The INLINABLE pragma for ‛foo’ lacks an accompanying binding
(You cannot give a INLINABLE pragma for a record selector or class method)
......@@ -107,3 +107,4 @@ test('T7164', normal, compile_fail, [''])
test('T7338', normal, compile_fail, [''])
test('T7338a', normal, compile_fail, [''])
test('T7454', normal, compile, [''])
test('T7906', normal, compile_fail, [''])
T7865.expensive [InlPrag=NOINLINE]
T7865.expensive =
case T7865.expensive sc3 of _ { GHC.Types.I# x ->
case T7865.expensive sc1 of _ { GHC.Types.I# x ->
(case T7865.expensive x of _ { GHC.Types.I# x1 ->
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeFamilies #-}
module T7891 where
newtype T = T (forall t. t -> t)
tf :: T
tf = T id
-- Can't write this type signature:
f :: t -> t
T f = tf
-- But with an indirection we can:
g :: t -> t
g = f
-- We can still use f as it were fully polymorphic (which is good):
a :: ()
a = f ()
b :: Char
b = f 'b'
-------------
class C t where
data F t :: *
mkF :: t -> F t
instance C () where
data F () = FUnit (forall t. t -> t)
mkF () = FUnit id
-- Can't write a type for f here either:
k :: t -> t
FUnit k = mkF ()
module T7903 where
instance Eq (((->) a) b)
instance (Ord b) => Ord (((->) a) b)
......@@ -402,3 +402,5 @@ test('T7827', normal, compile, [''])
test('T7875', normal, compile, [''])
test('T7268', normal, compile, [''])
test('T7888', normal, compile, [''])
test('T7891', normal, compile, [''])
test('T7903', normal, compile, [''])
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment