diff options
| author | Torsten Schmits <git@tryp.io> | 2023-03-24 19:03:30 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-04-01 09:43:12 -0400 |
| commit | a84fba6eb5cae43bd79cc1b26eadd7a2aa36099b (patch) | |
| tree | cee09fd93bc60ba97ac8b873ce96c6ec63ccccca /testsuite/tests/typecheck/should_fail/MultiAssocDefaults.hs | |
| parent | 3b5be05ac29e2ec033e108e15f052f2a13898f24 (diff) | |
| download | haskell-a84fba6eb5cae43bd79cc1b26eadd7a2aa36099b.tar.gz | |
Add structured error messages for GHC.Tc.TyCl
Tracking ticket: #20117
MR: !10183
This converts uses of `mkTcRnUnknownMessage` to newly added constructors
of `TcRnMessage`.
Diffstat (limited to 'testsuite/tests/typecheck/should_fail/MultiAssocDefaults.hs')
| -rw-r--r-- | testsuite/tests/typecheck/should_fail/MultiAssocDefaults.hs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_fail/MultiAssocDefaults.hs b/testsuite/tests/typecheck/should_fail/MultiAssocDefaults.hs new file mode 100644 index 0000000000..05265db804 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/MultiAssocDefaults.hs @@ -0,0 +1,10 @@ +{-# language TypeFamilies #-} + +module MultiAssocDefaults where + +import Data.Kind (Type) + +class C a where + type A a :: Type + type A a = Int + type A a = Double |