From b3ecd047c432405b57b429fdeaad43f5dcd1ee24 Mon Sep 17 00:00:00 2001 From: Simon Peyton Jones Date: Mon, 4 Apr 2016 10:34:35 +0100 Subject: Elaborate test for #11376 This just adds the Prox stuff from the Description in Trac #11376 to the test case, The class stuff seems weird becuase the type is ambiguous --- testsuite/tests/ghci/scripts/T11376.stdout | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'testsuite/tests/ghci/scripts/T11376.stdout') diff --git a/testsuite/tests/ghci/scripts/T11376.stdout b/testsuite/tests/ghci/scripts/T11376.stdout index 0b0b95922f..c94516772c 100644 --- a/testsuite/tests/ghci/scripts/T11376.stdout +++ b/testsuite/tests/ghci/scripts/T11376.stdout @@ -1,2 +1,6 @@ bar @Int :: Int -> b -> Int bar @Int :: forall {b}. Int -> b -> Int +prox :: forall {k} {a :: k}. Prox k a +prox @Int :: Prox * Int +Prox :: forall {k} {a :: k}. Prox k a +Prox @Int :: Prox * Int -- cgit v1.2.1