Marat Khabibullin comments

Results 16 comments of


                                            Marat Khabibullin

Confusing error message about language version on IDE startup

Also, it might be a good idea to update the language version for the tutorial, so that users don't get distracted when they try it these days.

Consider adding a completion for unicode symbols in aliases

Yeah, we have talked about adding more symbols here: https://github.com/JetBrains/Arend/issues/299 Speaking of completion. Do I get it correctly that you would avoid adding it completely?

Consider adding a completion for unicode symbols in aliases

Ok, got your point)

False positive "X is not a reference to either a definition or a variable"

There is an exception in the log, but it seems to be unrelated: ``` 2021-05-15 12:44:16,718 [149661538] ERROR - plication.impl.ApplicationImpl - class org.arend.core.definition.ClassDefinition cannot be cast to class org.arend.core.definition.FunctionDefinition (org.arend.core.definition.ClassDefinition...

Improve UI around "Project SDK" field in the project wizard

Taken from #310.

Improve UI around "Project SDK" field in the project wizard

Agree. I failed to find an easy way to fix that, this logic is deeply hidden in the platform code. I will try to handle that later. Updated the description.