Typeclasses with exactly one declaration don't highlight properly

[Jeremy-Stafford]

Type-class definitions with exactly one declaration 'take over' the remainder of the file:

This does not happen if there is (literally) anything on the next line:

It also does not happen for type-classes with no declarations:

[JustusAdam]

Weird, I cannot reproduce that behaviour.

When I tried it it worked. Both with an empty line, and even if there was not space in between at all.

[Jeremy-Stafford]

After a bit of testing, I have discovered that it works so long as the module block is not indented, as is quite a common style. However, if it is indented, then it does not work. This is also true for GADTs:

This is probably because most people do not indent module blocks, so this should probably become a feature rather than a bug (eg, 'add support for indented module blocks').

[JustusAdam]

Turns out this was actually a bug in the matcher for when a type annotation ends and thus a more general problem