Improve error recovery in the typechecker
[ghc.git] / testsuite / tests / dependent / should_fail / T16418.hs
1 {-# LANGUAGE PolyKinds #-}
2 {-# LANGUAGE ScopedTypeVariables #-}
3 module T16418 where
4
5 import Data.Kind
6
7 data SameKind :: forall k. k -> k -> Type
8
9 f :: forall a k (b :: k). SameKind a b -> ()
10 f = g
11 where
12 g :: SameKind a b -> ()
13 g _ = ()