[commit: testsuite] master: Test TypeHoles (cacfd03)

Repository : ssh://darcs.haskell.org//srv/darcs/testsuite

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/cacfd03ec82329ec7c167295a19ee9b6a3f31f1e

>---------------------------------------------------------------

commit cacfd03ec82329ec7c167295a19ee9b6a3f31f1e
Author: Simon Peyton Jones <[email protected]>
Date:   Fri Nov 16 12:45:54 2012 +0000

    Test TypeHoles

>---------------------------------------------------------------

 tests/typecheck/should_compile/all.T         |    3 +++
 tests/typecheck/should_compile/holes.hs      |   15 +++++++++++++++
 tests/typecheck/should_compile/holes.stderr  |   26 ++++++++++++++++++++++++++
 tests/typecheck/should_compile/holes2.hs     |    7 +++++++
 tests/typecheck/should_compile/holes2.stderr |   20 ++++++++++++++++++++
 tests/typecheck/should_compile/holes3.hs     |   15 +++++++++++++++
 tests/typecheck/should_compile/holes3.stderr |   26 ++++++++++++++++++++++++++
 7 files changed, 112 insertions(+), 0 deletions(-)

diff --git a/tests/typecheck/should_compile/all.T b/tests/typecheck/should_compile/all.T
index 6240962..dd421ef 100644
--- a/tests/typecheck/should_compile/all.T
+++ b/tests/typecheck/should_compile/all.T
@@ -389,3 +389,6 @@ test('T7196', normal, compile, [''])
 test('T7050', normal, compile, [''])
 test('T7312', normal, compile, [''])
 test('T7384', normal, compile, [''])
+test('holes', normal, compile, ['-fdefer-type-errors'])
+test('holes2', normal, compile, ['-fdefer-type-errors'])
+test('holes3', normal, compile_fail, [''])
diff --git a/tests/typecheck/should_compile/holes.hs b/tests/typecheck/should_compile/holes.hs
new file mode 100644
index 0000000..fa5a892
--- /dev/null
+++ b/tests/typecheck/should_compile/holes.hs
@@ -0,0 +1,15 @@
+{-# LANGUAGE TypeHoles #-}
+
+module Main where
+
+main = return ()
+
+f = _
+
+g :: Int -> Char
+g x = _
+
+h = _ ++ "a"
+
+z :: [a] -> [a]
+z y = const y _
diff --git a/tests/typecheck/should_compile/holes.stderr b/tests/typecheck/should_compile/holes.stderr
new file mode 100644
index 0000000..626230f
--- /dev/null
+++ b/tests/typecheck/should_compile/holes.stderr
@@ -0,0 +1,26 @@
+
+holes.hs:7:5: Warning:
+    Found hole `_' with type t
+    Where: `t' is a rigid type variable bound by
+               the inferred type of f :: t at holes.hs:7:1
+    Relevant bindings include f :: t (bound at holes.hs:7:1)
+    In the expression: _
+    In an equation for `f': f = _
+
+holes.hs:10:7: Warning:
+    Found hole `_' with type Char
+    In the expression: _
+    In an equation for `g': g x = _
+
+holes.hs:12:5: Warning:
+    Found hole `_' with type [Char]
+    In the first argument of `(++)', namely `_'
+    In the expression: _ ++ "a"
+    In an equation for `h': h = _ ++ "a"
+
+holes.hs:15:15: Warning:
+    Found hole `_' with type b0
+    Where: `b0' is an ambiguous type variable
+    In the second argument of `const', namely `_'
+    In the expression: const y _
+    In an equation for `z': z y = const y _
diff --git a/tests/typecheck/should_compile/holes2.hs b/tests/typecheck/should_compile/holes2.hs
new file mode 100644
index 0000000..56614c7
--- /dev/null
+++ b/tests/typecheck/should_compile/holes2.hs
@@ -0,0 +1,7 @@
+{-# LANGUAGE TypeHoles #-}
+
+module Main where
+
+main = return ()
+
+f = show _
diff --git a/tests/typecheck/should_compile/holes2.stderr b/tests/typecheck/should_compile/holes2.stderr
new file mode 100644
index 0000000..433b5a0
--- /dev/null
+++ b/tests/typecheck/should_compile/holes2.stderr
@@ -0,0 +1,20 @@
+
+holes2.hs:7:5: Warning:
+    No instance for (Show a0) arising from a use of `show'
+    The type variable `a0' is ambiguous
+    Possible fix: add a type signature that fixes these type variable(s)
+    Note: there are several potential instances:
+      instance Show Double -- Defined in `GHC.Float'
+      instance Show Float -- Defined in `GHC.Float'
+      instance (Integral a, Show a) => Show (GHC.Real.Ratio a)
+        -- Defined in `GHC.Real'
+      ...plus 23 others
+    In the expression: show _
+    In an equation for `f': f = show _
+
+holes2.hs:7:10: Warning:
+    Found hole `_' with type a0
+    Where: `a0' is an ambiguous type variable
+    In the first argument of `show', namely `_'
+    In the expression: show _
+    In an equation for `f': f = show _
diff --git a/tests/typecheck/should_compile/holes3.hs b/tests/typecheck/should_compile/holes3.hs
new file mode 100644
index 0000000..fa5a892
--- /dev/null
+++ b/tests/typecheck/should_compile/holes3.hs
@@ -0,0 +1,15 @@
+{-# LANGUAGE TypeHoles #-}
+
+module Main where
+
+main = return ()
+
+f = _
+
+g :: Int -> Char
+g x = _
+
+h = _ ++ "a"
+
+z :: [a] -> [a]
+z y = const y _
diff --git a/tests/typecheck/should_compile/holes3.stderr b/tests/typecheck/should_compile/holes3.stderr
new file mode 100644
index 0000000..3bdba50
--- /dev/null
+++ b/tests/typecheck/should_compile/holes3.stderr
@@ -0,0 +1,26 @@
+
+holes3.hs:7:5:
+    Found hole `_' with type t
+    Where: `t' is a rigid type variable bound by
+               the inferred type of f :: t at holes3.hs:7:1
+    Relevant bindings include f :: t (bound at holes3.hs:7:1)
+    In the expression: _
+    In an equation for `f': f = _
+
+holes3.hs:10:7:
+    Found hole `_' with type Char
+    In the expression: _
+    In an equation for `g': g x = _
+
+holes3.hs:12:5:
+    Found hole `_' with type [Char]
+    In the first argument of `(++)', namely `_'
+    In the expression: _ ++ "a"
+    In an equation for `h': h = _ ++ "a"
+
+holes3.hs:15:15:
+    Found hole `_' with type b0
+    Where: `b0' is an ambiguous type variable
+    In the second argument of `const', namely `_'
+    In the expression: const y _
+    In an equation for `z': z y = const y _