Record evaluated-ness on workers and wrappers
[ghc.git] / testsuite / tests / stranal / should_compile / all.T
1 # Only compile with optimisation
2 setTestOpts( only_ways(['optasm']) )
3
4 def checkCoreString(needle):
5     def norm(str):
6         if needle in str:
7             return "%s contained in -ddump-simpl\n" % needle
8         else:
9             return "%s not contained in -ddump-simpl\n" % needle
10     return normalise_errmsg_fun(norm)
11
12 def grepCoreString(needle):
13     def norm(str):
14         return "".join(filter(lambda l: re.search(needle, l), str.splitlines(True)))
15     return normalise_errmsg_fun(norm)
16
17 test('default', normal, compile, [''])
18 test('fact', normal, compile, [''])
19 test('fun', normal, compile, [''])
20 test('goo', normal, compile, [''])
21 test('ins', normal, compile, [''])
22 test('map', normal, compile, [''])
23 test('sim', normal, compile, [''])
24 test('str001', normal, compile, [''])
25 test('str002', normal, compile, [''])
26 test('syn', normal, compile, [''])
27 test('test', normal, compile, [''])
28 test('tst', normal, compile, [''])
29 test('unu', normal, compile, [''])
30 test('newtype', req_profiling, compile, ['-prof -fprof-auto'])
31 test('T1988', normal, compile, [''])
32 test('T8467', normal, compile, [''])
33 test('T8037', normal, compile, [''])
34 test('T8743', [], multimod_compile, ['T8743', '-v0'])
35
36 # T10482
37 #   The intent here is to check that $wfoo has type
38 #         $wfoo :: Int# -> Int# -> Int
39 #   with two unboxed args.  See Trac #10482 for background
40 #
41 # Set -dppr-cols to ensure output doesn't wrap
42 test('T10482',  [ grepCoreString(r'wfoo.*Int#') ], compile, ['-dppr-cols=200 -ddump-simpl'])
43 test('T10482a', [ grepCoreString(r'wf.*Int#') ],   compile, ['-dppr-cols=200 -ddump-simpl'])
44
45 test('T9208', when(compiler_debugged(), expect_broken(9208)), compile, [''])
46 # T9208 fails (and should do so) if you have assertion checking on in the compiler
47 # Hence the above expect_broken.  See comments in the Trac ticket
48
49 test('T10694', [ grepCoreString(r'Str=') ],   compile, ['-dppr-cols=200 -ddump-simpl'])
50 test('T11770', [ checkCoreString('OneShot') ], compile, ['-ddump-simpl'])
51
52 test('T13031', normal, run_command,
53          ['$MAKE -s --no-print-directory T13031'])
54
55 test('T13077', normal, compile, [''])
56 test('T13077a', normal, compile, [''])