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-type-system Area: 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
rchaser53 pushed a commit to rchaser53/rust that referenced this issue Jan 19, 2019
@nikomatsakis
Merge pull request rust-lang#52 from mark-i-m/traits
588b1eb 
Clean up and reorganize traits chapter
@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 <[email protected]>
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
celinval pushed a commit to celinval/rust-dev that referenced this issue Nov 20, 2024
@QinyuanWu @zhassan-aws
Contracts & Harnesses for NonNull::read, NonNull::read_volatile, …
94a31f5 
…`NonNull::read_unaligned` (rust-lang#156)

Towards rust-lang#52 

Contracts & Harnesses for `NonNull::read`, `NonNull::read_volatile`,
`NonNull::read_unaligned`
### Discussion
For the ensures clause in the contract for `NonNull::read`, I could not
directly compare the value pointed by self and result due to unsized and
lack of PartialEq implementation, and the comparison is currently moved
to the harness.
### Verification
Successful verification:
```
SUMMARY:
 ** 0 of 141 failed

VERIFICATION:- SUCCESSFUL
Verification Time: 0.1760525s

Complete - 5 successfully verified harnesses, 0 failures, 5 total.
```

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Co-authored-by: Zyad Hassan <[email protected]>
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