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

Make elaboration globals deterministic #605

Merged

turbolent merged 1 commit into master from bastian/ordered-global-types-and-values

Feb 17, 2021

Member

turbolent commented Feb 17, 2021

Work towards #436

Description

Use ordered maps for global values and global types in elaboration

For contributor use:

Targeted PR against master branch
Linked to Github issue with discussion and accepted design OR link to spec that describes this work
Code follows the standards mentioned here
Updated relevant documentation
Re-reviewed Files changed in the Github PR explorer
Added appropriate labels

turbolent added the Improvement label

turbolent requested review from SupunS and janezpodhostnik

February 17, 2021 01:45

turbolent self-assigned this


          use ordered maps for global types and global values in elaboration

59bd43b

turbolent force-pushed the bastian/ordered-global-types-and-values branch from 469120b to 59bd43b Compare

February 17, 2021 18:40

turbolent merged commit 4a40ab9 into master

turbolent deleted the bastian/ordered-global-types-and-values branch

February 17, 2021 18:44

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels