diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2017-05-11 15:42:55 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-05-11 17:33:12 -0400 |
| commit | 2277172ac3ea0bbeddebc9999a5d8b5f9f58afc9 (patch) | |
| tree | ff35d9fa285e91efec30a38e886268293bc43963 /testsuite/tests/typecheck/should_fail/T13677.hs | |
| parent | 1f770a521e2331ce01007d36490d3b206afc6b4b (diff) | |
| download | haskell-2277172ac3ea0bbeddebc9999a5d8b5f9f58afc9.tar.gz | |
Parenthesize pretty-printed equalities when necessary
Fixes #13677 by parenthesizing equalities in a sufficiently high
pretty-printing context.
Test Plan: make test TEST=T13677
Reviewers: goldfire, austin, bgamari
Reviewed By: bgamari
Subscribers: rwbarton, thomie
GHC Trac Issues: #13677
Differential Revision: https://phabricator.haskell.org/D3570
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/T13677.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/T13677.hs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/T13677.hs b/testsuite/tests/typecheck/should_fail/T13677.hs new file mode 100644 index 0000000000..f452a202bb --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/T13677.hs @@ -0,0 +1,11 @@ +{-# LANGUAGE ConstraintKinds #-} +{-# LANGUAGE GADTs #-} +module T13677 where + +import GHC.Exts (Constraint) + +data Dict a where + Dict :: a => Dict a + +foo :: Dict (Int ~ Int) => Int +foo = undefined |