summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts/ghci025.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/ghci/scripts/ghci025.hs')
-rw-r--r--testsuite/tests/ghci/scripts/ghci025.hs22
1 files changed, 22 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/ghci025.hs b/testsuite/tests/ghci/scripts/ghci025.hs
new file mode 100644
index 0000000000..0e1bc7e2c5
--- /dev/null
+++ b/testsuite/tests/ghci/scripts/ghci025.hs
@@ -0,0 +1,22 @@
+{-# LANGUAGE Rank2Types, MultiParamTypeClasses #-}
+
+module T where
+
+import qualified Prelude as T(length,Monad,Integer)
+import qualified Data.ByteString as T(length)
+import Prelude(length,(+),(=<<),Monad(..),Maybe(..),Eq)
+import Data.Maybe
+import Control.Monad(Monad(..),MonadPlus(..))
+
+length :: T.Integer
+length = 0
+
+class N a
+class S a
+
+class C a b where
+ c1 :: N b => a -> b
+ c2 :: (N b,S b) => a -> b
+ c3 :: forall a. a -> b
+ c4 :: a1 -> b
+