diff options
| author | Matthieu Sozeau | 2018-11-28 17:10:02 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2018-11-28 17:10:02 +0100 |
| commit | 320f8c4503293b37c852548e4d19ff4dd1c191cb (patch) | |
| tree | 9d306d01b8ef00d8b87615259ea09fa82b568ad8 /plugins/syntax/string_notation.ml | |
| parent | 2e68697327f6f8a7f365ba3474a3f1a04ca4a621 (diff) | |
| parent | 23fcb09d934bf77fe58f232d2c246a81fc76591f (diff) | |
Merge PR #9015: [Typeclasses] Warn when RHS of `:>` is not a class
Diffstat (limited to 'plugins/syntax/string_notation.ml')
0 files changed, 0 insertions, 0 deletions