diff --git a/testsuite/tests/th/T7276.hs b/testsuite/tests/th/T7276.hs new file mode 100644 index 0000000000000000000000000000000000000000..59a9ec0e8cdbddcc9053064cfffa05a88f3a4db6 --- /dev/null +++ b/testsuite/tests/th/T7276.hs @@ -0,0 +1,6 @@ +{-# OPTIONS_GHC -fdefer-type-errors #-} +{-# LANGUAGE TemplateHaskell #-} + +module T7276 where + +x = $( [d| y = 3 |] ) diff --git a/testsuite/tests/th/T7276.stderr b/testsuite/tests/th/T7276.stderr new file mode 100644 index 0000000000000000000000000000000000000000..aeb36647dc93032fbd5cd2defa3865bdc3dab27b --- /dev/null +++ b/testsuite/tests/th/T7276.stderr @@ -0,0 +1,9 @@ + +T7276.hs:6:8: + Couldn't match type `[Language.Haskell.TH.Syntax.Dec]' + with `Language.Haskell.TH.Syntax.Exp' + Expected type: Language.Haskell.TH.Lib.ExpQ + Actual type: Language.Haskell.TH.Lib.DecsQ + In the Template Haskell quotation [d| y = 3 |] + In the expression: [d| y = 3 |] + In the expression: $([d| y = 3 |]) diff --git a/testsuite/tests/th/all.T b/testsuite/tests/th/all.T index 46cdc598d85cff012cfff1b2a67932197eef6c7e..6e332e2064efda753fdb93bb7a8891fec80b89de 100644 --- a/testsuite/tests/th/all.T +++ b/testsuite/tests/th/all.T @@ -252,3 +252,4 @@ test('T7064', ['T7064.hs', '-v0']) test('T7092', extra_clean(['T7092a.hi','T7092a.o']), multimod_compile, ['T7092','-v0']) +test('T7276', normal, compile_fail, ['-v0'])