Test Trac #5130

testsuite/tests/ghc-regress/ghci/scripts/T5130.script

+:set -XScopedTypeVariables
+(\(x :: a, y :: a) -> [x, "hi"])
+

testsuite/tests/ghc-regress/ghci/scripts/T5130.stderr

+
+<interactive>:1:27:
+    Couldn't match type `a' with `[Char]'
+    In the expression: "hi"
+    In the expression: [x, "hi"]
+    In the expression: (\ (x :: a, y :: a) -> [x, "hi"])

testsuite/tests/ghc-regress/ghci/scripts/all.T

@@ -74,3 +74,4 @@ test('T4127a', normal, ghci_script, ['T4127a.script'])
 test('T4316', reqlib('mtl'), ghci_script, ['T4316.script'])
 test('T4832', normal, ghci_script, ['T4832.script'])
 test('T5045', normal, ghci_script, ['T5045.script'])
+test('T5130', normal, ghci_script, ['T5130.script'])