aegatlin

aegatlin

I am trying to destructure a tuple in a case statement and I am getting a warning that confuses me. It passes my test case, so it works, but the linter is giving me a warning and I’m not sure how to handle it. Am I doing a bad practice? I have a simplified scenario that demonstrates the warning below.

def test(x) do
  case x do
    tuple when is_tuple(tuple) ->
      {v1, v2} = tuple
      IO.puts(v1)
      IO.puts(v2)
  end
end

The warning is

incompatible types:
    tuple() !~ {var1, var2}
in expression:
    # [file path]
    {v1, v2} = x
where "x" was given the type tuple() in:
    # [file path]
    is_tuple(x)
where "x" was given the type {var1, var2} in:
    # [file path]
    {v1, v2} = x

Showing Posts 1 to 5

kip

kip

ex_cldr Core Team

I don’t know the source of the warning, but it would be more idiomatic to remember that case clauses are match expressions so you can destructure more simply:

def test(x) do
  case x do
    {v1, v2} ->
      IO.puts(v1)
      IO.puts(v2)
  end
end
Sebb

Sebb

What is this linter you are using?
(Whatever it is, it just states, that not all tuples are 2-tuples.)

Qqwy

Qqwy

TypeCheck Core Team

And if the only input you ever expect in your function is an arity-2 tuple, then you can also pattern-match in the function clause itself:

def test({v1, v2}) do
  IO.puts(v1)
  IO.puts(v2)
end
aegatlin

aegatlin OP

Interestingly, the linter shows the warning even with a guard clause of ... when is_tuple(x) and tuple_size(x) == 2.

The linter is elixir-ls via the vscode wrapper for it. The method-level/case-level destructing does not produce the linter warning, which is why I marked the problem as solved (thank you all for your feedback :D). But, it still does seem a curious warning.

josevalim

josevalim

Creator of Elixir

Correct. This will be fixed in v1.13.

— All posts loaded —

Where Next? Top

Trending in Questions Top

stjefim
Hello! Suppose you are building workflow (order / task / payment) processing system with the following requirements: Each workflow con...
New
jonnycharles
I’m in search of an Elixir library that offers PDF generation capabilities similar to Ruby’s Prawn. While there have been discussions abo...
New
spammy
I’m looking to build a personal workflow to quickly deploy web applications written in elixir/phoenix, for local consumption (ie not on t...
New
dli
Before I dive in myself, did anyone successfully sprinkle Hologram into their existing LiveView app? Looking for hints regarding: Addi...
New
roeland
Kia ora, We have been using elixir-google-api to connect to Google Drive. However, with the updates to Tesla due to CVEs this is now bro...
New
bottlenecked
Hi all, I wanted to ask how the community is dealing with post-release steps. Today we have Ecto migrations, which make sure that the db...
New
rahultumpala
Hello, I have an Elixir backend that implements a custom protocol over TCP. I want to load test the backend and assess the performance o...
New

Other Trending Topics Top

JesseHerrick
Hey, I’m Jesse and I’m the main contributor behind Dexter, a full-featured, lightning-fast Elixir LSP optimized for large codebases. It s...
New
jimsynz
Beam Bots (or just BB for short) is a framework for building fault-tolerant robotics applications in Elixir using familiar OTP patterns. ...
New
mcass19
ExRatatui lets you cook up rich terminal UIs in Elixir, powered by Rust’s ratatui via Rustler NIFs. Build interactive terminal applicatio...
New
Damirados
Hello everyone. After busy few months I am happy to announce v0.1.0 of Emerge & Solve. They are GUI (Emerge) and State management (S...
New
netoum
Corex is an accessible, unstyled UI component library for Phoenix that integrates Zag.js state machines using Vanilla JavaScript and Live...
New
ausimian
Emily is an Elixir library that runs Nx computations on Apple’s MLX. Install it as the default Nx backend and Nx, defn, Axon, Nx.Serving,...
New

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews