Paths:

• Nested types may only be declared inside modules/classes/structs

Reopening:

• Class may only be reopened as class
• Struct may only be reopened as struct
• Module may only be reopened as module
• Enum may only be reopened as enum
• Annotation may only be reopened as annotation
• Lib may only be reopened as lib
• If reopened class/struct/module is generic, original declaration must also be generic and have the same set of type variables
• An alias/typedef/C-struct/C-union may not be reopened at all

Inheritance:

• If superclass/superstruct or included/extended module is generic, it must be supplied with type arguments
• A class/struct may not inherit directly from Enum
• A class may not inherit from from non-class
• A struct may not inherit from non-struct
• If a class/struct reopening specifies explicit supertype, it must be the same as original one
• A struct may not inherit from non-abstract struct
• Inclusion/extension target must be a module

Enums:

• Enum base type must be an integer type
• Enum must have at least one member
• Enum reopening can't add more constants
• Values of enum members may not overflow its base type
• Flags enum can't redefine None member to non-zero
• Flags enum can't redefine All member
• If enum base type is Int32, all its values must also be of Int32 kind
• Enum members must have distinct names

Annotation (general):

• Annotation expression must refer to an annotation type
• Annotation expression must not have duplicated named arguments

Extern annotation (structs):

• annotation on non-generic struct must have a single named argument union with boolean literal as it value

Link annotation (libraries):

• The only allowed arguments are lib (a string literal), ldflags (a string literal), static (a boolean literal), framework (a string literal) and pkg_config (a string literal). They may be passed as positional in the specified order (except pkg_config which must be named), named or using mixed notation
• At least one argument must be specified
• The same argument may not be specified more than once
• Annotation with static attribute is deprecated
• Annotation with positional arguments is deprecated

CallConvention annotation (libraries):

• At most one annotation may be specified for a given library
• Annotation must have a single positional argument, a string literal corresponding to one of LLVM::CallConvention values

Reference:
https://github.com/crystal-lang/crystal/blob/master/src/compiler/crystal/semantic/semantic_visitor.cr
https://github.com/crystal-lang/crystal/blob/master/src/compiler/crystal/semantic/top_level_visitor.cr

require "./benchmarks"
require "./objects"
require "./symbols"
require "./lexer"
require "option_parser"

It shows Cannot resolve file 'option_parser.cr' but option_parser comes from the Crystal SDK

If you want to check, you can use my project https://github.com/MarioAriasC/monyet/blob/main/src/monyet.cr

Cheers

E.g. X should be resolvable here:

macro foo
  class X

  end
end

foo

x = X.new

In Ruby you get this little icon off to the side of classes and modules which have definitions that are split across multiple files

Clicking it reveals a list of files containing a partial declaration for that module

Currently macro bodies are represented as opaque strings. The goal is to parse their content and inject into the original literal to enable highlighting, resolve and all available code insight features

Reference: https://github.com/crystal-lang/shards/blob/master/docs/shard.yml.adoc

just getting started with Crystal, installed it via homebrew, trying to create a project but can't find a folder which this plugin will accept but none seems to fit :/

os: Monterey 13.3.1 (Apple Silicon)
crystal: 1.8.0
shards: 0.17.3
plugin: 0.7-2023.1

output of /opt/homebrew/opt/crystal/bin/crystal env:

CRYSTAL_CACHE_DIR=/Users/user/.cache/crystal
CRYSTAL_PATH=lib:/opt/homebrew/Cellar/crystal/1.8.0/libexec/../share/crystal/src
CRYSTAL_VERSION=1.8.0
CRYSTAL_LIBRARY_PATH=/opt/homebrew/Cellar/crystal/1.8.0/libexec/../../../../lib
CRYSTAL_OPTS=''

running the project with empty path gives:

/opt/homebrew/Cellar/crystal/1.8.0/bin/crystal run --progress /Users/user/dev/tmp/crtest/src/p3415crtest.cr
Showing last frame. Use --error-trace for full trace.

