Issues

• Separation of concerns in unifier and solver

  enhancement
  Task

  boltlang/Bolt#85 · Filter by author samvv opened on Jun 13, 2026
  

• Add a diagnostic regarding loss of polymorphism on mutually recursive functions

  boltlang/Bolt#83 · Filter by author samvv opened on Dec 28, 2025
  

• Support seamless heterogeneous computing for web and server

  blocked
  Feature

  boltlang/Bolt#79 · Filter by author samvv opened on May 9, 2025
  

• Implement kind inference

  enhancementpriority:normaltypechecker
  Feature

  boltlang/Bolt#69 · Filter by author samvv opened on Feb 14, 2025 · 0.1.0
  

• Host the Bolt compiler in its own language

  enhancementpriority:low
  Feature

  boltlang/Bolt#68 · Filter by author samvv opened on Feb 14, 2025 · 0.2.0
  

• Add support for anonymous functions

  codegenenhancementlexer/parsertypechecker
  Feature

  boltlang/Bolt#66 · Filter by author samvv opened on Jul 9, 2024 · 0.1.0
  1

  

• Add a separate pass to check for missing bindings

  enhancementtypechecker
  Feature

  boltlang/Bolt#62 · Filter by author samvv opened on Feb 19, 2024 · 0.1.0
  

• Create a debugging tool for visually exploring the current state of a running program

  blockeddiscussionenhancement
  boltlang/Bolt#60 · Filter by author samvv opened on Feb 19, 2024
  

• A test runner that prettifies assert statements

  blockedenhancement
  boltlang/Bolt#58 · Filter by author samvv opened on Feb 19, 2024

• Add support for shorthand operator declarations

  enhancementin progresslexer/parsertypechecker
  boltlang/Bolt#57 · Filter by author samvv opened on Jan 22, 2024
  2

  

• Add full support for modules and module paths

  enhancementlexer/parsertypechecker
  boltlang/Bolt#56 · Filter by author samvv opened on Jan 22, 2024
  

• Implement AltPattern

  enhancementtypechecker
  boltlang/Bolt#55 · Filter by author samvv opened on Jan 22, 2024
  

• Type check fails on records when a polymorphic rest type is involved

  bugtypechecker
  boltlang/Bolt#53 · Filter by author samvv opened on Jan 21, 2024
  

• Return statements placed in invalid locations crash the compiler

  bugtypechecker
  boltlang/Bolt#52 · Filter by author samvv opened on Jun 15, 2023
  

• Support a shorthand syntax for match-expressions and other block-based syntax

  enhancementlexer/parserpriority:low
  boltlang/Bolt#50 · Filter by author samvv opened on Jun 12, 2023
  

• It should not be possible to create infinite datatypes

  bugpriority:hightypechecker
  boltlang/Bolt#48 · Filter by author samvv opened on Jun 2, 2023
  

• Add support for variable (re)assignment

  enhancementtypechecker
  boltlang/Bolt#44 · Filter by author samvv opened on Jun 2, 2023
  

• Allow for deferred assignment

  enhancementtypechecker
  boltlang/Bolt#43 · Filter by author samvv opened on Jun 2, 2023
  

• Add support for algebraic effects

  enhancementhelp wantedtypechecker
  boltlang/Bolt#40 · Filter by author samvv opened on Sep 23, 2022
  

• Let-declarations with duplicate names are not detected as being wrong

  bugtypechecker
  boltlang/Bolt#35 · Filter by author samvv opened on Sep 11, 2022
  

• Add type unification boundaries to improve diagnostic messages

  enhancementtypechecker
  boltlang/Bolt#33 · Filter by author samvv opened on Sep 10, 2022
  1

  

• Add support for typeclasses

  codegenenhancementlexer/parserpriority:hightypechecker
  boltlang/Bolt#29 · Filter by author samvv opened on Sep 10, 2022
  2

  

• Create a fully working WebAssembly back-end

  codegenenhancementpriority:normalwebassembly
  boltlang/Bolt#6 · Filter by author samvv opened on Jun 16, 2020
  2