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