diff options
Diffstat (limited to 'testsuite/tests/saks/should_fail/T16758.hs')
-rw-r--r-- | testsuite/tests/saks/should_fail/T16758.hs | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/saks/should_fail/T16758.hs b/testsuite/tests/saks/should_fail/T16758.hs new file mode 100644 index 0000000000..2798156f3c --- /dev/null +++ b/testsuite/tests/saks/should_fail/T16758.hs @@ -0,0 +1,14 @@ +{-# LANGUAGE StandaloneKindSignatures #-} +{-# LANGUAGE ConstrainedClassMethods #-} +{-# LANGUAGE DataKinds #-} +{-# LANGUAGE GADTs #-} +{-# LANGUAGE PolyKinds #-} +{-# LANGUAGE ExplicitForAll #-} + +module T16758 where + +import Data.Kind + +type C :: forall (a :: Type) -> a ~ Int => Constraint +class C a where + f :: C a => a -> Int |