syndicate-lang
/
syndicate-rs
1
0
Fork 0
Code Issues 1 Pull Requests Projects Releases Wiki Activity

Remove name field from DBind

This commit is contained in:
Tony Garnock-Jones 2021-08-11 16:12:00 -04:00
parent a9de02577d
commit 909356caa2
5 changed files with 0 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
benches/bench_dataspace.rs
View File

@ -110,7 +110,6 @@ pub fn bench_pub(c: &mut Criterion) {
value: _Any::new("bench_pub"),
}))),
(1.into(), p::Pattern::DBind(Box::new(p::DBind {
name: "what".to_owned(),
pattern: p::Pattern::DDiscard(Box::new(p::DDiscard)),
}))),
].into_iter()),
@ -119,7 +118,6 @@ pub fn bench_pub(c: &mut Criterion) {
});
ds.assert(t, &Observe {
pattern: p::Pattern::DBind(Box::new(p::DBind {
name: "shutdownTrigger".to_owned(),
pattern: p::Pattern::DLit(Box::new(p::DLit {
value: _Any::new(true),
})),

2
examples/consumer.rs
View File

@ -54,11 +54,9 @@ async fn main() -> Result<(), Box<dyn std::error::Error>> {
}),
members: Map::from_iter(vec![
(0.into(), p::Pattern::DBind(Box::new(p::DBind {
name: "who".to_owned(),
pattern: p::Pattern::DDiscard(Box::new(p::DDiscard)),
}))),
(1.into(), p::Pattern::DBind(Box::new(p::DBind {
name: "what".to_owned(),
pattern: p::Pattern::DDiscard(Box::new(p::DDiscard)),
}))),
].into_iter()),

2
examples/pingpong.rs
View File

@ -179,11 +179,9 @@ async fn main() -> Result<(), Box<dyn std::error::Error>> {
}),
members: Map::from_iter(vec![
(0.into(), p::Pattern::DBind(Box::new(p::DBind {
name: "timestamp".to_owned(),
pattern: p::Pattern::DDiscard(Box::new(p::DDiscard)),
}))),
(1.into(), p::Pattern::DBind(Box::new(p::DBind {
name: "padding".to_owned(),
pattern: p::Pattern::DDiscard(Box::new(p::DDiscard)),
}))),
].into_iter()),

1
examples/state-consumer.rs
View File

@ -75,7 +75,6 @@ async fn main() -> Result<(), Box<dyn std::error::Error>> {
}),
members: Map::from_iter(vec![
(0.into(), p::Pattern::DBind(Box::new(p::DBind {
name: "who".to_owned(),
pattern: p::Pattern::DDiscard(Box::new(p::DDiscard)),
}))),
].into_iter()),

2
src/bin/syndicate-server.rs
View File

@ -327,11 +327,9 @@ fn handle_resolve(
value: queried_oid,
}))),
(1.into(), p::Pattern::DBind(Box::new(p::DBind {
name: "key".to_owned(),
pattern: p::Pattern::DDiscard(Box::new(p::DDiscard)),
}))),
(2.into(), p::Pattern::DBind(Box::new(p::DBind {
name: "target".to_owned(),
pattern: p::Pattern::DDiscard(Box::new(p::DDiscard)),
}))),
].into_iter())