aeson-schemas-1.4.0.1: test/goldens/integration/ghc-9.4/getqq_missing_key.golden
/test/wont-compile/GetMissingKey.hs:17:15: error:
• Key 'missing' does not exist in the following schema:
'[ '( 'Data.Aeson.Schema.Key.NormalKey "foo",
'Data.Aeson.Schema.Type.SchemaScalar Bool)]
• In the second argument of ‘(.)’, namely
‘Data.Aeson.Schema.Internal.getKey
(Data.Proxy.Proxy :: Data.Proxy.Proxy "missing")’
In the expression:
(id
. Data.Aeson.Schema.Internal.getKey
(Data.Proxy.Proxy :: Data.Proxy.Proxy "missing"))
o
In an equation for ‘result’:
result
= ((id
. Data.Aeson.Schema.Internal.getKey
(Data.Proxy.Proxy :: Data.Proxy.Proxy "missing"))
o)
|
17 | result = [get| o.missing |]
| ^^^^^^^^^^^^^
/test/wont-compile/GetMissingKey.hs:17:15: error:
• Key 'missing' does not exist in the following schema:
'[ '( 'Data.Aeson.Schema.Key.NormalKey "foo",
'Data.Aeson.Schema.Type.SchemaScalar Bool)]
• In the second argument of ‘(.)’, namely
‘Data.Aeson.Schema.Internal.getKey
(Data.Proxy.Proxy :: Data.Proxy.Proxy "missing")’
In the expression:
(id
. Data.Aeson.Schema.Internal.getKey
(Data.Proxy.Proxy :: Data.Proxy.Proxy "missing"))
o
In an equation for ‘result’:
result
= ((id
. Data.Aeson.Schema.Internal.getKey
(Data.Proxy.Proxy :: Data.Proxy.Proxy "missing"))
o)
|
17 | result = [get| o.missing |]
| ^^^^^^^^^^^^^