hadrian: Add support for bindist compressors other than Xz
[ghc.git] / testsuite / tests / typecheck / should_compile / T13833.hs
1 {-# LANGUAGE DataKinds, KindSignatures #-}
2
3 import GHC.TypeLits (Nat, Symbol)
4
5 class A (n::Nat)
6 instance A 0
7
8 class B (s::Symbol)
9 instance B "B"
10
11 main :: IO ()
12 main = return ()