testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / type_in_type_hole_fits.stderr
1
2 type_in_type_hole_fits.hs:79:11: warning: [-Wtyped-holes (in -Wdefault)]
3     • Found hole:
4         _a :: [Integer] -> Sorted (O ('NLogN 2 0)) (O N) 'True Integer
5       Or perhaps ‘_a’ is mis-spelled, or not in scope
6     • In the expression: _a
7       In the expression: _a [3, 1, 2]
8       In an equation for ‘mySortA’: mySortA = _a [3, 1, 2]
9     • Relevant bindings include
10         mySortA :: Sorted (O (N ^. 2)) (O N) 'True Integer
11           (bound at type_in_type_hole_fits.hs:79:1)
12       Valid hole fits include
13         Sorted :: forall (cpu :: AsympPoly) (mem :: AsympPoly)
14                          (stable :: Bool) a.
15                   [a] -> Sorted cpu mem stable a
16           with Sorted @(O ('NLogN 2 0)) @(O N) @'True @Integer
17           (defined at type_in_type_hole_fits.hs:54:18)
18         mergeSort :: forall a (n :: AsympPoly) (m :: AsympPoly)
19                             (s :: Bool).
20                      (Ord a, n >=. O (N *. LogN), m >=. O N, IsStable s) =>
21                      [a] -> Sorted n m s a
22           with mergeSort @Integer @(O ('NLogN 2 0)) @(O N) @'True
23           (defined at type_in_type_hole_fits.hs:61:1)
24         insertionSort :: forall a (n :: AsympPoly) (m :: AsympPoly)
25                                 (s :: Bool).
26                          (Ord a, n >=. O (N ^. 2), m >=. O One, IsStable s) =>
27                          [a] -> Sorted n m s a
28           with insertionSort @Integer @(O ('NLogN 2 0)) @(O N) @'True
29           (defined at type_in_type_hole_fits.hs:65:1)
30
31 type_in_type_hole_fits.hs:82:11: warning: [-Wtyped-holes (in -Wdefault)]
32     • Found hole:
33         _b :: [Integer] -> Sorted (O ('NLogN 1 1)) (O N) 'False Integer
34       Or perhaps ‘_b’ is mis-spelled, or not in scope
35     • In the expression: _b
36       In the expression: _b [3, 1, 2]
37       In an equation for ‘mySortB’: mySortB = _b [3, 1, 2]
38     • Relevant bindings include
39         mySortB :: Sorted (O (N *. LogN)) (O N) 'False Integer
40           (bound at type_in_type_hole_fits.hs:82:1)
41       Valid hole fits include
42         quickSort :: forall a (n :: AsympPoly) (m :: AsympPoly).
43                      (Ord a, n >=. O (N *. LogN), m >=. O N) =>
44                      [a] -> Sorted n m 'False a
45           with quickSort @Integer @(O ('NLogN 1 1)) @(O N)
46           (defined at type_in_type_hole_fits.hs:71:1)
47         heapSort :: forall a (n :: AsympPoly) (m :: AsympPoly).
48                     (Ord a, n >=. O (N *. LogN), m >=. O One) =>
49                     [a] -> Sorted n m 'False a
50           with heapSort @Integer @(O ('NLogN 1 1)) @(O N)
51           (defined at type_in_type_hole_fits.hs:74:1)
52         Sorted :: forall (cpu :: AsympPoly) (mem :: AsympPoly)
53                          (stable :: Bool) a.
54                   [a] -> Sorted cpu mem stable a
55           with Sorted @(O ('NLogN 1 1)) @(O N) @'False @Integer
56           (defined at type_in_type_hole_fits.hs:54:18)
57         mergeSort :: forall a (n :: AsympPoly) (m :: AsympPoly)
58                             (s :: Bool).
59                      (Ord a, n >=. O (N *. LogN), m >=. O N, IsStable s) =>
60                      [a] -> Sorted n m s a
61           with mergeSort @Integer @(O ('NLogN 1 1)) @(O N) @'False
62           (defined at type_in_type_hole_fits.hs:61:1)
63
64 type_in_type_hole_fits.hs:85:11: warning: [-Wtyped-holes (in -Wdefault)]
65     • Found hole:
66         _c :: [Integer] -> Sorted (O ('NLogN 1 1)) (O One) 'False Integer
67       Or perhaps ‘_c’ is mis-spelled, or not in scope
68     • In the expression: _c
69       In the expression: _c [3, 1, 2]
70       In an equation for ‘mySortC’: mySortC = _c [3, 1, 2]
71     • Relevant bindings include
72         mySortC :: Sorted (O (N *. LogN)) (O One) 'False Integer
73           (bound at type_in_type_hole_fits.hs:85:1)
74       Valid hole fits include
75         heapSort :: forall a (n :: AsympPoly) (m :: AsympPoly).
76                     (Ord a, n >=. O (N *. LogN), m >=. O One) =>
77                     [a] -> Sorted n m 'False a
78           with heapSort @Integer @(O ('NLogN 1 1)) @(O One)
79           (defined at type_in_type_hole_fits.hs:74:1)
80         Sorted :: forall (cpu :: AsympPoly) (mem :: AsympPoly)
81                          (stable :: Bool) a.
82                   [a] -> Sorted cpu mem stable a
83           with Sorted @(O ('NLogN 1 1)) @(O One) @'False @Integer
84           (defined at type_in_type_hole_fits.hs:54:18)