diff options
| author | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2015-10-08 14:10:42 +0200 |
|---|---|---|
| committer | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2015-10-08 14:10:42 +0200 |
| commit | f64f7c36ef9395da1cc7b686aaf1b019204cd0fc (patch) | |
| tree | fdda7981f8464747efacdd9922c8d8d8b95d796a | |
| parent | e2b579e8d77357e8b36f57d15daead101586ac8e (diff) | |
| download | haskell-f64f7c36ef9395da1cc7b686aaf1b019204cd0fc.tar.gz | |
Tests for #10945 and #10946
| -rw-r--r-- | testsuite/tests/th/T10945.hs | 14 | ||||
| -rw-r--r-- | testsuite/tests/th/T10946.hs | 8 | ||||
| -rw-r--r-- | testsuite/tests/th/all.T | 2 |
3 files changed, 24 insertions, 0 deletions
diff --git a/testsuite/tests/th/T10945.hs b/testsuite/tests/th/T10945.hs new file mode 100644 index 0000000000..be7a792d61 --- /dev/null +++ b/testsuite/tests/th/T10945.hs @@ -0,0 +1,14 @@ +{-# LANGUAGE TemplateHaskell #-} + +module T10945 where + +import Language.Haskell.TH + +$$(return [ + SigD (mkName "m") + (ForallT [PlainTV (mkName "a")] + [] + (AppT (AppT ArrowT (VarT (mkName "a"))) (VarT (mkName "a")))) + , FunD (mkName "m") + [Clause [VarP (mkName "x")] (NormalB (VarE (mkName "x"))) []] + ]) diff --git a/testsuite/tests/th/T10946.hs b/testsuite/tests/th/T10946.hs new file mode 100644 index 0000000000..e234d9185b --- /dev/null +++ b/testsuite/tests/th/T10946.hs @@ -0,0 +1,8 @@ +{-# LANGUAGE TemplateHaskell #-} + +module T10946 where + +import Language.Haskell.TH + +m :: a -> a +m x = $$([||_||]) diff --git a/testsuite/tests/th/all.T b/testsuite/tests/th/all.T index 9d4736c10f..83047378db 100644 --- a/testsuite/tests/th/all.T +++ b/testsuite/tests/th/all.T @@ -360,3 +360,5 @@ test('TH_namePackage', normal, compile_and_run, ['-v0']) test('T10811', normal, compile, ['-v0']) test('T10810', normal, compile, ['-v0']) test('T10891', normal, compile, ['-v0']) +test('T10945', expect_broken(10945), compile, ['-v0']) +test('T10946', expect_broken(10946), compile, ['-v0']) |