diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2021-05-14 12:33:01 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-05-21 15:05:44 -0400 |
| commit | 0da85d41ee6bc7f941cdbee8cebd5b57fa35396f (patch) | |
| tree | 6dfb34ff0c0a46771defe0f65d9004eed9fd5cfd /testsuite/tests | |
| parent | 6eed426bf24fe4ddc4c4802ff44b949e74f9d7ee (diff) | |
| download | haskell-0da85d41ee6bc7f941cdbee8cebd5b57fa35396f.tar.gz | |
EPA: Fix explicit specificity and unicode linear arrow annotations
Closes #19839
Closes #19840
Diffstat (limited to 'testsuite/tests')
| -rw-r--r-- | testsuite/tests/printer/Makefile | 10 | ||||
| -rw-r--r-- | testsuite/tests/printer/Test19839.hs | 7 | ||||
| -rw-r--r-- | testsuite/tests/printer/Test19840.hs | 12 | ||||
| -rw-r--r-- | testsuite/tests/printer/all.T | 2 |
4 files changed, 31 insertions, 0 deletions
diff --git a/testsuite/tests/printer/Makefile b/testsuite/tests/printer/Makefile index 94893f6347..b6f05c16d1 100644 --- a/testsuite/tests/printer/Makefile +++ b/testsuite/tests/printer/Makefile @@ -587,3 +587,13 @@ Test19821: Test19834: $(CHECK_PPR) $(LIBDIR) Test19834.hs $(CHECK_EXACT) $(LIBDIR) Test19834.hs + +.PHONY: Test19839 +Test19839: + $(CHECK_PPR) $(LIBDIR) Test19839.hs + $(CHECK_EXACT) $(LIBDIR) Test19839.hs + +.PHONY: Test19840 +Test19840: + $(CHECK_PPR) $(LIBDIR) Test19840.hs + $(CHECK_EXACT) $(LIBDIR) Test19840.hs diff --git a/testsuite/tests/printer/Test19839.hs b/testsuite/tests/printer/Test19839.hs new file mode 100644 index 0000000000..9cd48a0c52 --- /dev/null +++ b/testsuite/tests/printer/Test19839.hs @@ -0,0 +1,7 @@ +module Test19839 where + +minimal :: a ⊸ a +minimal x = x + +maximal :: a -> a +maximal x = x diff --git a/testsuite/tests/printer/Test19840.hs b/testsuite/tests/printer/Test19840.hs new file mode 100644 index 0000000000..de2e81486d --- /dev/null +++ b/testsuite/tests/printer/Test19840.hs @@ -0,0 +1,12 @@ +{-# LANGUAGE DefaultSignatures #-} +{-# LANGUAGE ScopedTypeVariables #-} + +module Test19840 where + +class C a where + f :: forall {z}. z -> a -> a + default f :: forall {z}. z -> a -> a + f _ x = x + + g :: forall {z::k} . z -> a -> a + g _ x = x diff --git a/testsuite/tests/printer/all.T b/testsuite/tests/printer/all.T index 618206ae54..b868427bfd 100644 --- a/testsuite/tests/printer/all.T +++ b/testsuite/tests/printer/all.T @@ -133,3 +133,5 @@ test('Test19813', ignore_stderr, makefile_test, ['Test19813']) test('Test19814', ignore_stderr, makefile_test, ['Test19814']) test('Test19821', ignore_stderr, makefile_test, ['Test19821']) test('Test19834', ignore_stderr, makefile_test, ['Test19834']) +test('Test19839', ignore_stderr, makefile_test, ['Test19839']) +test('Test19840', ignore_stderr, makefile_test, ['Test19840']) |