Add more parse error tests for #3811

testsuite/tests/ghc-regress/parser/should_fail/T3811c.hs

+
+module T3811c where
+
+data D = D
+
+instance !Show D
+

testsuite/tests/ghc-regress/parser/should_fail/T3811c.stderr

+
+T3811c.hs:6:10: Malformed instance header: !Show D

testsuite/tests/ghc-regress/parser/should_fail/T3811d.hs

+
+module T3811d where
+
+data D a = D a
+
+class C b (D Char) b
+

testsuite/tests/ghc-regress/parser/should_fail/T3811d.stderr

+
+T3811d.hs:6:11:
+    Type found: D Char
+    where type variable expected, in: b (D Char) b
+

testsuite/tests/ghc-regress/parser/should_fail/T3811e.hs

+
+{-# LANGUAGE NoDatatypeContexts #-}
+
+module T3811e where
+
+data (Show a, Read a) => D a = D a

testsuite/tests/ghc-regress/parser/should_fail/T3811e.stderr

+
+T3811e.hs:6:6:
+    Illegal datatype context (use -XDatatypeContexts): (Show a,
+                                                        Read a) =>
+

testsuite/tests/ghc-regress/parser/should_fail/T3811f.hs

+
+module T3811f where
+
+class !Foo a

testsuite/tests/ghc-regress/parser/should_fail/T3811f.stderr

+
+T3811f.hs:4:7: Malformed head of type or class declaration: !Foo a

testsuite/tests/ghc-regress/parser/should_fail/T3811g.hs

+
+module T3811g where
+
+f :: IO ()
+f = do _ <- return ()
+       _ <- return ()
+

testsuite/tests/ghc-regress/parser/should_fail/T3811g.stderr

+
+T3811g.hs:6:8:
+    The last statement in a 'do' construct must be an expression:
+    _ <- return ()

testsuite/tests/ghc-regress/parser/should_fail/all.T

@@ -65,4 +65,9 @@ test('T1344b', normal, compile_fail, [''])
 test('T1344c', normal, compile_fail, [''])
 test('T3811', normal, compile_fail, [''])
 test('T3811b', normal, compile_fail, [''])
+test('T3811c', normal, compile_fail, [''])
+test('T3811d', normal, compile_fail, [''])
+test('T3811e', normal, compile_fail, [''])
+test('T3811f', normal, compile_fail, [''])
+test('T3811g', normal, compile_fail, [''])
 test('NoDoAndIfThenElse', normal, compile_fail, [''])