Improve typechecking of let-bindings
[ghc.git] / testsuite / tests / partial-sigs / should_compile / all.T
1 test('ADT', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
2 test('AddAndOr1', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
3 test('AddAndOr2', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
4 test('AddAndOr3', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
5 test('AddAndOr4', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
6 test('AddAndOr5', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
7 test('AddAndOr6', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
8 test('BoolToBool', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
9 test('DataFamilyInstanceLHS', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
10 test('Defaulting1MROn', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
11 test('Defaulting2MROff', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
12 test('Defaulting2MROn', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
13 test('Either', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
14 test('Every', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
15 test('EveryNamed', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
16 # Bug
17 test('EqualityConstraint', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
18 test('ExpressionSig', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
19 test('ExpressionSigNamed', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
20 test('ExtraConstraints1', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
21 test('ExtraConstraints2', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
22 test('ExtraConstraints3', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
23 test('ExtraNumAMROn', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
24 test('ExtraNumAMROff', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
25 test('Forall1', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
26 test('GenNamed', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
27 test('HigherRank1', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
28 test('HigherRank2', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
29 test('LocalDefinitionBug', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
30 test('Meltdown', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
31 test('MonoLocalBinds', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
32 test('NamedTyVar', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
33 test('NamedWildcardInDataFamilyInstanceLHS', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
34 test('NamedWildcardInTypeFamilyInstanceLHS', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
35 test('NamedWildcardsAsTyVars', normal, compile, [''])
36 test('ParensAroundContext', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
37 test('PatBind', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
38 # Bug
39 test('PatBind2', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
40 test('PatternSig', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
41 test('Recursive', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
42 test('ScopedNamedWildcards', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
43 test('ScopedNamedWildcardsGood', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
44 test('ShowNamed', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
45 test('SimpleGen', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
46 test('SkipMany', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
47 test('SomethingShowable', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
48 test('TypeFamilyInstanceLHS', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
49 test('Uncurry', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
50 test('UncurryNamed', normal, compile, ['-ddump-types -fno-warn-partial-type-signatures'])
51 test('WarningWildcardInstantiations', normal, compile, ['-ddump-types'])
52 test('SplicesUsed',
53      [req_interp, extra_clean(['Splices.o', 'Splices.hi']), omit_ways(prof_ways)],
54      multimod_compile, ['SplicesUsed', config.ghc_th_way_flags])
55 test('TypedSplice', [req_interp, normal], compile, [''])
56 test('T10403', normal, compile, [''])
57 test('T10438', normal, compile, [''])
58 test('T10519', normal, compile, [''])
59 test('T10463', normal, compile, [''])
60 test('ExprSigLocal', normal, compile, [''])
61 test('T11016', normal, compile, [''])
62 test('T11192', normal, compile, [''])
63 test('SuperCls', normal, compile, [''])
64 test('T12033', normal, compile, [''])
65 test('T11339a', normal, compile, [''])
66 test('T11670', normal, compile, [''])