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

1 files changed, 26 insertions, 0 deletions

diff --git a/testsuite/tests/typecheck/should_run/IPRun.hs b/testsuite/tests/typecheck/should_run/IPRun.hs
new file mode 100644
index 0000000000..66abe6dcbe
--- /dev/null
+++ b/testsuite/tests/typecheck/should_run/IPRun.hs
@@ -0,0 +1,26 @@
+{-# LANGUAGE ImplicitParams #-}
+
+module Main where
+
+f0 :: (?x :: Int) => () -> Int
+f0 () = let ?x = 5 in ?x
+   -- Should always return 5
+
+f1 :: (?x :: Int) => () -> Int
+f1 = let ?x = 5 in \() -> ?x
+   -- Should always return 5
+
+f2 () = let ?x = 5 in \() -> ?x
+   -- Inferred type: (Num a, ?x::a) => () -> () -> a
+   -- should always return 5
+
+f3 :: () -> ((?x :: Int) => Int)
+-- Deep skolemisation means that the local x=5 still wins
+f3 = let ?x = 5 in \() -> ?x
+
+main = let ?x = 0 in
+       do { print (f0 ())
+          ; print (f1 ())
+          ; print (f2 () ())
+          ; print (f3 ()) }
+