diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-10-02 15:22:20 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-10-02 15:22:20 -0400 |
| commit | 423d5f9ce94c733a4348c73fa137784030196a60 (patch) | |
| tree | f15f96376c84c34af1767f10bd8f155cbd5d1008 | |
| parent | c10b11b6fca057e3770a7bb0f3e40ff98e946856 (diff) | |
| download | haskell-wip/alpine-static-flavour.tar.gz | |
| -rw-r--r-- | testsuite/tests/safeHaskell/safeInfered/all.T | 28 |
1 files 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, ['']) |