Commit 322885c7 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Accept changes (some tests now work)

parent 26159e96
......@@ -44,7 +44,7 @@ test('ghci027', normal, ghci_script, ['ghci027.script'])
test('ghci028', normal, ghci_script, ['ghci028.script'])
test('ghci029', normal, ghci_script, ['ghci029.script'])
test('ghci030', normal, ghci_script, ['ghci030.script'])
test('ghci031', expect_broken(2138), ghci_script, ['ghci031.script'])
test('ghci031', normal, ghci_script, ['ghci031.script'])
test('ghci032', normal, ghci_script, ['ghci032.script'])
test('ghci033', normal, ghci_script, ['ghci033.script'])
test('ghci034', normal, ghci_script, ['ghci034.script'])
......
......@@ -2,6 +2,8 @@
module GADT10 where
-- [Sept 2010] Now works in GHC 7.0!
-- This fails with
--
-- GADT10.hs:37:0:
......
......@@ -13,7 +13,7 @@ test('Simple9', normal, compile, [''])
test('Simple10', normal, compile, [''])
test('Simple11', normal, compile, [''])
test('Simple12', normal, compile, [''])
test('Simple13', expect_fail, compile, [''])
test('Simple13', normal, compile, [''])
test('Simple14', normal, compile_fail, [''])
test('Simple15', normal, compile, [''])
test('Simple16', normal, compile, [''])
......@@ -65,10 +65,10 @@ test('GADT3', normal, compile, [''])
test('GADT4', normal, compile, [''])
test('GADT5', normal, compile, [''])
test('GADT6', normal, compile, [''])
test('GADT7', expect_fail, compile, [''])
test('GADT7', normal, compile, [''])
test('GADT8', normal, compile, [''])
test('GADT9', normal, compile, [''])
test('GADT10', expect_fail, compile, [''])
test('GADT10', normal, compile, [''])
test('GADT11', normal, compile, [''])
test('GADT12', normal, compile, [''])
test('GADT13', normal, compile, [''])
......@@ -92,9 +92,9 @@ test('ColInference4', normal, compile, [''])
test('ColInference5', normal, compile, [''])
test('ColInference6', normal, compile, [''])
test('ClassEqContext', expect_fail, compile, [''])
test('ClassEqContext2', expect_fail, compile, [''])
test('ClassEqContext3', expect_fail, compile, [''])
test('ClassEqContext', normal, compile, [''])
test('ClassEqContext2', normal, compile, [''])
test('ClassEqContext3', normal, compile, [''])
test('Col', normal, compile, [''])
test('Col2', normal, compile, [''])
......@@ -108,7 +108,7 @@ test('InstEqContext3', expect_fail, compile, [''])
test('InstContextNorm', normal, compile, [''])
test('HO', expect_fail, compile, [''])
test('HO', normal, compile, [''])
test('GivenCheck', normal, compile, [''])
test('GivenCheckSwap', normal, compile, [''])
......
......@@ -310,7 +310,7 @@ test('mod172', extra_clean(['Mod172_B.hi', 'Mod172_B.o', 'Mod172_C.hi', 'Mod172_
test('mod173', extra_clean(['Mod173_Aux.hi', 'Mod173_Aux.o']),
multimod_compile, ['mod173', '-v0'])
test('mod174', expect_broken(414), compile_fail, [''])
test('mod174', normal, compile_fail, [''])
# mod175 is a sub-directory
......
mod55.hs:3:26:
Can't make a derived instance of `Enum T':
`T' has non-nullary constructors
In the data type declaration for `T'
mod55.hs:3:25:
Can't make a derived instance of `Enum T':
`T' has non-nullary constructors
In the data type declaration for `T'
mod56.hs:4:39:
Can't make a derived instance of `Ix T':
`T' has non-nullary constructors
and
`T' has more than one constructor
In the data type declaration for `T'
mod56.hs:4:38:
Can't make a derived instance of `Ix T':
`T' has non-nullary constructors
and
`T' has more than one constructor
In the data type declaration for `T'
readFail032.hs:11:38:
readFail032.hs:21:38:
Couldn't match expected type `[Char]' with actual type `Char'
Expected type: [[Char]]
Actual type: [Char]
......
......@@ -14,7 +14,7 @@ test('simplrun002', normal, compile_and_run, [''])
test('simplrun003', normal, compile_and_run, [''])
test('simplrun004', normal, compile_and_run, [''])
test('simplrun005', normal, compile_and_run, [''])
test('simplrun006', expect_broken(149), compile_and_run, [''])
test('simplrun006', normal, compile_and_run, [''])
test('simplrun007', normal, compile_and_run, [''])
test('simplrun008', normal, compile_and_run, [''])
test('simplrun009', normal, compile_and_run, [''])
......
module Main (main) where
-- See Trac #149
-- Curently (with GHC 7.0) the CSE works, just,
-- but it's delicate.
import System.CPUTime
main = do start <- getCPUTime
......
......@@ -150,7 +150,7 @@ test('tc146', normal, compile, [''])
test('tc147', normal, compile, [''])
test('tc148', only_compiler_types(['ghc']), compile, [''])
test('tc149', only_compiler_types(['ghc']), compile, [''])
test('tc150', expect_broken(4295), compile, [''])
test('tc150', normal, compile, [''])
test('tc151', normal, compile, [''])
test('tc152', only_compiler_types(['ghc']), compile, [''])
test('tc153', normal, compile, [''])
......@@ -205,7 +205,7 @@ test('tc190', only_compiler_types(['ghc']), compile, [''])
test('tc191', [only_compiler_types(['ghc']), reqlib('syb')], compile, [''])
test('tc192', only_compiler_types(['ghc']), compile, [''])
test('tc193', only_compiler_types(['ghc']), compile, [''])
test('tc194', expect_broken(4295), compile, [''])
test('tc194', normal, compile, [''])
test('tc195', only_compiler_types(['ghc']), compile, [''])
test('tc196', normal, compile, [''])
test('tc197', normal, compile, [''])
......
......@@ -127,7 +127,7 @@ test('tcfail138', normal, compile, [''])
# Now works; see notes in file
test('tcfail139', normal, compile_fail, [''])
test('tcfail140', expect_broken(451), compile_fail, [''])
test('tcfail140', normal, compile_fail, [''])
test('tcfail141', only_compiler_types(['ghc']), compile_fail, [''])
test('tcfail142', normal, compile_fail, [''])
test('tcfail143', normal, compile_fail, [''])
......@@ -167,7 +167,7 @@ test('tcfail174',
[''])
test('tcfail175', normal, compile_fail, [''])
test('tcfail176', normal, compile_fail, [''])
test('tcfail177', expect_broken(1176), compile_fail, [''])
test('tcfail177', normal, compile_fail, [''])
test('tcfail178', normal, compile_fail, [''])
test('tcfail179', normal, compile_fail, [''])
test('tcfail180', normal, compile_fail, [''])
......
tcfail117.hs:5:32:
Can't make a derived instance of `Enum N1':
`N1' has non-nullary constructors
`N1' is not an enumeration type
(an enumeration consists of one or more nullary constructors)
Try -XGeneralizedNewtypeDeriving for GHC's newtype-deriving extension
In the newtype declaration for `N1'
tcfail117.hs:6:32:
Can't make a derived instance of `Enum N2':
`N2' has non-nullary constructors
`N2' is not an enumeration type
(an enumeration consists of one or more nullary constructors)
In the data type declaration for `N2'
module ShouldFail where
-- See Trac #1176
-- This is really a pretty-printer test, not a typechecker test
-- The more infix ops we have, the worse fsep works
-- Currently the error message looks ok, however
allTests :: Bool
allTests = foo
[a ~?= b
......
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