-
Notifications
You must be signed in to change notification settings - Fork 3
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Separation of concerns in unifier and solver
enhancementNew feature or requestNew feature or requestStatus: Open.- Status: Open.#83 In boltlang/Bolt;
Support seamless heterogeneous computing for web and server
blockedAn issue that cannot be solved due to other issues being openAn issue that cannot be solved due to other issues being openStatus: Open.Implement kind inference
enhancementNew feature or requestNew feature or requestpriority:normalAll issues that should be solved after the issues with high priorityAll issues that should be solved after the issues with high prioritytypecheckerAll issues having something to do with the type-checking algortithmsAll issues having something to do with the type-checking algortithmsStatus: Open.Host the Bolt compiler in its own language
enhancementNew feature or requestNew feature or requestpriority:lowIf possible, oher issues should be taken care of firstIf possible, oher issues should be taken care of firstStatus: Open.Add support for anonymous functions
codegenIssues relating to the transformation of an AST to a target languageIssues relating to the transformation of an AST to a target languageenhancementNew feature or requestNew feature or requestlexer/parserAll issues having something to do with reading tokens into an ASTAll issues having something to do with reading tokens into an ASTtypecheckerAll issues having something to do with the type-checking algortithmsAll issues having something to do with the type-checking algortithmsStatus: Open.Add a separate pass to check for missing bindings
enhancementNew feature or requestNew feature or requesttypecheckerAll issues having something to do with the type-checking algortithmsAll issues having something to do with the type-checking algortithmsStatus: Open.Create a debugging tool for visually exploring the current state of a running program
blockedAn issue that cannot be solved due to other issues being openAn issue that cannot be solved due to other issues being opendiscussionThis issue is just a suggestion for an idea that needs to be worked outThis issue is just a suggestion for an idea that needs to be worked outenhancementNew feature or requestNew feature or requestStatus: Open.#60 In boltlang/Bolt;A test runner that prettifies
assertstatementsblockedAn issue that cannot be solved due to other issues being openAn issue that cannot be solved due to other issues being openenhancementNew feature or requestNew feature or requestStatus: Open.#58 In boltlang/Bolt;Add support for shorthand operator declarations
enhancementNew feature or requestNew feature or requestin progressThis issue is being worked on by someoneThis issue is being worked on by someonelexer/parserAll issues having something to do with reading tokens into an ASTAll issues having something to do with reading tokens into an ASTtypecheckerAll issues having something to do with the type-checking algortithmsAll issues having something to do with the type-checking algortithmsStatus: Open.#57 In boltlang/Bolt;Add full support for modules and module paths
enhancementNew feature or requestNew feature or requestlexer/parserAll issues having something to do with reading tokens into an ASTAll issues having something to do with reading tokens into an ASTtypecheckerAll issues having something to do with the type-checking algortithmsAll issues having something to do with the type-checking algortithmsStatus: Open.#56 In boltlang/Bolt;Implement AltPattern
enhancementNew feature or requestNew feature or requesttypecheckerAll issues having something to do with the type-checking algortithmsAll issues having something to do with the type-checking algortithmsStatus: Open.#55 In boltlang/Bolt;