dc38031b2899105a78d16524db0ebbd7d585177f
[ghc.git] / testsuite / tests / safeHaskell / safeLanguage / all.T
1 # safeLanguage tests are all about making sure the correct
2 # unsafe language extensions are disabled or restricted
3 # in the -XSafe language. Basically testing that -XSafe
4 # works correctly (incluidng testing safe imports a little).
5
6 # Just do the normal way, SafeHaskell is all in the frontend
7 def f( name, opts ):
8   opts.only_ways = ['normal']
9
10 setTestOpts(f)
11
12 test('SafeLang01', normal, compile, [''])
13 test('SafeLang02', normal, compile, [''])
14 test('SafeLang03', normal, compile, [''])
15 test('SafeLang04', normal, compile_and_run, [''])
16 test('SafeLang05', normal, compile_and_run, [''])
17
18 # SafeLang06 was a test involving GeneralizedNewtypeDeriving, but the code
19 # fails to compile with roles; thus the test is no longer valid and has
20 # been removed
21
22 test('SafeLang07', normal, compile_fail, [''])
23 test('SafeLang08', normal, compile_fail, [''])
24 test('SafeLang09', [exit_code(1)], compile_and_run, [''])
25 test('SafeLang10', [], multimod_compile_fail, ['SafeLang10', ''])
26 test('SafeLang11', [req_interp], multimod_compile_and_run,
27      ['SafeLang11', config.ghc_th_way_flags])
28 test('SafeLang12', normal, multimod_compile_fail, ['SafeLang12', ''])
29 test('SafeLang15', [exit_code(1)], multimod_compile_and_run,
30      ['SafeLang15', '-XSafe'])
31 test('SafeLang16', normal, compile, [''])
32 test('SafeLang17', [], multimod_compile_fail, ['SafeLang17', ''])
33
34 test('SafeLang18', normal, compile, [''])
35
36 # Test building a package, that trust values are set correctly
37 # and can be changed correctly
38 #test('SafeRecomp01', normal, makefile_test, [])
39