tc230.hs\should_compile\typecheck\ghc-regress\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/ghc-regress/typecheck/should_compile/tc230.hs

blob: 11877d487f7751488c80f448a3ee23d24d2a8e8a (plain)

{-# LANGUAGE ImplicitParams #-}

-- Trac #1445

module Bug where

f :: () -> (?p :: ()) => () -> ()
f _ _ = ()

g :: (?p :: ()) => ()
g = f () ()