Update outputs following the unicode quote change in GHC's output
[ghc.git] / testsuite / tests / typecheck / should_fail / T3406.stderr
1
2 T3406.hs:11:6:
3     The type variables ‛a, b’
4     should be bound by the pattern signature ‛ItemColID a b’
5     but are actually discarded by a type synonym
6     To fix this, expand the type synonym
7     [Note: I hope to lift this restriction in due course]
8     In the pattern: x :: ItemColID a b
9     In an equation for ‛get’:
10         get (x :: ItemColID a b) = x :: ItemColID a b