Update Trac ticket URLs to point to GitLab
[ghc.git] / testsuite / tests / stranal / should_compile / all.T
1 # Only compile with optimisation
2 setTestOpts( only_ways(['optasm']) )
3
4 test('default', normal, compile, [''])
5 test('fact', normal, compile, [''])
6 test('fun', normal, compile, [''])
7 test('goo', normal, compile, [''])
8 test('ins', normal, compile, [''])
9 test('map', normal, compile, [''])
10 test('sim', normal, compile, [''])
11 test('str001', normal, compile, [''])
12 test('str002', normal, compile, [''])
13 test('syn', normal, compile, [''])
14 test('test', normal, compile, [''])
15 test('tst', normal, compile, [''])
16 test('unu', normal, compile, [''])
17 test('newtype', req_profiling, compile, ['-prof -fprof-auto'])
18 test('T1988', normal, compile, [''])
19 test('T8467', normal, compile, [''])
20 test('T8037', normal, compile, [''])
21 test('T8743', [], multimod_compile, ['T8743', '-v0'])
22
23 # T10482
24 #   The intent here is to check that $wfoo has type
25 #         $wfoo :: Int# -> Int# -> Int
26 #   with two unboxed args.  See #10482 for background
27 #
28 # Set -dppr-cols to ensure output doesn't wrap
29 test('T10482',  [ grep_errmsg(r'wfoo.*Int#') ], compile, ['-dppr-cols=200 -ddump-simpl'])
30 test('T10482a', [ grep_errmsg(r'wf.*Int#') ],   compile, ['-dppr-cols=200 -ddump-simpl'])
31
32 test('T9208', when(compiler_debugged(), expect_broken(9208)), compile, [''])
33 # T9208 fails (and should do so) if you have assertion checking on in the compiler
34 # Hence the above expect_broken.  See comments in the ticket
35
36 test('T10694', [ grep_errmsg(r'Str=') ],   compile, ['-dppr-cols=200 -ddump-simpl'])
37 test('T11770', [ check_errmsg('OneShot') ], compile, ['-ddump-simpl'])
38
39 test('T13031', normal, makefile_test, [])
40
41 test('T13077', normal, compile, [''])
42 test('T13077a', normal, compile, [''])
43
44 # T15627
45 #   Absent bindings of unlifted types should be WW'ed away.
46 #   The idea is to check that both $wmutVar and $warray
47 #   don't mention MutVar# and Array# anymore.
48 test('T15627',  [ grep_errmsg(r'(wmutVar|warray).*Int#') ], compile, ['-dppr-cols=200 -ddump-simpl'])
49
50 test('T16029', normal, makefile_test, [])
51 test('T10069',  [ grep_errmsg(r'(wc1).*Int#$') ], compile, ['-dppr-cols=200 -ddump-simpl'])