summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/T16110_Fail1.stderr
blob: 6b448d932898cb09e047ba6eb4f3d2e2044c78aa (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

T16110_Fail1.hs:10:19: error: [GHC-76037]
    Not in scope: type variable ‘a’

T16110_Fail1.hs:10:21: error: [GHC-76037]
    Not in scope: type variable ‘b’

T16110_Fail1.hs:10:32: error: [GHC-76037]
    Not in scope: type variable ‘a’

T16110_Fail1.hs:10:34: error: [GHC-76037]
    Not in scope: type variable ‘b’

T16110_Fail1.hs:13:15: error: [GHC-10498]
    Conflicting definitions for ‘dup’
    Bound at: T16110_Fail1.hs:13:15-17
              T16110_Fail1.hs:13:19-21
              T16110_Fail1.hs:13:23-25

T16110_Fail1.hs:16:21: error: [GHC-76037]
    Not in scope: type variable ‘a’

T16110_Fail1.hs:19:21: error: [GHC-76037]
    Not in scope: type variable ‘k’