summaryrefslogtreecommitdiff
path: root/testsuite/tests/quotes/T10384.hs
blob: 773deb061af8c33d269440639ba1b180fd07fe88 (plain)
1
2
3
{-# LANGUAGE TemplateHaskell, RankNTypes, ScopedTypeVariables #-}
module A where
x = \(y :: forall a. a -> a) -> [|| y ||]