From 423d5f9ce94c733a4348c73fa137784030196a60 Mon Sep 17 00:00:00 2001 From: Ben Gamari Date: Fri, 2 Oct 2020 15:22:20 -0400 Subject: Unsafe --- testsuite/tests/safeHaskell/safeInfered/all.T | 28 +++++++++++++-------------- 1 file changed, 14 insertions(+), 14 deletions(-) diff --git a/testsuite/tests/safeHaskell/safeInfered/all.T b/testsuite/tests/safeHaskell/safeInfered/all.T index 87fe5778a5..cb38505d5d 100644 --- a/testsuite/tests/safeHaskell/safeInfered/all.T +++ b/testsuite/tests/safeHaskell/safeInfered/all.T @@ -8,24 +8,24 @@ def f( name, opts ): setTestOpts(f) # Tests that should compile fine as they should be inferred safe -test('SafeInfered01', [], multimod_compile, ['SafeInfered01', '']) -test('SafeInfered02', [], multimod_compile, ['SafeInfered02', '']) -test('SafeInfered03', [], multimod_compile, ['SafeInfered03', '']) -test('SafeInfered04', [], multimod_compile, ['SafeInfered04', '']) -test('SafeInfered05', [], multimod_compile, ['SafeInfered05', '']) +test('SafeInfered01', [], multimod_compile, ['SafeInfered01', '-v0']) +test('SafeInfered02', [], multimod_compile, ['SafeInfered02', '-v0']) +test('SafeInfered03', [], multimod_compile, ['SafeInfered03', '-v0']) +test('SafeInfered04', [], multimod_compile, ['SafeInfered04', '-v0']) +test('SafeInfered05', [], multimod_compile, ['SafeInfered05', '-v0']) # Tests that should fail to compile as they should be inferred unsafe -test('UnsafeInfered01', [], multimod_compile_fail, ['UnsafeInfered01', '']) -test('UnsafeInfered02', [], multimod_compile_fail, ['UnsafeInfered02', '']) -test('UnsafeInfered03', [], multimod_compile_fail, ['UnsafeInfered03', '']) -test('UnsafeInfered05', [], multimod_compile_fail, ['UnsafeInfered05', '']) -test('UnsafeInfered06', [], multimod_compile_fail, ['UnsafeInfered06', '']) -test('UnsafeInfered08', [], multimod_compile, ['UnsafeInfered08', '']) -test('UnsafeInfered09', [], multimod_compile_fail, ['UnsafeInfered09', '']) +test('UnsafeInfered01', [], multimod_compile_fail, ['UnsafeInfered01', '-v0']) +test('UnsafeInfered02', [], multimod_compile_fail, ['UnsafeInfered02', '-v0']) +test('UnsafeInfered03', [], multimod_compile_fail, ['UnsafeInfered03', '-v0']) +test('UnsafeInfered05', [], multimod_compile_fail, ['UnsafeInfered05', '-v0']) +test('UnsafeInfered06', [], multimod_compile_fail, ['UnsafeInfered06', '-v0']) +test('UnsafeInfered08', [], multimod_compile, ['UnsafeInfered08', '-v0']) +test('UnsafeInfered09', [], multimod_compile_fail, ['UnsafeInfered09', '-v0']) # Test that should fail as we disable safe inference -test('UnsafeInfered10', [], multimod_compile_fail, ['UnsafeInfered10', '']) -test('UnsafeInfered11', [], multimod_compile_fail, ['UnsafeInfered11', '']) +test('UnsafeInfered10', [], multimod_compile_fail, ['UnsafeInfered10', '-v0']) +test('UnsafeInfered11', [], multimod_compile_fail, ['UnsafeInfered11', '-v0']) # Test TH is unsafe test('UnsafeInfered12', normal, compile_fail, ['']) -- cgit v1.2.1