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 | |
| 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')
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles14.stderr | 1 | ||||
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles3.stderr | 4 | ||||
| -rw-r--r-- | testsuite/tests/roles/should_compile/Roles4.stderr | 2 |
3 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/tests/roles/should_compile/Roles14.stderr b/testsuite/tests/roles/should_compile/Roles14.stderr index 230603cf09..bb61133ce0 100644 --- a/testsuite/tests/roles/should_compile/Roles14.stderr +++ b/testsuite/tests/roles/should_compile/Roles14.stderr @@ -3,6 +3,7 @@ TYPE CONSTRUCTORS type role C2 representational class C2 a where meth2 :: a -> a + {-# MINIMAL meth2 #-} COERCION AXIOMS axiom Roles12.NTCo:C2 :: C2 a = a -> a Dependent modules: [] 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] diff --git a/testsuite/tests/roles/should_compile/Roles4.stderr b/testsuite/tests/roles/should_compile/Roles4.stderr index 109a2bb96f..0113869e42 100644 --- a/testsuite/tests/roles/should_compile/Roles4.stderr +++ b/testsuite/tests/roles/should_compile/Roles4.stderr @@ -2,8 +2,10 @@ TYPE SIGNATURES TYPE CONSTRUCTORS class C1 a where meth1 :: a -> a + {-# MINIMAL meth1 #-} class C3 a where meth3 :: a -> Syn1 a + {-# MINIMAL meth3 #-} type Syn1 a = [a] COERCION AXIOMS axiom Roles4.NTCo:C1 :: C1 a = a -> a |