diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2022-03-02 10:38:38 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-03-02 14:11:03 -0500 |
| commit | c8652a0afc3d8b56d39f39ff587271dcc46b17ba (patch) | |
| tree | 67417eb34ae8bd41da46f336d9b230422af2fa30 /testsuite/tests/indexed-types/should_fail/T21092.stderr | |
| parent | 1617fed3a97cd13b55a180029ab8fb9468d2b797 (diff) | |
| download | haskell-c8652a0afc3d8b56d39f39ff587271dcc46b17ba.tar.gz | |
Make Constraint not *apart* from Type.
More details in Note [coreView vs tcView]
Close #21092.
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T21092.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T21092.stderr | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T21092.stderr b/testsuite/tests/indexed-types/should_fail/T21092.stderr new file mode 100644 index 0000000000..b5b211cb38 --- /dev/null +++ b/testsuite/tests/indexed-types/should_fail/T21092.stderr @@ -0,0 +1,5 @@ + +T21092.hs:8:15: error: + Conflicting family instance declarations: + F (*) = Int -- Defined at T21092.hs:8:15 + F Constraint = Bool -- Defined at T21092.hs:9:15 |