all.T 669 Bytes
Newer Older
dterei's avatar
dterei committed
1
2
3
4
5
6
7
8
9
10
11
12
# Just do the normal way, SafeHaskell is all in the frontend
def f( opts ):
  opts.only_ways = ['normal']

setTestOpts(f)

if config.have_profiling:
    prof = '--enable-library-profiling'
else:
    prof = ''

test('safePkg01',
13
     [normal, alone],
dterei's avatar
dterei committed
14
15
16
17
18
     run_command, 
     ['$MAKE -s --no-print-directory safePkg01 PROF=' + prof])

test('ImpSafe01', normal, compile_fail, [''])

19
test('ImpSafeOnly01', [normal, alone], compile, ['-package-conf local.db -trust base'])
dterei's avatar
dterei committed
20

21
test('ImpSafeOnly02', [normal, alone], compile, ['-package-conf local.db -trust base -trust safePkg01'])
dterei's avatar
dterei committed
22

23
test('ImpSafeOnly03', [normal, alone], compile_fail, ['-package-conf local.db -trust base'])
dterei's avatar
dterei committed
24