Introduce GHC.TypeNats module, change KnownNat evidence to be Natural
[ghc.git] / testsuite / tests / typecheck / should_fail / T12151.hs
1 {-# LANGUAGE DefaultSignatures #-}
2 -- {-# LANGUAGE AllowAmbiguousTypes #-} -- Not required with GHC 8.0.1.
3
4 module T12151 where
5
6 class Put a where
7 put :: a
8
9 default put :: t -- This should be `a` instead of `t`
10 put = undefined