JetBrains Plugin - Recursive Definition Inspection

typedb-osi / typeql-plugin-jetbrains

TypeQL plugin for JetBrains

MIT License

10 stars 6 forks source link

Open BFergerson opened 2 years ago

BFergerson commented 2 years ago

define

    a sub entity,
        has a;

The above definition is valid syntactically but invalid semantically.

flyingsilverfin commented 2 years ago

What's the goal of this issue @BFergerson ? A syntax highlighter/handler generally doesn't catch semantic errors, right?

BFergerson commented 2 years ago

JetBrains goes far beyond syntax. Why not implement that functionality?