Revise the kind system #1177

Closed

Closed

Revise the kind system#1177

Contributor

Discussion in https://mail.mozilla.org/pipermail/rust-dev/2011-November/000922.html . In short, copyability, instead of moveability, will be the defining characteristic of the middle kind. Kinds are now noncopyable :> copyable :> sendable.

ghost assigned

on Nov 15, 2011

mentioned this in 4 issues

on Nov 15, 2011

added 7 commits that reference this issue

on Nov 18, 2011

Preparation for kind system overhaul

Add a pass-by-copy parameter passing convention

Overhaul the kind-checking pass

Prevent alias pass from inserting implicit copies for noncopyable types

Properly check kinds in instantiation of generics

Update stdlib, compiler, and tests to new kind system

Add some tests for new kind system

closed this as completedin 1cccefd

on Nov 18, 2011

mentioned this in 3 issues

on Nov 22, 2011

removed their assignment

on Jun 16, 2014

added a commit that references this issue

wasm: Mark most simd intrinsics as safe (rust-lang#1177)

added a commit that references this issue

Bump CBMC Viewer version to 3.2 (rust-lang#1177)

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

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Participants