hst337

hst337

Why map update syntax does not work in guards?

1> case [1, 2, 3] of
1>   X when #{x => 1}#{x => 2} =:= #{x => 2} -> X
1> end.
[1,2,3]

and

iex> case [1, 2, 3] do
...>   x when %{%{x: 1} | x: 2} == %{x: 2} -> x
...> end

Should I submit it as a bug, or is it intended?

First 10 of 12 Posts Switch mode

ityonemo

ityonemo

I don’t think that is supported, there’s still a few things in guards that haven’t made it over in the parser, for example I believe map_get is not supported.

hst337

hst337 OP

map_get is supported because it is a function, not an expression

iex(1)> case %{x: 1} do
...(1)>   x when :erlang.map_get(:x, x) == 1 -> x
...(1)> end
%{x: 1}
josevalim

josevalim

Creator of Elixir

IIRC Erlang supports only updates of literal values and I am not sure there is a need for it in Elixir because you could merge them at compile time if you need similar behavior.

trisolaran

trisolaran

What would be the use case for this? Isn’t the above guard checking whether 2 == 2? :thinking:

hst337

hst337 OP

What do you mean by literal values?

1> X = x.
2> M = #{x => 1}.
3> case 1 of
3>   Y when M#{X => Y} =:= #{x => 1} -> ok
3> end.
ok
josevalim

josevalim

Creator of Elixir

TIL! That’s news to me. :slight_smile:

It is something we could support then. Is there any use case for it though?

hst337

hst337 OP

I thought about something like

defguard is_same_struct?(left, right) when %{left | meta: nil} == %{right | meta: nil}

Or

defguard equal_request?(left, right) when %{left | timestamp: nil} == %{right | timestamp: nil}
hst337

hst337 OP

Or even more general and useful example

defguard field_polymorphic?(left_struct, right_struct) when %{left_struct | __struct__: nil} == %{right_struct | __struct__: nil}
josevalim

josevalim

Creator of Elixir

Hrm… good question. I wonder if that’s indeed the fastest way to compare maps in such scenarios?

hst337

hst337 OP

How would you compare them the other way? Key-by-key using :maps.iterator?

Where Next? Top

Trending in Discussions Top

AstonJ
As the title says, please share what you’ve been up to with Elixir. Whether that’s been learning it, looking into it, making stuff with i...
2977 91898 914
New
AstonJ
The obligatory hello world thread! Who are you and where are you from? :stuck_out_tongue:
4616 55835 594
New
byu
@chrismccord : I just saw the Extract AGENTS.md from Phoenix.new into phx.new generator commit to the phoenix project. My initial shotgu...
New
arcanemachine
I was working on an Ecto migration and I needed a timestamp. So, for the nth time, I looked up the different data types for timestamps, a...
New
type1fool
I just stumbled on a newly redesigned elixir-lang.org. :tada: It looks like @Software_Mansion did the work, and I think it is generally a...
New
alexslade
Fly’s CEO posted this recently - Turn And Face The Strange · The Fly Blog It says that Fly is going all-in on sprites, which is a worry ...
New
Herve37
We’re evaluating API mocking tools for OpenAPI-based projects and would love to hear what other teams are using. We’re particularly inte...
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
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
wintermeyer
There are three potential reasons for members of this forum to have a look at https://vutuv.de You are tired or annoyed of LinkedIn. Yo...
New

We're in Beta

About us Mission Statement