Search results

Add a diagnostic regarding loss of polymorphism on mutually recursive functions

Status: Open.

#83 In boltlang/Bolt;

· samvv opened on Dec 28, 2025

Make use of 'provenance' in the type checker

Status: Open.

#82 In boltlang/Bolt;

· samvv opened on Dec 26, 2025

Support let rec

Status: Open.

#81 In boltlang/Bolt;

· samvv opened on Dec 26, 2025

Fix memory management of types, constraints and more

Status: Open.

#80 In boltlang/Bolt;

· samvv opened on Dec 26, 2025

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 open

Status: Open.

Feature

#79 In boltlang/Bolt;

· samvv opened on May 9, 2025

Implement a better build system

enhancementNew feature or requestNew feature or request

priority:lowIf possible, oher issues should be taken care of firstIf possible, oher issues should be taken care of first

Status: Open.

Feature

#78 In boltlang/Bolt;

· samvv opened on May 4, 2025

Add support for extensible records

enhancementNew feature or requestNew feature or request

priority:normalAll issues that should be solved after the issues with high priorityAll issues that should be solved after the issues with high priority

typecheckerAll issues having something to do with the type-checking algortithmsAll issues having something to do with the type-checking algortithms

Status: Open.

#74 In boltlang/Bolt;

· samvv opened on Apr 30, 2025

Cannot build ICU with -DUNISTR_FROM_CHAR_EXPLICIT=explicit -DUNISTR_FROM_STRING_EXPLICIT=explicit

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#70 In boltlang/Bolt;

· samvv opened on Feb 28, 2025

Implement kind inference

enhancementNew feature or requestNew feature or request

priority:normalAll issues that should be solved after the issues with high priorityAll issues that should be solved after the issues with high priority

typecheckerAll issues having something to do with the type-checking algortithmsAll issues having something to do with the type-checking algortithms

Status: Open.

Feature

#69 In boltlang/Bolt;

· samvv opened on Feb 14, 2025

·  

0.1.0

Host the Bolt compiler in its own language

enhancementNew feature or requestNew feature or request

priority:lowIf possible, oher issues should be taken care of firstIf possible, oher issues should be taken care of first

Status: Open.

Feature

#68 In boltlang/Bolt;

· samvv opened on Feb 14, 2025

·  

0.2.0

Eliminate the need for dot-notation

enhancementNew feature or requestNew feature or request

priority:lowIf possible, oher issues should be taken care of firstIf possible, oher issues should be taken care of first

Status: Open.

Feature

#67 In boltlang/Bolt;

· samvv opened on Feb 14, 2025

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 language

enhancementNew feature or requestNew feature or request

lexer/parserAll issues having something to do with reading tokens into an ASTAll issues having something to do with reading tokens into an AST

typecheckerAll issues having something to do with the type-checking algortithmsAll issues having something to do with the type-checking algortithms

Status: Open.

Feature

#66 In boltlang/Bolt;

· samvv opened on Jul 9, 2024

·  

0.1.0