31a853b61ea3f6920e8e31a2f6ae65752a0ca1bb
[ghc.git] / testsuite / tests / dependent / should_compile / all.T
1 test('Dep1', only_ways('normal'), compile, [''])
2 test('Dep2', only_ways('normal'), compile, [''])
3 test('Dep3', only_ways('normal'), compile, [''])
4 test('KindEqualities', only_ways('normal'), compile, [''])
5 test('KindEqualities2', only_ways('normal'), compile, [''])
6 test('Rae31', only_ways('normal'), compile, [''])
7 test('RAE_T32b', only_ways('normal'), compile, [''])
8 test('KindLevels', normal, compile, [''])
9 test('RaeBlogPost', normal, compile, [''])
10 test('mkGADTVars', normal, compile, [''])
11 test('TypeLevelVec',normal,compile, [''])
12 test('T9632', normal, compile, [''])
13 # The dynamic-paper test fails in the profasm way if we don't increase
14 # the simplifier tick limit. If we do, we run out of stack
15 # space. If we increase the stack size enough with -K,
16 # we run out of simplifier ticks again. This is
17 # discussed in #11330.
18 test('dynamic-paper',
19      expect_broken_for(11330, ['profasm']),
20      compile_fail, [''])
21 test('T11311', normal, compile, [''])
22 test('T11405', normal, compile, [''])
23 test('T11241', normal, compile, [''])
24 test('T11711', normal, compile, [''])
25 test('RaeJobTalk', normal, compile, [''])
26 test('T11635', normal, compile, [''])
27 test('T11719', normal, compile, [''])
28 test('T11966', normal, compile, [''])
29 test('T12442', normal, compile, [''])
30 test('T13538', normal, compile, [''])
31 test('T12176', normal, compile, [''])
32 test('T14038', normal, compile, [''])
33 test('T12742', normal, compile, [''])
34 # we omit profasm because it doesn't bring much to the table but
35 # introduces its share of complexity, as the test as it is fails with
36 # profasm:
37 # T13910.hs:6:5: fatal:
38 #     Cannot load -prof objects when GHC is built with -dynamic
39 #     To fix this, either:
40 #       (1) Use -fexternal-interpreter, or
41 #       (2) Build the program twice: once with -dynamic, and then
42 #           with -prof using -osuf to set a different object file suffix.
43 test('T13910', omit_ways(['profasm']), compile, [''])
44 test('T13938', [extra_files(['T13938a.hs'])], makefile_test, ['T13938'])
45 test('T14556', normal, compile, [''])
46 test('T14720', normal, compile, [''])
47 test('T14066a', normal, compile, [''])
48 test('T14749', normal, compile, [''])
49 test('T14845_compile', normal, compile, [''])
50 test('T14991', normal, compile, [''])
51 test('T15264', normal, compile, [''])
52 test('DkNameRes', normal, compile, [''])
53 test('T15346', normal, compile, [''])
54 test('T15419', normal, compile, [''])
55 test('T14066h', normal, compile, [''])
56 test('T15666', normal, compile, [''])
57 test('T15725', normal, compile, [''])
58 test('T14880', normal, compile, [''])
59 test('T14880-2', normal, compile, [''])
60 test('T15743', normal, compile, ['-ddump-types -fprint-explicit-foralls'])
61 test('InferDependency', normal, compile, [''])
62 test('T15743e', normal, compile, ['-ddump-types -fprint-explicit-foralls'])
63 test('T15076', normal, compile, [''])
64 test('T15076b', normal, compile, [''])
65 test('T15076c', normal, compile, [''])
66 test('T15829', normal, compile, [''])