check-api-annotations checks for annotation preceding its span
[ghc.git] / testsuite / tests / ghc-api / annotations / Test16212.hs
1 module Test16212 where
2
3 class LiftingMonad (trans :: MTrans) where
4 proof :: Monad m :- Monad (trans m)
5
6 class LiftingMonad2 ((trans :: MTrans)) where
7 proof :: Monad m :- Monad (trans m)
8
9 data Nat (t :: NatKind) where
10 ZeroNat :: Nat Zero
11 SuccNat :: Nat t -> Nat (Succ t)