Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

private isn't recognized as a keyword by the IDE's editor #11475

Closed
JaroslavTulach opened this issue Nov 4, 2024 · 0 comments · Fixed by #11852
Closed

private isn't recognized as a keyword by the IDE's editor #11475

JaroslavTulach opened this issue Nov 4, 2024 · 0 comments · Fixed by #11852
Assignees
Labels
-gui d-easy Difficulty: little prior knowledge required

Comments

@JaroslavTulach
Copy link
Member

While investigating better behavior of type classes I created following program:

from Standard.Base import all
import Standard.Visualization

type R
    private V a:Text i:Integer

    as_text self = self
    as_both self = self
    as_int self = self

Text.from (that:R) = that.a
Integer.from (that:R) = that.i

main =
    n = R.V "Hi" 3
    t1 = n.as_text
    b2 = n.as_both
    i3 = n.as_int

and it renders incorrectly:

no private keyword

private isn't rendered as keyword.

@JaroslavTulach JaroslavTulach added d-easy Difficulty: little prior knowledge required -gui labels Nov 4, 2024
@github-project-automation github-project-automation bot moved this to ❓New in Issues Board Nov 4, 2024
@farmaazon farmaazon added this to the 2024-12 Release milestone Nov 5, 2024
kazcw added a commit that referenced this issue Dec 12, 2024
- Auto-indent:
  - New line matches indentation of previous line
  - Backspace now deletes 4 spaces of indentation
- New `Ast`-based implementation of `ensoSyntax` extension
  - Stylesheet-defined syntax highlighting (fixes #11475)
  - Vue component implementation of code editor tooltips
  - Removes 2nd-to-last usage of `RawAst` (#10753)
- Switch to CM-compatible SourceRange so that we can use the same text
  algorithms for module sources and CM editor contents
- Update CodeMirror dependencies
@kazcw kazcw mentioned this issue Dec 12, 2024
5 tasks
@kazcw kazcw self-assigned this Dec 12, 2024
@kazcw kazcw moved this from ❓New to 👁️ Code review in Issues Board Dec 12, 2024
@mergify mergify bot closed this as completed in #11852 Dec 16, 2024
@github-project-automation github-project-automation bot moved this from 👁️ Code review to 🟢 Accepted in Issues Board Dec 16, 2024
@farmaazon farmaazon moved this from 🟢 Accepted to 🗄️ Archived in Issues Board Jan 2, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
-gui d-easy Difficulty: little prior knowledge required
Projects
Status: 🗄️ Archived
Development

Successfully merging a pull request may close this issue.

3 participants