summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_compile/T9747.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/indexed-types/should_compile/T9747.hs')
-rw-r--r--testsuite/tests/indexed-types/should_compile/T9747.hs2
1 files changed, 2 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_compile/T9747.hs b/testsuite/tests/indexed-types/should_compile/T9747.hs
index 05b4397630..0466cbae67 100644
--- a/testsuite/tests/indexed-types/should_compile/T9747.hs
+++ b/testsuite/tests/indexed-types/should_compile/T9747.hs
@@ -1,4 +1,6 @@
+{-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
{-# LANGUAGE ConstraintKinds, DataKinds, GADTs, TypeFamilies, TypeOperators #-}
+
module T9747 where
import Data.List (intercalate)
import Data.Proxy