diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-01-19 11:59:28 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-01-19 11:59:51 +0000 |
| commit | 4cfd235d4d52ce6e6c48013b2d5dcb347b978c24 (patch) | |
| tree | bc33027666a6d720f9d215c7d1f5dacc0bd82871 | |
| parent | 8e774ba1c0fb38a1e01d156734c8a1acf0b1e59b (diff) | |
| download | haskell-4cfd235d4d52ce6e6c48013b2d5dcb347b978c24.tar.gz | |
Test Trac #9867
| -rw-r--r-- | testsuite/tests/patsyn/should_compile/T9867.hs | 5 | ||||
| -rw-r--r-- | testsuite/tests/patsyn/should_compile/all.T | 1 |
2 files changed, 6 insertions, 0 deletions
diff --git a/testsuite/tests/patsyn/should_compile/T9867.hs b/testsuite/tests/patsyn/should_compile/T9867.hs new file mode 100644 index 0000000000..f05c43ceff --- /dev/null +++ b/testsuite/tests/patsyn/should_compile/T9867.hs @@ -0,0 +1,5 @@ +{-# LANGUAGE PatternSynonyms, ScopedTypeVariables #-} + +module T9867 where + +pattern Nil = [] :: [a] diff --git a/testsuite/tests/patsyn/should_compile/all.T b/testsuite/tests/patsyn/should_compile/all.T index 086875ffa4..0ef30f0f52 100644 --- a/testsuite/tests/patsyn/should_compile/all.T +++ b/testsuite/tests/patsyn/should_compile/all.T @@ -21,3 +21,4 @@ test('T8968-3', expect_broken(9953), compile, ['']) test('ImpExp_Imp', [extra_clean(['ImpExp_Exp.hi', 'ImpExp_Exp.o'])], multimod_compile, ['ImpExp_Imp', '-v0']) test('T9857', normal, compile, ['']) test('T9889', normal, compile, ['']) +test('T9867', normal, compile, ['']) |