Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Optimize the conversion from DCD to ETS #524

Closed
robertoaloi opened this issue Mar 5, 2020 · 1 comment
Closed

Optimize the conversion from DCD to ETS #524

robertoaloi opened this issue Mar 5, 2020 · 1 comment
Assignees
@robertoaloi
Labels
indexing Indexing process

Comments

@robertoaloi
Copy link
Member

No description provided.

@robertoaloi robertoaloi added the indexing Indexing process label Mar 5, 2020
@robertoaloi robertoaloi self-assigned this Mar 5, 2020
@robertoaloi
Copy link
Member Author

The code in OTP which does this seems very sequential and there's very little extra we can do from our side. Closing for now.

erszcz added a commit to erszcz/erlang_ls that referenced this issue Jun 16, 2023
@erszcz
Update Gradualizer to 0.3.0
14a3cd9 
This version brings approx. 30 new PRs. The highlights are:

- Improve map exhaustiveness checking [erlang-ls#524](josefs/Gradualizer#524) by @xxdavid
- Fix all remaining self-check errors [erlang-ls#521](josefs/Gradualizer#521) by @erszcz
- Fix intersection-typed function calls with union-typed arguments [erlang-ls#514](josefs/Gradualizer#514) by @erszcz
- Experimental constraint solver [erlang-ls#450](josefs/Gradualizer#450) by @erszcz
erszcz added a commit to erszcz/erlang_ls that referenced this issue Jun 16, 2023
@erszcz
Update Gradualizer to 0.3.0
a69394d 
This version brings approx. 30 PRs. The highlights are:

- Improve map exhaustiveness checking [erlang-ls#524](josefs/Gradualizer#524) by @xxdavid
- Fix all remaining self-check errors [erlang-ls#521](josefs/Gradualizer#521) by @erszcz
- Fix intersection-typed function calls with union-typed arguments [erlang-ls#514](josefs/Gradualizer#514) by @erszcz
- Experimental constraint solver [erlang-ls#450](josefs/Gradualizer#450) by @erszcz
erszcz added a commit to erszcz/erlang_ls that referenced this issue Jun 16, 2023
@erszcz
Update Gradualizer to 0.3.0
4e41335 
This version brings approx. 30 PRs. The highlights are:

- Improve map exhaustiveness checking [erlang-ls#524](josefs/Gradualizer#524) by @xxdavid
- Fix all remaining self-check errors [erlang-ls#521](josefs/Gradualizer#521) by @erszcz
- Fix intersection-typed function calls with union-typed arguments [erlang-ls#514](josefs/Gradualizer#514) by @erszcz
- Experimental constraint solver [erlang-ls#450](josefs/Gradualizer#450) by @erszcz
robertoaloi pushed a commit that referenced this issue Jun 17, 2023
@erszcz
Update Gradualizer to 0.3.0 (#1440)
e91c951 
This version brings approx. 30 PRs. The highlights are:

- Improve map exhaustiveness checking [#524](josefs/Gradualizer#524) by @xxdavid
- Fix all remaining self-check errors [#521](josefs/Gradualizer#521) by @erszcz
- Fix intersection-typed function calls with union-typed arguments [#514](josefs/Gradualizer#514) by @erszcz
- Experimental constraint solver [#450](josefs/Gradualizer#450) by @erszcz
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@robertoaloi robertoaloi

Labels
indexing Indexing process
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@robertoaloi