Add tests for new TH #4124, #4128, #4170, #4364, #6062

testsuite/tests/th/T4124.hs

+{-# LANGUAGE TemplateHaskell #-}
+module T4124 where
+
+class Storable a where
+data X = X
+[d| instance Storable $( [t| X |] ) where |]

testsuite/tests/th/T4128.hs

+{-# LANGUAGE TemplateHaskell #-}
+module T4128 where
+
+import Language.Haskell.TH
+class C a where
+data X = X
+fmap return $ instanceD (cxt []) [t| C $(conT ''X) |] []

testsuite/tests/th/T4170.hs

+{-# LANGUAGE TemplateHaskell #-}
+module T4170 where
+
+import Language.Haskell.TH
+
+class LOL a
+
+lol :: Q [Dec]
+lol = [d|
+    instance LOL Int
+    |]
+
+instance LOL Int

testsuite/tests/th/T4364.hs

+{-# LANGUAGE TemplateHaskell #-}
+module T4364 where
+
+data Z
+
+type N0 = $( [t| Z |] )
+type N1 = $( [t| Z |] )

testsuite/tests/th/T6062.hs

+{-# LANGUAGE TemplateHaskell #-}
+module T6062 where
+x = [| False True |]

testsuite/tests/th/all.T

@@ -293,3 +293,10 @@ test('T8333',
      normal,
      run_command,
      ['$MAKE -s --no-print-directory T8333'])
+
+test('T4170', normal, compile, ['-v0'])
+test('T4124', normal, compile, ['-v0'])
+test('T4128', normal, compile, ['-v0'])
+test('T6062', normal, compile, ['-v0'])
+test('T4364', normal, compile, ['-v0'])
+