Move tests from tests/ghc-regress/* to just tests/*

1 files changed, 22 insertions, 0 deletions

diff --git a/testsuite/tests/typecheck/should_run/tcrun020.hs b/testsuite/tests/typecheck/should_run/tcrun020.hs
new file mode 100644
index 0000000000..98cbc71e3c
--- /dev/null
+++ b/testsuite/tests/typecheck/should_run/tcrun020.hs
@@ -0,0 +1,22 @@
+{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-}
+
+-- Hugs (2001) diverges when evaluating main, unless (Monad m) is
+-- added as an extra superclass to C2, which should not be necessary.
+
+module Main where
+
+class Monad m => C1 m x
+
+class (C1 m x) => C2 m x where
+    c2 :: x -> m x
+
+instance Monad m => C1 m Bool
+
+instance C2 Maybe Bool where
+    c2 = return
+
+test :: Maybe Bool
+test = c2 True
+
+main = print test
+