T1634.hs\should_compile\typecheck\tests\testsuite - delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

index : delta/haskell.git

gitlab.haskell.org: ghc/ghc.git

summary refs log tree commit diff

path: root/testsuite/tests/typecheck/should_compile/T1634.hs

blob: a8fdd9f8ebd7e4c5811df07016a4124ad24b215d (plain)

{-# LANGUAGE RankNTypes #-}

module T1634 where

t1 :: a -> (forall b. b -> (a,b))
t1 x = (,) x