summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T19978.stderr
blob: 4ea25fcf04e16c90372fe325e4d61a0c967fb5dc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

T19978.hs:8:7: error:
    • Illegal term-level use of the type constructor or class ‘Bool’
    • imported from ‘Prelude’ at T19978.hs:3:8-13
      (and originally defined in ‘GHC.Types’)
    • Perhaps you meant one of these:
        ‘Bowl’ (line 11), variable ‘bool’ (line 12)
    • In the expression: Bool
      In an equation for ‘ex1’: ex1 = Bool

T19978.hs:14:7: error:
    • Data constructor not in scope: Let
    • Perhaps you meant ‘Left’ (imported from Prelude)

T19978.hs:21:7: error:
    • Illegal term-level use of the type variable ‘mytv’
    • bound at T19978.hs:20:15
    • Perhaps you meant one of these:
        data constructor ‘Mytv’ (line 24), ‘myvv’ (line 25)
    • In the expression: mytv
      In an equation for ‘ex3’: ex3 = mytv