diff options
Diffstat (limited to 'testsuite/tests/partial-sigs/should_run/T15415.script')
| -rw-r--r-- | testsuite/tests/partial-sigs/should_run/T15415.script | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/testsuite/tests/partial-sigs/should_run/T15415.script b/testsuite/tests/partial-sigs/should_run/T15415.script new file mode 100644 index 0000000000..93a3f41b09 --- /dev/null +++ b/testsuite/tests/partial-sigs/should_run/T15415.script @@ -0,0 +1,17 @@ +import Data.Proxy +:set -XPolyKinds +data Dependent a (x :: a) + +:k Proxy _ +:k Proxy (Maybe :: _) +:k Dependent _ + +:set -XPartialTypeSignatures +:k Proxy _ +:k Proxy (Maybe :: _) +:k Dependent _ + +:set -fno-warn-partial-type-signatures +:k Proxy _ +:k Proxy (Maybe :: _) +:k Dependent _ |