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, 0 insertions, 14 deletions
diff --git a/testsuite/tests/saks/should_fail/T16758.hs b/testsuite/tests/saks/should_fail/T16758.hs deleted file mode 100644 index 2798156f3c..0000000000 --- a/testsuite/tests/saks/should_fail/T16758.hs +++ /dev/null @@ -1,14 +0,0 @@ -{-# 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 |