diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/T12550.stdout')
| -rw-r--r-- | testsuite/tests/ghci/scripts/T12550.stdout | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/testsuite/tests/ghci/scripts/T12550.stdout b/testsuite/tests/ghci/scripts/T12550.stdout index de3f8d15d6..d4ac6b86fb 100644 --- a/testsuite/tests/ghci/scripts/T12550.stdout +++ b/testsuite/tests/ghci/scripts/T12550.stdout @@ -1,16 +1,16 @@ -f :: forall {b} {a :: * -> *}. C a => a b -f :: forall {b} {a :: * -> *}. C a => a b -f :: forall {b} {a :: * -> *}. C a => a b -f :: forall {b} {a :: * -> *}. C a => a b -f :: forall {b} {a :: * -> *}. C a => a b -f :: forall {b} {a :: * -> *}. C a => a b -f ∷ ∀ {b} {a ∷ ★ → ★}. C a ⇒ a b -f ∷ ∀ {b} {a ∷ ★ → ★}. C a ⇒ a b -f ∷ ∀ {b} {a ∷ ★ → ★}. C a ⇒ a b -f ∷ ∀ {b} {a ∷ ★ → ★}. C a ⇒ a b -f ∷ ∀ {b} {a ∷ ★ → ★}. C a ⇒ a b -f ∷ ∀ {b} {a ∷ ★ → ★}. C a ⇒ a b -fmap ∷ ∀ {f ∷ ★ → ★} {b} {a}. Functor f ⇒ (a → b) → f a → f b +f :: forall {a :: * -> *} {b}. C a => a b +f :: forall {a :: * -> *} {b}. C a => a b +f :: forall {a :: * -> *} {b}. C a => a b +f :: forall {a :: * -> *} {b}. C a => a b +f :: forall {a :: * -> *} {b}. C a => a b +f :: forall {a :: * -> *} {b}. C a => a b +f ∷ ∀ {a ∷ ★ → ★} {b}. C a ⇒ a b +f ∷ ∀ {a ∷ ★ → ★} {b}. C a ⇒ a b +f ∷ ∀ {a ∷ ★ → ★} {b}. C a ⇒ a b +f ∷ ∀ {a ∷ ★ → ★} {b}. C a ⇒ a b +f ∷ ∀ {a ∷ ★ → ★} {b}. C a ⇒ a b +f ∷ ∀ {a ∷ ★ → ★} {b}. C a ⇒ a b +fmap ∷ ∀ {f ∷ ★ → ★} {a} {b}. Functor f ⇒ (a → b) → f a → f b class Functor (f ∷ ★ → ★) where fmap ∷ ∀ a b. (a → b) → f a → f b ... @@ -62,6 +62,6 @@ class Datatype (d ∷ k) where t d f a → [Char] ... -- Defined in ‘GHC.Generics’ -(:*:) ∷ ∀ {g ∷ ★ → ★} {p} {f ∷ ★ → ★}. f p → g p → (:*:) f g p +(:*:) ∷ ∀ {f ∷ ★ → ★} {p} {g ∷ ★ → ★}. f p → g p → (:*:) f g p Rep ∷ ★ → ★ → ★ M1 ∷ ∀ k. ★ → Meta → (k → ★) → k → ★ |