In Users/user/dev/tmp/crtest/src/p3415crtest.cr:1:1

 1 | # TODO: Write documentation for `P3415crtest`
     ^
Error: can't find file 'prelude'

Many icons are OK since they taken from the platform itself and change automatically when user switches on the "New UI", but some (like module's) are provided by plugin and must be accompanied by newer versions

Add page to "New Project" wizard to create stub application/library project similar to crystal init command

Didn't know how better to phrase this one, but seeing as you're working so quickly I figured I throw this small issue at you. Right now there's one major issue I've noticed in the syntax highlighting, and that's that chained function calls have each part of the chain highlighted with the same color, which doesn't look great.

With the Ruby syntax highlighting in RubyMine, and the Crystal syntax highlighting in VS Code it looks like this which breaks up the monotony a bit and makes things easier to read.

The plugin finds the crystal executable path invalid even though it is 100% valid and works in my shell.

Host :

OS: Windows 10
Arch: x86_64
Crystal: 1.6.0
Shards: 0.17.0

• Fix restrict grammar for name and supertype in type def (crystal-lang/crystal@bd83c55)
• Assignment to global regex match index is not allowed (crystal-lang/crystal@3334369)
• Error when declaring a constant within another constant declaration (crystal-lang/crystal@002e065)
• Fix calls with do-end blocks within index operators (crystal-lang/crystal@5e3ea1c)
• Warn on missing space before colon in type declaration/restriction (crystal-lang/crystal@63e46eb)
• Allow namespaced Paths as type names for lib (crystal-lang/crystal@8a7da87)
• Fix global capture vars ending with zero, e.g. $10? (crystal-lang/crystal@47ae3d7)
• Remove oct/bin floating point literals (crystal-lang/crystal@c05049d)

Noob question 2: how do I add the "build" configuration?
Just naively adding "build" to compiler parameters gets me

/opt/homebrew/Cellar/crystal/1.8.0/bin/crystal run --progress build /Users/user/dev/tmp/crtest/src/p3415crtest.cr

which predictably results in

Error: file 'build' does not exist

upd: for posterity

os: Monterey 13.3.1 (Apple Silicon)
crystal: 1.8.0
shards: 0.17.3
plugin: 0.7-2023.1

Cases to support:

• Calls:
  • Multiple block arguments
  • Splat argument after double splat argument
  • Out argument after double splat argument
  • Ordinary (named/positional) argument after double splat
• Blocks:
  • Multiple splat parameters
• Generics:
  • Multiple splat type parameters
• Methods/Functions/Macros:
  • Multiple splat parameters
  • Non-block parameters after double splat parameter
  • Any parameters after block parameter
  • More than one parameter in setter method

In project settings we can suggest Crystal installations (via scoop) similar to how it's done for WSL

Current cases:

• Splat in assignment left-hand side (supported since 1.3)
• Global match index with zero (some cases are supported since 1.7)
• ASM options (new added in 1.2)

When I try to see the structure of this file this file: https://github.com/MarioAriasC/monyet/blob/main/src/parser.cr

java.lang.NullPointerException
	at org.crystal.intellij.psi.CrProcType.getInputList(CrProcType.kt:20)
	at org.crystal.intellij.presentation.CrystalDefinitionPresentationBase.appendType(CrystalDefinitionPresentationBase.kt:91)
	at org.crystal.intellij.presentation.CrystalDefinitionPresentationBase.appendRHS(CrystalDefinitionPresentationBase.kt:66)
	at org.crystal.intellij.presentation.CrystalDefinitionPresentationBase.getPresentableText(CrystalDefinitionPresentationBase.kt:20)
	at org.crystal.intellij.presentation.CrystalDefinitionPresentationBase.getPresentableText(CrystalDefinitionPresentationBase.kt:15)
	at com.intellij.ide.projectView.PresentationData.updateFrom(PresentationData.java:168)
	at com.intellij.ide.util.treeView.smartTree.TreeElementWrapper.update(TreeElementWrapper.java:42)
	at com.intellij.ide.util.treeView.PresentableNodeDescriptor.getUpdatedPresentation(PresentableNodeDescriptor.java:78)
	at com.intellij.ide.util.treeView.PresentableNodeDescriptor.update(PresentableNodeDescriptor.java:30)
	at com.intellij.ui.tree.StructureTreeModel$Node.update(StructureTreeModel.java:455)
	at com.intellij.ui.tree.StructureTreeModel$Node.<init>(StructureTreeModel.java:436)
	at com.intellij.ui.tree.StructureTreeModel$Node.<init>(StructureTreeModel.java:429)
	at com.intellij.ui.tree.StructureTreeModel.getValidChildren(StructureTreeModel.java:390)
	at com.intellij.ui.tree.StructureTreeModel.validateChildren(StructureTreeModel.java:299)
	at com.intellij.ui.tree.StructureTreeModel$Node.isLeaf(StructureTreeModel.java:559)
	at com.intellij.ui.tree.StructureTreeModel.isLeaf(StructureTreeModel.java:335)
	at com.intellij.ui.tree.LeafState.get(LeafState.java:64)
	at com.intellij.ui.tree.AsyncTreeModel$CmdGetChildren.load(AsyncTreeModel.java:574)
	at com.intellij.ui.tree.AsyncTreeModel$CmdGetChildren.getNode(AsyncTreeModel.java:547)
	at com.intellij.ui.tree.AsyncTreeModel$Command.get(AsyncTreeModel.java:440)
	at com.intellij.ui.tree.AsyncTreeModel$Command.get(AsyncTreeModel.java:406)
	at com.intellij.util.concurrency.Invoker$Task.run(Invoker.java:316)
	at com.intellij.openapi.application.impl.ApplicationImpl.tryRunReadAction(ApplicationImpl.java:1084)
	at com.intellij.openapi.progress.util.ProgressIndicatorUtils.lambda$runInReadActionWithWriteActionPriority$0(ProgressIndicatorUtils.java:75)
	at com.intellij.openapi.progress.util.ProgressIndicatorUtils.runActionAndCancelBeforeWrite(ProgressIndicatorUtils.java:158)
	at com.intellij.openapi.progress.util.ProgressIndicatorUtils.lambda$runWithWriteActionPriority$1(ProgressIndicatorUtils.java:115)
	at com.intellij.openapi.progress.ProgressManager.lambda$runProcess$0(ProgressManager.java:57)
	at com.intellij.openapi.progress.impl.CoreProgressManager.lambda$runProcess$2(CoreProgressManager.java:188)
	at com.intellij.openapi.progress.impl.CoreProgressManager.lambda$executeProcessUnderProgress$12(CoreProgressManager.java:624)
	at com.intellij.openapi.progress.impl.CoreProgressManager.registerIndicatorAndRun(CoreProgressManager.java:698)
	at com.intellij.openapi.progress.impl.CoreProgressManager.computeUnderProgress(CoreProgressManager.java:646)
	at com.intellij.openapi.progress.impl.CoreProgressManager.executeProcessUnderProgress(CoreProgressManager.java:623)
	at com.intellij.openapi.progress.impl.ProgressManagerImpl.executeProcessUnderProgress(ProgressManagerImpl.java:66)
	at com.intellij.openapi.progress.impl.CoreProgressManager.runProcess(CoreProgressManager.java:175)
	at com.intellij.openapi.progress.ProgressManager.runProcess(ProgressManager.java:57)
	at com.intellij.openapi.progress.util.ProgressIndicatorUtils.runWithWriteActionPriority(ProgressIndicatorUtils.java:112)
	at com.intellij.openapi.progress.util.ProgressIndicatorUtils.runInReadActionWithWriteActionPriority(ProgressIndicatorUtils.java:75)
	at com.intellij.util.concurrency.Invoker.invokeSafely(Invoker.java:205)
	at com.intellij.util.concurrency.Invoker.lambda$offerSafely$0(Invoker.java:183)
	at com.intellij.util.concurrency.Invoker$Background.lambda$offer$0(Invoker.java:486)
	at com.intellij.util.concurrency.BoundedTaskExecutor.doRun(BoundedTaskExecutor.java:246)
	at com.intellij.util.concurrency.BoundedTaskExecutor.access$200(BoundedTaskExecutor.java:32)
	at com.intellij.util.concurrency.BoundedTaskExecutor$1.execute(BoundedTaskExecutor.java:225)
	at com.intellij.util.ConcurrencyUtil.runUnderThreadName(ConcurrencyUtil.java:213)
	at com.intellij.util.concurrency.BoundedTaskExecutor$1.run(BoundedTaskExecutor.java:214)
	at java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128)
	at java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628)
	at java.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1$1.run(Executors.java:668)
	at java.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1$1.run(Executors.java:665)
	at java.base/java.security.AccessController.doPrivileged(Native Method)
	at java.base/java.util.concurrent.Executors$PrivilegedThreadFactory$1.run(Executors.java:665)
	at java.base/java.lang.Thread.run(Thread.java:829)

