blob: 6751f31a5ccfae01784a811915266dd745b6dd74 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
tc214.hs:19:1: warning: [GHC-94210] [-Woverlapping-patterns (in -Wdefault)]
Pattern match has inaccessible right hand side
In an equation for ‘bar2’: bar2 (F2 _) = ...
tc214.hs:19:7: warning: [GHC-40564] [-Winaccessible-code (in -Wdefault)]
• Inaccessible code in
a pattern with constructor: F2 :: forall a. a -> Foo2 [a],
in an equation for ‘bar2’
Couldn't match type ‘a’ with ‘forall a1. a1’
Cannot equate type variable ‘a’
with a type involving polytypes: forall a1. a1
‘a’ is a rigid type variable bound by
a pattern with constructor: F2 :: forall a. a -> Foo2 [a],
in an equation for ‘bar2’
at tc214.hs:19:7-10
• In the pattern: F2 _
In an equation for ‘bar2’: bar2 (F2 _) = ()
|