T7903.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/T7903.hs

blob: 662af0c8547c0471a3091a2741e1719ee0ff10bb (plain)

{-# LANGUAGE KindSignatures #-}

module T7903 where

instance Eq (((->) a :: * -> *) b)
instance (Ord b) => Ord (((->) a) b)