Embrace -XTypeInType, add -XStarIsType
[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'])], run_command,
45      ['$MAKE -s --no-print-directory T13938'])
46 test('T14556', normal, compile, [''])
47 test('T14720', normal, compile, [''])
48 test('T14066a', normal, compile, [''])
49 test('T14749', normal, compile, [''])
50 test('T14991', normal, compile, [''])
51 test('DkNameRes', normal, compile, [''])