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

Figure out why tags get rebuilt in compares-not-equal order, and fix #77

Closed
graydon opened this issue Jun 28, 2010 · 1 comment
Closed

Figure out why tags get rebuilt in compares-not-equal order, and fix #77

graydon opened this issue Jun 28, 2010 · 1 comment
Labels
A-type-system Area: Type system

Comments

@graydon
Copy link
Contributor

graydon commented Jun 28, 2010

It seems that we sometimes rebuild tags during typechecking in a way that causes the constructors to reorder, and tag-equality comparison fails (in the ocaml sense). Figure out why or how this happens and fix it. Currently hacked-around.
@graydon
Copy link
Contributor Author

graydon commented Jun 29, 2010

Canonicalize hashtables after running them through htab_map. Closed by 329a655.

@evanmcc evanmcc mentioned this issue Apr 3, 2012
Closed
bors pushed a commit to rust-lang-ci/rust that referenced this issue Oct 1, 2021
@workingjubilee
Merge pull request rust-lang#77 from rust-lang/reorg-vectors
8ad4f14 
Reorg vector types (nfc)
djtech-dev pushed a commit to djtech-dev/rust that referenced this issue Dec 9, 2021
@TheDan64
Fixes rust-lang#77: StructType::get_name had misleading docs
fbc4555
@Amanieu Amanieu mentioned this issue Jun 12, 2023
Open
jaisnan pushed a commit to jaisnan/rust-dev that referenced this issue Jul 29, 2024
@tautschnig
Pointers-out-of-scope test no longer is "fixme" (rust-lang#3252)
b6e4972 
We handle these adequately as of 0cc4b24.

Resolves: rust-lang#77
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
A-type-system Area: Type system
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@graydon