blob: 2b90a1a98747fb4ecdcd6bbb1916172f285c2cfc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
hasfieldfail02.hs:10:5: error:
• No instance for (HasField "foo" T a1)
arising from a use of ‘getField’
• In the expression: getField @"foo" (MkT id)
In an equation for ‘x’:
x = getField @"foo" (MkT id)
hasfieldfail02.hs:14:5: error:
• No instance for (HasField "bar" U a0)
arising from a use of ‘getField’
• In the expression: getField @"bar" (MkU True)
In an equation for ‘y’: y = getField @"bar" (MkU True)
|
