Closed brandon-leapyear closed 4 years ago
When generating a get quasiquoter, we currently generate getKey @"foo", which requires the user to turn on TypeApplications (ghc 8.8 started enforcing this).
get
getKey @"foo"
We could avoid forcing this extension by generating getKey (Proxy :: Proxy "foo") instead
getKey (Proxy :: Proxy "foo")
When generating a
get
quasiquoter, we currently generategetKey @"foo"
, which requires the user to turn on TypeApplications (ghc 8.8 started enforcing this).We could avoid forcing this extension by generating
getKey (Proxy :: Proxy "foo")
instead