diff options
| author | Vincent Laporte | 2018-11-16 13:24:54 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-11-27 09:44:32 +0000 |
| commit | 23fcb09d934bf77fe58f232d2c246a81fc76591f (patch) | |
| tree | 2a618992d0e83001b53e87f8c50378f15a85fb52 /plugins | |
| parent | b2ed1bffb7601f6bcaf3a73c110a2783451a6e26 (diff) | |
[Typeclasses] Warn when RHS of `:>` is not a class
This introduces the warning “not-a-class” in the “typeclasses” category.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions