-
Notifications
You must be signed in to change notification settings - Fork 60
Open
Labels
C-Low Hanging FruitIdeal issue for new contributors.Ideal issue for new contributors.S-Nice to haveThe bug fix or feature would be nice but doesn't currently have much negative impact.The bug fix or feature would be nice but doesn't currently have much negative impact.T-CmdlineCommand-line flags and behaviorCommand-line flags and behaviorZ-FeatureA new feature to be added to the game.A new feature to be added to the game.
Description
We have swarm format
, and we have the LSP, but sometimes it might be nice to have a quick command-line-friendly way to fully parse + typecheck a .sw
file. Concretely, I propose adding a new subcommand swarm check
which is similar to swarm format
but also typechecks the indicated file, and prints any errors (or a brief "OK" message) to stdout.
Metadata
Metadata
Assignees
Labels
C-Low Hanging FruitIdeal issue for new contributors.Ideal issue for new contributors.S-Nice to haveThe bug fix or feature would be nice but doesn't currently have much negative impact.The bug fix or feature would be nice but doesn't currently have much negative impact.T-CmdlineCommand-line flags and behaviorCommand-line flags and behaviorZ-FeatureA new feature to be added to the game.A new feature to be added to the game.