Keywords followed by semicolon not highlighted: ```agda record Bla : Set where no-eta-equality; pattern; constructor foo ``` Here, `no-eta-equality` and `pattern` are not highlighted.
Keywords followed by semicolon not highlighted:
Here,
no-eta-equalityandpatternare not highlighted.