Skip to content
This repository has been archived by the owner on Sep 27, 2021. It is now read-only.

using keyword not highlighted when indented in next line #30

Open
pnlph opened this issue Dec 20, 2019 · 4 comments
Open

using keyword not highlighted when indented in next line #30

pnlph opened this issue Dec 20, 2019 · 4 comments

Comments

@pnlph
Copy link
Contributor

pnlph commented Dec 20, 2019

I send a screenshot, Atom 1.42.0 x64 language-agda 1.2.0

Screenshot using keyword highlighting issue

@banacorn
Copy link
Owner

Does replacing some of the unicode symbols before the line helps?

I thought this might have something to do with tree-sitter/tree-sitter-agda#10

I spent some time fiddling with agda/stdlib trying to reproduce this but failed.

Can you provide some example code?

@pnlph
Copy link
Contributor Author

pnlph commented Dec 23, 2019

I tried several combinations, eg. with separation of 1, 2, 3... spaces it works but in the moment there is a new line it is not coloring the keyword, actually in Github is also not working...

open import Relation.Binary.PropositionalEquality using (refl)

and

open import Relation.Binary.PropositionalEquality
  using (refl)

@banacorn
Copy link
Owner

Hmm interesting, does it happens every time when there's a newline in between?

This is what I see
screenshot

The token as could also use some highlighting

@pnlph
Copy link
Contributor Author

pnlph commented Dec 25, 2019

I'm clueless, when using is in a new line, for me it is not highlighted. This does not happens for instance with where, then is highlighted correctly.

I agree, as should be highlighted also.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants