Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / Makefile
1 TOP=../..
2 include $(TOP)/mk/boilerplate.mk
3 include $(TOP)/mk/test.mk
4
5 # T5881 needs a script because it goes wrong only when
6 # the modules are compiled separately, not with --make
7 T5881:
8 $(RM) -f T5881.hi T5881.o T5881a.hi T5881a.o
9 '$(TEST_HC)' $(TEST_HC_OPTS) -c T5881a.hs
10 '$(TEST_HC)' $(TEST_HC_OPTS) -c T5881.hs
11
12 # T6025 is like T5881; needs separate compile
13 T6025:
14 $(RM) -f T6025.hi T6025.o T6025a.hi T6025a.o
15 '$(TEST_HC)' $(TEST_HC_OPTS) -c T6025a.hs
16 '$(TEST_HC)' $(TEST_HC_OPTS) -c T6025.hs
17
18 # T6054 is like T5881; needs separate compile
19 # The second compile fails, and should do so, hence leading "-"
20 T6054:
21 $(RM) -f T6054.hi T6054.o T6054a.hi T6054a.o
22 '$(TEST_HC)' $(TEST_HC_OPTS) -c T6054a.hs
23 -'$(TEST_HC)' $(TEST_HC_OPTS) -c T6054.hs
24
25 T7022:
26 $(RM) -f T7022.hi T7022.o T7022a.hi T7022a.o T7022b.hi T7022b.o
27 '$(TEST_HC)' $(TEST_HC_OPTS) $(ghcThWayFlags) -c T7022a.hs
28 '$(TEST_HC)' $(TEST_HC_OPTS) $(ghcThWayFlags) -c T7022b.hs -v0
29 -'$(TEST_HC)' $(TEST_HC_OPTS) $(ghcThWayFlags) -c -v0 T7022.hs
30
31 T7438:
32 $(RM) -f T7438.hi T7438.o T7438a.hi T7438a.o
33 '$(TEST_HC)' $(TEST_HC_OPTS) -c T7438a.hs
34 -'$(TEST_HC)' $(TEST_HC_OPTS) -c T7438.hs
35
36 # Need to compile separately so that the interface files get read
37 T8449:
38 $(RM) -f T8449.hi T8449.o T8449a.hi T8449a.o
39 '$(TEST_HC)' $(TEST_HC_OPTS) -c T8449a.hs
40 '$(TEST_HC)' $(TEST_HC_OPTS) -c T8449.hs
41
42 T9263:
43 $(RM) -f T9263.hi T9263.o T9263a.hi T9263a.o T9263b.hi T9263b.o
44 '$(TEST_HC)' $(TEST_HC_OPTS) -c T9263b.hs
45 '$(TEST_HC)' $(TEST_HC_OPTS) -c T9263a.hs
46 '$(TEST_HC)' $(TEST_HC_OPTS) -c T9263.hs