summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghc-regress/deSugar/should_compile/ds050.hs
blob: be88654d7e73d8bf6ec5a3dfc6b75c538af18670 (plain)
1
2
3
4
5
6
7
8
{-# LANGUAGE Rank2Types #-}

module ShouldCompile where

data Q = Q {f :: forall a. a -> a}
g1 = f
g2 x = f x
g3 x y = f x y