Inspections to add:

• Using keys not supported by the shards.yml specification
• Missing required keys (like "name" and "version")

See shards.yml specification for reference

• No error message on invalid ASM syntax since 1.2
• "unwind" is supported in ASM options since 1.2.1 (crystal-lang/crystal@0dc389f)
• Splats in multiple assignments since 1.3 (crystal-lang/crystal@9e52bc9)
• Explicit return types in proc literals since 1.3 (crystal-lang/crystal@fe810b3)
• Parser error with newline in parenthesized expression is fixed in 1.4 (crystal-lang/crystal@8d3155e)
• Proc pointers with global path and top-level method references are supported since 1.4 (crystal-lang/crystal@40d7a2a)
• Generic types with empty type argument list are supported since 1.4 (crystal-lang/crystal@68617c8)

For example, the code
Foo { a: 123 }
should be converted to
Foo { "a" => 123 }

Reference:
https://github.com/crystal-lang/crystal/blob/master/src/compiler/crystal/semantic/type_lookup.cr

• Implement constant reference resolve
• Report constant redefinitions
• Show constants in File Structure tool window
• Allow searching constants via "Go To Symbol..."

In the example below both references to C should be resolved

module M
  class C
  end
end

a = C.new

include M

b = C.new

Crystal compiler reports error when case-expressions contains duplicate conditions in when/in. For example the code above should be highlighted as red:

case x; when {1, 2}; 2; when {1, 2}; end

• Fix \{{...}} syntax in macro inside comments (crystal-lang/crystal@a37e5df)
• Disallow duplicate free variables in methods (crystal-lang/crystal@60f17f5)
• Disallow empty parameter and argument names (crystal-lang/crystal@8bdd9e5)
• Disallow duplicate parameter names in fun (crystal-lang/crystal@9b8870c)
• Support method/macro parameter annotations (crystal-lang/crystal@d173d12)

• Warn on suffix-less integer literals outside Int64's range (crystal-lang/crystal@8b801a5)

This can be used for checking of enum constants and static arrays

As of 1.3 expression splat can only be used as:

• call argument
• argument of a qualified assignment of the form a.b = (*c) which is semantically is also a call of b= method

In 1.4 it's also allowed to use splats as assignment left-hand side (e.g. *a = b, c). This case is covered by #11

I received new versions of this plugin (see https://plugins.jetbrains.com/plugin/17578-crystal/versions) which seem to be out-of-sync with this GitHub repository.

It would be nice if I could read up, what changed in a CHANGELOG.md here at GitHub (if the plugin is still open source).