Pattern matching on tuples or custom types produces broken JavaScript · gleam-lang/gleam#5680

2026-05-03T12:53:06.000Z

The following Gleam code ```gleam pub fn main() { case #(1, 2) { #(a, _) -> a } {2 + 4} * 2 let a = 42 Nil } ``` produces this Javascript: ```js export function main() { let $ = [1, 2]; let a = $[0]; a (2 + 4) * 2; let a = 42; return undefined; } ``` Here, 2 things go wrong: 1. the `a` binding does not reserve the name in the enclosing scope, causing a parse error. 2. The expression inside the arm of the pattern is not followed by a semicolon. The line after it is constructed in such a way that this is now parsed as a function call, changing the meaning of this program. Both of these can be triggered independently. ~ 💜

(5 留言) (0 反應) (0 負責人)Rust (21,417 star) (960 fork)batch import

help wantedhigh priority

描述

The following Gleam code

pub fn main() {
  case #(1, 2) {
    #(a, _) -> a
  }
  {2 + 4} * 2
  let a = 42
  Nil
}

produces this Javascript:

export function main() {
  let $ = [1, 2];
  let a = $[0];
  a
  (2 + 4) * 2;
  let a = 42;
  return undefined;
}

Here, 2 things go wrong:

the a binding does not reserve the name in the enclosing scope, causing a parse error.
The expression inside the arm of the pattern is not followed by a semicolon. The line after it is constructed in such a way that this is now parsed as a function call, changing the meaning of this program.

Both of these can be triggered independently.

~ 💜

貢獻者指南

技術棧: rustjavascript
領域: tooling
議題類型: bug
難度: 3
預計時間: 1-3 hours
活動狀態: active
清晰度: clear
前置要求: Gleam basicsJavaScript output understandingFamiliarity with compiler codegen
新手友善度: 40
研究方向: Investigate the Gleam compiler's JavaScript code generation for pattern matching. The bug involves variable scoping in let bindings and missing semicolons after expression arms. Look at the compilation of case expressions in the JavaScript backend, likely in files such as 'src/codegen/js.rs' or similar. Check how patterns are compiled and how expressions are sequenced to ensure proper semicolons and scope.