Issues

• [feature] Discussion: one deref operator (op -> and unary op * folded into a single *T-returning operator)

  CompatibilityDocumentationFeature RequestNeeds DiscussionSema - Check PassSemantic Analysis
  Feature

  kairolang/kairo#111 · Filter by author Ze7111 opened on Oct 24, 2026

• [task] Docs: drop .* and ->* from the operator-overloading page (they are not overloadable since 7e4d5330)

  DocumentationGood First Issue
  Task

  kairolang/kairo#110 · Filter by author Ze7111 opened on Oct 24, 2026

• [feature] Module pinning: module foo in a module.k names the library, not its folder name or the -I basename

  CLICompatibilityDocumentationFeature RequestNeeds DiscussionParsingSema - Resolve Pass
  Feature

  kairolang/kairo#109 · Filter by author Ze7111 opened on Oct 24, 2026

• [feature] Synthesize a repr() for every type so f-strings print records and enums by value

  DebuggingFeature RequestNeeds DiscussionSema - Lower PassSemantic AnalysisStandard LibraryUser Experience (UX)
  Feature

  kairolang/kairo#107 · Filter by author Ze7111 opened on Oct 24, 2026

• [feature] Make void a first-class unit type: size 0, alignment 1

  Code GenerationDocumentationFeature RequestNeeds DiscussionSemantic Analysis
  Feature

  kairolang/kairo#106 · Filter by author Ze7111 opened on Oct 24, 2026

• [feature] Type layout attributes: honor @packed / @align(N), add @pack(N), @bitfield(N), @voided, and diagnose unknown attributes

  BugCode GenerationCompatibilityFeature RequestNeeds DiscussionSemantic Analysis
  Feature

  kairolang/kairo#105 · Filter by author Ze7111 opened on Oct 24, 2026

• [bug] Stage 0 segfaults (exit 139) on an import cycle instead of reporting it

  BugBuild SystemCompilerError Handling
  Bug

  kairolang/kairo#104 · Filter by author Ze7111 opened on Oct 24, 2026

• [bug] string owns heap memory but has no destructor or copy: every f-string leaks, and a destructor alone would double-free

  BugMemory ManagementNeeds DiscussionSemantic AnalysisStandard Library
  Bug

  kairolang/kairo#103 · Filter by author Ze7111 opened on Oct 24, 2026

• [bug] -I header directories all named include fail with R018E "duplicate module root", although none holds a .k file

  BugCLICompatibilityDiagnosticsSema - Resolve Pass
  Bug

  kairolang/kairo#102 · Filter by author Ze7111 opened on Oct 24, 2026

• [bug] -fsanitize never reaches clang: kairo rejects it, and kcc accepts it but leaves Kairo code uninstrumented

  BugCLICode GenerationCompatibilityDebugging
  Bug

  kairolang/kairo#101 · Filter by author Ze7111 opened on Oct 24, 2026

• [bug] A discarded value has no Kairo warning; x + 1 gets clang's C1119W instead, and an f-string gets nothing

  BugDiagnosticsSema - Check PassSemantic AnalysisUser Experience (UX)
  Bug

  kairolang/kairo#100 · Filter by author Ze7111 opened on Oct 24, 2026

• [bug] string == string has no operator (SC066E)

  BugLibrary SupportSemantic AnalysisStandard Library
  Bug

  kairolang/kairo#99 · Filter by author Ze7111 opened on Oct 24, 2026

• [bug] A payload enum's declared underlying type (derives u8) is ignored; the tag is always u32

  BugCodegenCompatibilitySema - Lower PassSemantic Analysis
  Bug

  kairolang/kairo#98 · Filter by author Ze7111 opened on Oct 24, 2026

• [bug] A poisoned cast argument cascades into SC063E naming '<literal>'

  BugDiagnosticsError HandlingGood First IssueSemantic Analysis
  Bug

  kairolang/kairo#97 · Filter by author Ze7111 opened on Oct 24, 2026

• [bug] unsafe { expr } in value position is typed as a one-element set literal

  BugDiagnosticsParsingSemantic Analysis
  Bug

  kairolang/kairo#96 · Filter by author Ze7111 opened on Oct 24, 2026

• Skip a field's default where the constructor assigns it first; lift the SC116E gate on sibling reads in generic defaults

  CodegenEnhancementPerformanceSema - Check PassSema - Lower Pass
  Feature

  kairolang/kairo#95 · Filter by author Ze7111 opened on Oct 24, 2026

• [bug] A struct literal evaluates its initializers in declaration order, not written order

  BugCodegenSema - Lower PassSemantic Analysis
  Bug

  kairolang/kairo#94 · Filter by author Ze7111 opened on Oct 24, 2026

• [bug] Reading a private field from outside its class has no Kairo diagnostic; clang reports it as CL001E

  BugDiagnosticsSema - Check PassSemantic Analysis
  Bug

  kairolang/kairo#93 · Filter by author Ze7111 opened on Oct 24, 2026

• [bug] A field assigned in a constructor is not initialized by it; a member with no default constructor fails in clang

  BugCodegenSema - Check PassSemantic Analysis
  Bug

  kairolang/kairo#92 · Filter by author Ze7111 opened on Oct 24, 2026

• [bug] A type nested in a generic class, named through an instance (L<i32>::P), loses the instance's arguments

  BlockedBugCodegenSema - Resolve PassSemantic Analysis
  Bug

  kairolang/kairo#91 · Filter by author Ze7111 opened on Oct 24, 2026

• [bug] Compound-assign, subscript, expression-body and generic transfers of a MOVE value are emitted as copies

  BugMemory ManagementSema - Check PassSema - Lower PassSemantic Analysis
  Bug

  kairolang/kairo#90 · Filter by author Ze7111 opened on Oct 24, 2026

• [bug] A const MOVE value passed by value is a copy no one reports until clang

  BugDiagnosticsMemory ManagementSema - Check PassSemantic Analysis
  Bug

  kairolang/kairo#89 · Filter by author Ze7111 opened on Oct 24, 2026

• [bug] emplace_back(x) on cxx::std::vector finds no viable overload (forwarding pack not deduced)

  BugCompatibilityLibrary SupportSema - Type PassSemantic Analysis
  Bug

  kairolang/kairo#88 · Filter by author Ze7111 opened on Oct 24, 2026

• [bug] An imported container of a MOVE element reads as COPY, so copying it reaches clang

  BugCompatibilityMemory ManagementSema - Check PassSemantic Analysis
  Bug

  kairolang/kairo#87 · Filter by author Ze7111 opened on Oct 24, 2026

• [Sema] Diagnose assignment through a base-typed lvalue (destroy-and-rebuild of a base subobject)

  DiagnosticsEnhancementNeeds DiscussionSema - Check PassSemantic Analysis
  Feature

  kairolang/kairo#86 · Filter by author Ze7111 opened on Oct 24, 2026