Testsuite: benign test fixes
authorThomas Miedema <thomasmiedema@gmail.com>
Thu, 28 Apr 2016 15:08:53 +0000 (17:08 +0200)
committerThomas Miedema <thomasmiedema@gmail.com>
Thu, 28 Apr 2016 18:16:20 +0000 (20:16 +0200)
testsuite/tests/deSugar/should_fail/all.T
testsuite/tests/gadt/gadt-fd.hs
testsuite/tests/gadt/lazypatok.hs
testsuite/tests/parser/unicode/all.T
testsuite/tests/partial-sigs/should_compile/all.T
testsuite/tests/programs/okeefe_neural/test.T
testsuite/tests/rename/should_fail/all.T
testsuite/tests/typecheck/T11824/all.T

index 1a501ba..f403c74 100644 (file)
@@ -3,4 +3,4 @@
 #      extra run flags
 #      expected process return value, if not zero
 
-test('DsStrictFail', expect_fail, compile_and_run, [''])
+test('DsStrictFail', exit_code(1), compile_and_run, [''])
index 7efac22..7d966c3 100644 (file)
@@ -1,4 +1,9 @@
 {-# LANGUAGE GADTs #-}
+{-# LANGUAGE MultiParamTypeClasses #-}
+{-# LANGUAGE KindSignatures #-}
+{-# LANGUAGE FlexibleInstances #-}
+{-# LANGUAGE FunctionalDependencies #-}
+{-# LANGUAGE UndecidableInstances #-}
 
 -- Trac #345
 
index 9903a66..44fae2f 100644 (file)
@@ -1,6 +1,6 @@
 {-# LANGUAGE GADTs #-}
 
--- It's not clear whether this one should succed or fail,
+-- It's not clear whether this one should succeed or fail,
 -- Arguably it should succeed because the type refinement on
 -- T1 should make (y::Int).  Currently, though, it fails.
 
index 6876fe7..44adc7d 100644 (file)
@@ -27,4 +27,4 @@ test('T7671', normal, compile, [''])
 test('T10907', normal, compile, [''])
 test('T7650', normal, compile, [''])
 
-test('arrowsyntax', normal, compile, [''])
\ No newline at end of file
+test('arrowsyntax', normal, compile, [''])
index ba25a11..cc8f478 100644 (file)
@@ -29,7 +29,6 @@ test('HigherRank1', normal, compile, ['-ddump-types -fno-warn-partial-type-signa
 test('HigherRank2', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
 test('LocalDefinitionBug', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
 test('Meltdown', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
-# Bug
 test('MonoLocalBinds', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
 test('NamedTyVar', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
 test('NamedWildcardInDataFamilyInstanceLHS', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
index e905ec0..e7e1f78 100644 (file)
@@ -1,6 +1,12 @@
 
 # this one causes the compiler to run out of heap in the simplifier
 
+# TODO. What's the purpose of this test? If you give it 100Mb of heap, it
+# compiles fine (though it takes a while). Is that too much?
+# Does the fact that this test is marked expect_fail (instead of expect_broken)
+# mean anything?
+# Is it necessary to also run the resulting program? It doesn't seem to ever
+# complete, at least not in a few minutes. What is the expected output?
 def set_opts( name, opts ):
   opts.expect = 'fail'
 
@@ -9,4 +15,4 @@ test('okeefe_neural',
       set_opts,
       extra_clean(['Main.hi'])],
      multimod_compile_and_run,
-     ['Main', '-package lang +RTS -M64m -RTS'])
+     ['Main', '+RTS -M64m -RTS'])
index 195b729..3810620 100644 (file)
@@ -137,4 +137,4 @@ test('T5001b', normal, compile_fail, [''])
 test('T10781', normal, compile_fail, [''])
 test('T11071', normal, compile_fail, [''])
 test('T11071a', normal, compile_fail, [''])
-test('T11663', normal, compile_fail, [''])
\ No newline at end of file
+test('T11663', normal, compile_fail, [''])
index 90aaa1e..88ce2e8 100644 (file)
@@ -1 +1 @@
-test('T11824', expect_broken(11824), compile_and_run, [''])
\ No newline at end of file
+test('T11824', expect_broken(11824), compile_and_run, [''])