japplegame

japplegame

Is this an issue with the new type checker?

Today I encountered an issue.
After updating Elixir from version 1.17.3 to 1.18.3, the compilation time of my project increased dramatically (about 10 times longer).

After digging through the code, I managed to reproduce this issue with the following synthetic code:

# update_map_test.ex
defmodule UpdateMapTest do
  def cast(value) do
    result = %{
      a01: nil,
      a02: nil,
      a03: nil,
      a04: nil,
      a05: nil,
      a06: nil,
      a07: nil,
      a08: nil,
      a09: nil,
      a10: nil,
      a11: nil,
      a12: nil,
      a13: nil,
      a14: nil,
      a15: nil,
    }

    result = if value[:a], do: %{result | a01: value[:a]}, else: result
    result = if value[:a], do: %{result | a02: value[:a]}, else: result
    result = if value[:a], do: %{result | a03: value[:a]}, else: result
    result = if value[:a], do: %{result | a04: value[:a]}, else: result
    result = if value[:a], do: %{result | a05: value[:a]}, else: result
    result = if value[:a], do: %{result | a06: value[:a]}, else: result
    result = if value[:a], do: %{result | a07: value[:a]}, else: result
    result = if value[:a], do: %{result | a08: value[:a]}, else: result
    result = if value[:a], do: %{result | a09: value[:a]}, else: result
    result = if value[:a], do: %{result | a10: value[:a]}, else: result
    result = if value[:a], do: %{result | a11: value[:a]}, else: result
    result = if value[:a], do: %{result | a12: value[:a]}, else: result
    result = if value[:a], do: %{result | a13: value[:a]}, else: result
    result = if value[:a], do: %{result | a14: value[:a]}, else: result
    result = if value[:a], do: %{result | a15: value[:a]}, else: result

    {:ok, result}
  end
end
$ elixir -v
Erlang/OTP 27 [erts-15.2.5] [source] [64-bit] [smp:32:12] [ds:32:12:10] [async-threads:1] [jit:ns]

Elixir 1.18.3 (compiled with Erlang/OTP 27)

$ time elixir update_map_test.ex

real    0m9,085s
user    0m10,075s
sys     0m0,694s
$ elixir -v
Erlang/OTP 27 [erts-15.2.5] [source] [64-bit] [smp:32:12] [ds:32:12:10] [async-threads:1] [jit:ns]

Elixir 1.17.3 (compiled with Erlang/OTP 27)

$ time elixir update_map_test.ex

real    0m0,342s
user    0m0,853s
sys     0m0,322s

Interestingly, when adding new fields and updates, the compilation time seems to grow exponentially.

Most Liked

Where Next?

Popular in Questions Top

aadeshere1
I have a another noob question about loop. Since elixir is immutable, while loop is not directly possible. total = 10 while total != 0 ...
New
_russellb
I want to try my hand at web scraping. What tools/libraries do I need to use. I’m hoping to turn this into something professional so don’...
New
marius95
Hello everyone, I try to use an Javascript Event Handler in my root.html.leex file. Therefore I created a function in the app.js file: ...
New
vertexbuffer
Hello, can anybody help here..? I have a list of players and I what to delete an element, but every for loop the list is reverting to ori...
New
Kurisu
For example for a current url like http://localhost:4000/cosmetic/products?_utf8=✓&query=perfume&page=2, I would like to get: ...
New
vac
Hi, I’m quite new in Elixir and I’m trying to format a string to a PEM format. I have the certificate value like MIIDBTCCAe2...... and I...
New
jay1
Why is it that the mnesia database isn’t the most preferred database for use in Elixir/Phoenix?
New
joeerl
Hello again - after a longish gap I’ve decided I really must dig into Elixir and see what’s been happening here - so I have a few questio...
New
stefanluptak
Hello everybody, usually, I use a 29" ultra-wide monitor for VSCode which can easily accomodate explorer (files panel) + file with code ...
New
openscript
Hello! Sorry for this astonishing simple question, but I’m really stuck. I try to set up the intellij-elixir plugin, but I don’t know ho...
New

Other popular topics Top

malloryerik
Hi, this is for people who, like me, have had some friction using .html.heex templates in VSCode. The solution seems to be, in a hyphena...
New
WestKeys
Currently suffering from paralysis by [HTTP client] analysis. This is rather unusual in Elixirland as there tends to be consensus on the ...
New
shahryarjb
Hello, I have map which I want to convert it to string like this: the map: %{last_name: "tavakkoli", name: "shahryar"} the string I ne...
New
Fl4m3Ph03n1x
About me? ( if you have nothing better to do than reading about some random guy in the internet :stuck_out_tongue: ) Hello all, this is ...
New
saif
Hello everyone, Long time lurker first time poster here. I’ve recently begun working on Elixir full-time again! :raised_hands: It’s been...
New
rms.mrcs
Hi, I need to transform a list of numbers into a map where the keys are the indexes and the values are the original values of the list. ...
New
shijith.k
I am trying to start a new phoenix project with elixir 1.9, but mix phx.new does not work. It says that ** (Mix) The task "phx.new" could...
New
AstonJ
We’ve put together this wiki for Phoenix LiveView - please feel free to add any info you feel is worth including. What is Phoenix LiveV...
New
joaquinalcerro
Hi there, I am working with Ecto-Postgresql and I need to call all of the records from a specific table but the table has 40,000 records...
New
hariharasudhan94
Lets say I have map like this fetching from my database %{"_id" => #BSON.ObjectId<58eb1a7a9ad169198c3dXXXX>, "email" => ...
New

Latest on Elixir Forum

Elixir Forum

We're in Beta

About us Mission Statement