Search results

Make type variables scoped

L-Type systemIssues related to the Swarm language type system.Issues related to the Swarm language type system.

Z-FeatureA new feature to be added to the game.A new feature to be added to the game.

Status: Closed (completed).

#2168 In swarm-game/swarm;

· by xsebek was closed on Oct 19, 2024

REPL does not look through type aliases when deciding how to interpret input

BugThe observed behaviour is incorrect or unexpected.The observed behaviour is incorrect or unexpected.

C-Low Hanging FruitIdeal issue for new contributors.Ideal issue for new contributors.

G-REPLAn issue having to do with the REPL.An issue having to do with the REPL.

L-Type systemIssues related to the Swarm language type system.Issues related to the Swarm language type system.

S-ModerateThe fix or feature would substantially improve user experience.The fix or feature would substantially improve user experience.

Z-User ExperienceThis issue seeks to make the game more enjoyable to play.This issue seeks to make the game more enjoyable to play.

Status: Closed (completed).

#1900 In swarm-game/swarm;

· by byorgey was closed on Jun 19, 2024

Poor type error message for Int used in function context

BugThe observed behaviour is incorrect or unexpected.The observed behaviour is incorrect or unexpected.

C-Low Hanging FruitIdeal issue for new contributors.Ideal issue for new contributors.

L-Error reportingReporting language or runtime errors to the player.Reporting language or runtime errors to the player.

L-Type systemIssues related to the Swarm language type system.Issues related to the Swarm language type system.

Z-User ExperienceThis issue seeks to make the game more enjoyable to play.This issue seeks to make the game more enjoyable to play.

Status: Closed (completed).

#1888 In swarm-game/swarm;

· by byorgey was closed on Jun 23, 2024

path type mentions entity which is not a real type

BugThe observed behaviour is incorrect or unexpected.The observed behaviour is incorrect or unexpected.

C-Low Hanging FruitIdeal issue for new contributors.Ideal issue for new contributors.

L-CommandsBuilt-in commands (e.g. move, try, if, ...) in the Swarm language.Built-in commands (e.g. move, try, if, ...) in the Swarm language.

L-Type systemIssues related to the Swarm language type system.Issues related to the Swarm language type system.

Status: Closed (completed).

#1547 In swarm-game/swarm;

· by byorgey was closed on May 21, 2024

Records

C-ProjectA larger project, more suitable for experienced contributors.A larger project, more suitable for experienced contributors.

L-Language designIssues relating to the overall design of the Swarm language.Issues relating to the overall design of the Swarm language.

L-Type inferenceThe process of inferring the type of a Swarm expression.The process of inferring the type of a Swarm expression.

L-Type systemIssues related to the Swarm language type system.Issues related to the Swarm language type system.

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.

Z-FeatureA new feature to be added to the game.A new feature to be added to the game.

Status: Closed (completed).

#1093 In swarm-game/swarm;

· by byorgey was closed on Mar 25, 2023

Add the scope of definition to its constructor

C-Low Hanging FruitIdeal issue for new contributors.Ideal issue for new contributors.

L-Type systemIssues related to the Swarm language type system.Issues related to the Swarm language type system.

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-EditorsInvolves editor support.Involves editor support.

Z-Developer ExperienceThis issue seeks to make life easier for developers writing Scenarios or other Swarm code.This issue seeks to make life easier for developers writing Scenarios or other Swarm code.

Status: Closed (completed).

#997 In swarm-game/swarm;

· by xsebek was closed on Jun 19, 2024

Void type

C-Low Hanging FruitIdeal issue for new contributors.Ideal issue for new contributors.

L-Type systemIssues related to the Swarm language type system.Issues related to the Swarm language type system.

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.

Z-FeatureA new feature to be added to the game.A new feature to be added to the game.

Status: Closed (completed).

#665 In swarm-game/swarm;

· by byorgey was closed on Oct 19, 2022

Module types

C-ProjectA larger project, more suitable for experienced contributors.A larger project, more suitable for experienced contributors.

L-Type inferenceThe process of inferring the type of a Swarm expression.The process of inferring the type of a Swarm expression.

L-Type systemIssues related to the Swarm language type system.Issues related to the Swarm language type system.

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.

Z-FeatureA new feature to be added to the game.A new feature to be added to the game.

Z-RefactoringThis issue is about restructuring the code without changing the behaviour to improve code quality.This issue is about restructuring the code without changing the behaviour to improve code quality.

Z-ResearchThis issue requires inventing something new and/or studying research papers for clues.This issue requires inventing something new and/or studying research papers for clues.

Status: Not planned (skipped).

#636 In swarm-game/swarm;

· by byorgey was closed on Jan 2, 2023

Generalize properly when inferring the type of a bind

BugThe observed behaviour is incorrect or unexpected.The observed behaviour is incorrect or unexpected.

C-Moderate EffortShould take a moderate amount of time to address.Should take a moderate amount of time to address.

L-Language designIssues relating to the overall design of the Swarm language.Issues relating to the overall design of the Swarm language.

L-Type systemIssues related to the Swarm language type system.Issues related to the Swarm language type system.

S-ModerateThe fix or feature would substantially improve user experience.The fix or feature would substantially improve user experience.

Z-ResearchThis issue requires inventing something new and/or studying research papers for clues.This issue requires inventing something new and/or studying research papers for clues.

Status: Closed (completed).

#351 In swarm-game/swarm;

· by xsebek was closed on Sep 9, 2023

Unification Bug in Typechecker

I-Expected BehaviorThe reported behavior is not actually a bug. Consider converting to a user experience issue.The reported behavior is not actually a bug. Consider converting to a user experience issue.

L-Type systemIssues related to the Swarm language type system.Issues related to the Swarm language type system.

Z-User ExperienceThis issue seeks to make the game more enjoyable to play.This issue seeks to make the game more enjoyable to play.

Status: Closed (completed).

#321 In swarm-game/swarm;

· by noahyor was closed on Apr 20, 2022

Ability to include one file of definitions in another

C-ProjectA larger project, more suitable for experienced contributors.A larger project, more suitable for experienced contributors.

L-Language designIssues relating to the overall design of the Swarm language.Issues relating to the overall design of the Swarm language.

L-Type systemIssues related to the Swarm language type system.Issues related to the Swarm language type system.

S-ModerateThe fix or feature would substantially improve user experience.The fix or feature would substantially improve user experience.

Z-FeatureA new feature to be added to the game.A new feature to be added to the game.

Z-User ExperienceThis issue seeks to make the game more enjoyable to play.This issue seeks to make the game more enjoyable to play.

Status: Closed (completed).

#208 In swarm-game/swarm;

· by xsebek was closed on Sep 30, 2022

Recursive types

C-ProjectA larger project, more suitable for experienced contributors.A larger project, more suitable for experienced contributors.

L-Language designIssues relating to the overall design of the Swarm language.Issues relating to the overall design of the Swarm language.

L-Type systemIssues related to the Swarm language type system.Issues related to the Swarm language type system.

S-ModerateThe fix or feature would substantially improve user experience.The fix or feature would substantially improve user experience.

Z-FeatureA new feature to be added to the game.A new feature to be added to the game.

Status: Closed (completed).

#154 In swarm-game/swarm;

· by xsebek was closed on Jun 6, 2024