diff options
| author | Moritz Kiefer <moritz.kiefer@purelyfunctional.org> | 2015-09-17 16:02:06 +0200 |
|---|---|---|
| committer | Thomas Miedema <thomasmiedema@gmail.com> | 2015-09-17 16:02:18 +0200 |
| commit | 43eb1dc52a4d3cbba9617f5a26177b8251d84b6a (patch) | |
| tree | aa07eb3e0b02d76b6e28035ab19f3e7cdb775a78 /testsuite/tests/roles/should_compile/Roles3.stderr | |
| parent | 8d89d80d907a7df1d455e87a382b41dc65c42140 (diff) | |
| download | haskell-43eb1dc52a4d3cbba9617f5a26177b8251d84b6a.tar.gz | |
Show minimal complete definitions in ghci (#10847)
Show the minimal complete definition on :info in ghci. They
are shown like MINIMAL pragmas in code. If the minimal complete
definition is empty or only a specific method from a class is
requested, nothing is shown.
Reviewed By: simonpj, austin, thomie
Differential Revision: https://phabricator.haskell.org/D1241
Diffstat (limited to 'testsuite/tests/roles/should_compile/Roles3.stderr')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles3.stderr | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles3.stderr b/testsuite/tests/roles/should_compile/Roles3.stderr index 93cafc0c94..6f25b63691 100644 --- a/testsuite/tests/roles/should_compile/Roles3.stderr +++ b/testsuite/tests/roles/should_compile/Roles3.stderr @@ -2,13 +2,17 @@ TYPE SIGNATURES TYPE CONSTRUCTORS class C1 a where meth1 :: a -> a + {-# MINIMAL meth1 #-} class C2 a b where meth2 :: a ~ b => a -> b + {-# MINIMAL meth2 #-} class C3 a b where type family F3 b :: * open meth3 :: a -> F3 b -> F3 b + {-# MINIMAL meth3 #-} class C4 a b where meth4 :: a -> F4 b -> F4 b + {-# MINIMAL meth4 #-} type family F4 a :: * open type Syn1 a = F4 a type Syn2 a = [a] |