Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.
Sign upimplement the chalk-engine traits #50937
Conversation
rust-highfive
assigned
scalexm
May 21, 2018
rust-highfive
added
the
S-waiting-on-review
label
May 21, 2018
nikomatsakis
force-pushed the
nikomatsakis:chalkify-engine-2
branch
from
a2f0e10
to
5ef8cc9
May 21, 2018
This comment has been minimized.
This comment has been minimized.
|
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
nikomatsakis
force-pushed the
nikomatsakis:chalkify-engine-2
branch
3 times, most recently
from
c9e1a26
to
fd52186
May 21, 2018
This comment has been minimized.
This comment has been minimized.
|
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
nikomatsakis
force-pushed the
nikomatsakis:chalkify-engine-2
branch
from
fd52186
to
d5486da
May 21, 2018
This comment has been minimized.
This comment has been minimized.
|
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
leodasvacas
reviewed
May 21, 2018
| } | ||
|
|
||
| fn num_universes(_: &Canonical<'gcx, ty::ParamEnvAnd<'gcx, Goal<'gcx>>>) -> usize { | ||
| 0 // FIXME |
This comment has been minimized.
This comment has been minimized.
nikomatsakis
force-pushed the
nikomatsakis:chalkify-engine-2
branch
from
d5486da
to
9dde1b2
May 22, 2018
This comment has been minimized.
This comment has been minimized.
|
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
leodasvacas
reviewed
May 22, 2018
| impl<T> Eq for Slice<T> {} | ||
|
|
||
| impl<T: PartialOrd> PartialOrd for Slice<T> { |
This comment has been minimized.
This comment has been minimized.
leodasvacas
May 22, 2018
•
Contributor
This will conflict with #50930, this file can be reverted to master version.
nikomatsakis
force-pushed the
nikomatsakis:chalkify-engine-2
branch
from
9dde1b2
to
70f0030
May 24, 2018
This comment has been minimized.
This comment has been minimized.
|
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
nikomatsakis
force-pushed the
nikomatsakis:chalkify-engine-2
branch
from
70f0030
to
9ab03d9
May 24, 2018
This comment has been minimized.
This comment has been minimized.
|
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
nikomatsakis
force-pushed the
nikomatsakis:chalkify-engine-2
branch
from
9fc3dd1
to
b0a926f
May 24, 2018
nikomatsakis
added some commits
May 8, 2018
nikomatsakis
force-pushed the
nikomatsakis:chalkify-engine-2
branch
from
b0a926f
to
8fd316f
May 24, 2018
nikomatsakis
changed the title
[WIP] Implement the chalk-engine traits
implement the chalk-engine traits
May 24, 2018
This comment has been minimized.
This comment has been minimized.
|
@bors delegate=scalexm,leodasvacas -- I figure this is pretty chalk-focused, so they're best qualified to r+ |
This comment has been minimized.
This comment has been minimized.
|
|
This comment has been minimized.
This comment has been minimized.
|
|
bors
added
S-waiting-on-bors
and removed
S-waiting-on-review
labels
May 24, 2018
scalexm
approved these changes
May 24, 2018
This comment has been minimized.
This comment has been minimized.
|
@bors r+ |
This comment has been minimized.
This comment has been minimized.
|
@scalexm: |
This comment has been minimized.
This comment has been minimized.
|
@bors delegate=scalexm |
This comment has been minimized.
This comment has been minimized.
|
|
This comment has been minimized.
This comment has been minimized.
|
@bors r=scalexm |
This comment has been minimized.
This comment has been minimized.
|
@bors r+ |
This comment has been minimized.
This comment has been minimized.
|
This comment has been minimized.
This comment has been minimized.
|
|
This comment has been minimized.
This comment has been minimized.
|
This comment has been minimized.
This comment has been minimized.
|
|
This comment has been minimized.
This comment has been minimized.
bors
added a commit
that referenced
this pull request
May 24, 2018
This comment has been minimized.
This comment has been minimized.
|
|
bors
added
S-waiting-on-review
and removed
S-waiting-on-bors
labels
May 24, 2018
This comment has been minimized.
This comment has been minimized.
|
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
This comment has been minimized.
This comment has been minimized.
|
The job Click to expand the log.
I'm a bot! I can only do what humans tell me to, so if this was not helpful or you have suggestions for improvements, please ping or otherwise contact |
This comment has been minimized.
This comment has been minimized.
|
travis failures look spurious. |
This comment has been minimized.
This comment has been minimized.
|
That error is caused by travis itself (it wasn't able to download a ruby gem it needs to deploy things). @bors retry |
bors
added
S-waiting-on-bors
and removed
S-waiting-on-review
labels
May 24, 2018
pietroalbini
referenced this pull request
May 24, 2018
Closed
Spurious failure while installing deploy dependencies #44159
This comment has been minimized.
This comment has been minimized.
bors
added a commit
that referenced
this pull request
May 24, 2018
This comment has been minimized.
This comment has been minimized.
|
|
nikomatsakis commentedMay 21, 2018
Preliminary implementation for the Chalk traits in rustc. Lots of
panic!()placeholders to be filled in later.This is currently blocked on us landing rust-lang/chalk#131 in chalk and issuing a new release, which should occur later today.
r? @scalexm
cc @leodasvacas