Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T8570.stderr
1
2 T8570.hs:6:18:
3     Constructor ‘Image’ does not have field ‘filepath’
4     In the pattern: Image {filepath = x}
5     In a pattern binding: Image {filepath = x} = logo
6     In the expression: let Image {filepath = x} = logo in x