mark/mers
1
0
Fork 0
mirror of https://github.com/Dummi26/mers.git synced 2025-03-10 14:13:52 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

fix get having completely wrong output type. whoops.

Browse Source
This commit is contained in:
Mark 2023-10-27 17:31:05 +02:00
parent c652c618d2
commit 6077de8370
1 changed files with 28 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

35
mers_lib/src/program/configs/with_get.rs
View File

@ -16,14 +16,35 @@ impl Config {
info: Arc::new(program::run::Info::neverused()),
info_check: Arc::new(Mutex::new(CheckInfo::neverused())),
out: Arc::new(|a, _i| {
if let Some(v) = a.get() {
Ok(Type::newm(vec![
Arc::new(data::tuple::TupleT(vec![v])),
Arc::new(data::tuple::TupleT(vec![])),
]))
} else {
Err(format!("called get on non-gettable type {a}").into())
let mut out = Type::empty();
for a in a.types.iter() {
if let Some(t) = a.as_any().downcast_ref::<data::tuple::TupleT>() {
if t.0.len() != 2 {
return Err(format!("called get on tuple with len != 2").into());
}
if !t.0[1].is_included_in(&data::int::IntT) {
return Err(format!(
"called get with non-int index of type {}",
t.0[1]
)
.into());
}
if let Some(v) = t.0[0].get() {
out.add(Arc::new(v));
} else {
return Err(format!(
"called get on non-gettable type {t}, part of {a}"
)
.into());
}
} else {
return Err(format!("called get on non-tuple type {a}").into());
}
}
Ok(Type::newm(vec![
Arc::new(data::tuple::TupleT(vec![out])),
Arc::new(data::tuple::TupleT(vec![])),
]))
}),
run: Arc::new(|a, _i| {
let a = a.get();