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

Complete type checker #52

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

Complete type checker #52

graydon opened this issue Jun 22, 2010 · 1 comment
Labels
A-typesystem Area: The type system

Comments

@graydon
Copy link
Contributor

graydon commented Jun 22, 2010

There are still a bunch of missing node cases in the type checker. Finish them off.
@graydon
Copy link
Contributor Author

graydon commented Jul 27, 2010

We rely on completeness in the typechecker now to drive a fair bit of other stuff. This is obsolete.

@evanmcc evanmcc mentioned this issue Apr 3, 2012
Closed
oli-obk pushed a commit to oli-obk/rust that referenced this issue Jul 19, 2017
@solson
Merge pull request rust-lang#52 from oli-obk/vtable
d06227d 
Vtable
keeperofdakeys pushed a commit to keeperofdakeys/rust that referenced this issue Dec 12, 2017
@alexcrichton
Merge pull request rust-lang#52 from alexcrichton/bytes-bits
a224b17 
There are 8 bits in a byte
@venkag venkag mentioned this issue Feb 13, 2019
Closed
Aaron1011 pushed a commit to Aaron1011/rust that referenced this issue Oct 26, 2020
@dependabot
Merge pull request rust-lang#52 from bjorn3/dependabot/cargo/cranelif…
c37e5ff 
…t-940e254
bors bot referenced this issue in softdevteam/alloy Apr 29, 2021
@bors @jacob-hughes
Merge #52
42025e0 
52: Build Boehm with more portable multithreading flag r=ltratt a=jacob-hughes

The previous flag I'd used is not technically correct, because it unnecessarily restricts the build to Linux's threading model.

Co-authored-by: Jake Hughes <jh@jakehughes.uk>
bors pushed a commit to rust-lang-ci/rust that referenced this issue Oct 1, 2021
@KodrAus
Merge pull request rust-lang#52 from rust-lang/feature/deploy-docs
c7d031c 
Deploy documentation to GitHub Pages
djtech-dev pushed a commit to djtech-dev/rust that referenced this issue Dec 9, 2021
@TheDan64
Potential fix for rust-lang#52 - use cstring instead of str ptr
02284e4
@Amanieu Amanieu mentioned this issue Jun 12, 2023
Open
jaisnan pushed a commit to jaisnan/rust-dev that referenced this issue Aug 27, 2024
@tautschnig
Challenge proposal: NonNull (rust-lang#52)
962b36b
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-typesystem Area: The type system
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@graydon