diff options
Diffstat (limited to 'testsuite/tests/dependent/should_fail/T15743c.hs')
| -rw-r--r-- | testsuite/tests/dependent/should_fail/T15743c.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/dependent/should_fail/T15743c.hs b/testsuite/tests/dependent/should_fail/T15743c.hs index eb8f68349f..72f599f035 100644 --- a/testsuite/tests/dependent/should_fail/T15743c.hs +++ b/testsuite/tests/dependent/should_fail/T15743c.hs @@ -8,4 +8,4 @@ import Data.Proxy data SimilarKind :: forall (c :: k) (d :: k). Proxy c -> Proxy d -> Type data T k (c :: k) (a :: Proxy c) b (x :: SimilarKind a b) -data T2 k (c :: k) (a :: Proxy c) (b :: Proxy d) (x :: SimilarKind a b) + |