Get carts sort of working

still a bunch of `todo`s and needs a lot of work, but I'm hungry and
going on lunch break :)
This commit is contained in:
Alex Bethel 2021-07-29 13:29:23 -05:00
parent 603a244b78
commit 0bca9ff79c
2 changed files with 97 additions and 12 deletions

View file

@ -195,7 +195,24 @@ impl ExecEnv {
} }
Not(expr) => Bool(!self.eval_expr(&expr)?.into_bool()), Not(expr) => Bool(!self.eval_expr(&expr)?.into_bool()),
Literal(value) => value.clone(), Literal(value) => value.clone(),
Cart(_) | Index { .. } => todo!("cart support"), ExprKind::Cart(members) => Value::Cart(
members
.iter()
.map(|(value, key)| {
self.eval_expr(value).and_then(|value| {
self.eval_expr(key)
.map(|key| (key, Rc::new(RefCell::new(value))))
})
})
.collect::<Result<HashMap<_, _>, _>>()?,
),
Index { cart, index } => {
let cart = self.eval_expr(cart)?;
let index = self.eval_expr(index)?;
// TODO: this probably shouldn't be cloned
cart.index(&index).borrow().clone()
}
// TODO: not too happy with constructing an artificial // TODO: not too happy with constructing an artificial
// Iden here. // Iden here.

View file

@ -1,10 +1,10 @@
use std::{cell::RefCell, fmt::Display, io::Write, rc::Rc}; use std::{cell::RefCell, collections::HashMap, fmt::Display, hash::Hash, io::Write, rc::Rc};
use rand::Rng; use rand::Rng;
use crate::{ast::Stmt, consts}; use crate::{ast::Stmt, consts};
#[derive(Debug, Clone, PartialEq)] #[derive(Debug, Clone, Copy, PartialEq)]
pub enum Abool { pub enum Abool {
Never = -1, Never = -1,
Sometimes = 0, Sometimes = 0,
@ -43,7 +43,7 @@ pub enum Functio {
}, },
} }
#[derive(Debug, PartialEq, Clone)] #[derive(Debug, Clone)]
pub enum Value { pub enum Value {
Nul, Nul,
Str(String), Str(String),
@ -51,8 +51,43 @@ pub enum Value {
Bool(bool), Bool(bool),
Abool(Abool), Abool(Abool),
Functio(Functio), Functio(Functio),
Cart(HashMap<Value, Rc<RefCell<Value>>>),
} }
impl Hash for Value {
fn hash<H: std::hash::Hasher>(&self, state: &mut H) {
match self {
Value::Nul => (),
Value::Str(v) => v.hash(state),
Value::Int(v) => v.hash(state),
Value::Bool(v) => v.hash(state),
Value::Abool(v) => v.to_string().hash(state),
Value::Functio(_) => todo!(),
Value::Cart(_) => self.to_string().hash(state),
}
}
}
impl PartialEq for Value {
fn eq(&self, other: &Self) -> bool {
match (self, other) {
(Value::Nul, Value::Nul) => true,
(Value::Str(left), Value::Str(right)) => left == right,
(Value::Int(left), Value::Int(right)) => left == right,
(Value::Bool(left), Value::Bool(right)) => left == right,
(Value::Abool(left), Value::Abool(right)) => left == right,
(Value::Functio(left), Value::Functio(right)) => left == right,
(Value::Cart(_left), Value::Cart(_right)) => {
todo!()
}
(_, _) => false,
// TODO: do more coercions!
}
}
}
impl Eq for Value {}
impl Value { impl Value {
/// Write an AbleScript value to a Brainfuck input stream by /// Write an AbleScript value to a Brainfuck input stream by
/// coercing the value to an integer, then truncating that integer /// coercing the value to an integer, then truncating that integer
@ -66,10 +101,10 @@ impl Value {
} }
/// Coerce a value to an integer. /// Coerce a value to an integer.
pub fn into_i32(self) -> i32 { pub fn into_i32(&self) -> i32 {
match self { match self {
Value::Abool(a) => a as _, Value::Abool(a) => *a as _,
Value::Bool(b) => b as _, Value::Bool(b) => *b as _,
Value::Functio(func) => match func { Value::Functio(func) => match func {
Functio::BfFunctio { Functio::BfFunctio {
instructions, instructions,
@ -77,23 +112,47 @@ impl Value {
} => (instructions.len() + tape_len) as _, } => (instructions.len() + tape_len) as _,
Functio::AbleFunctio { params, body } => (params.len() + body.len()) as _, Functio::AbleFunctio { params, body } => (params.len() + body.len()) as _,
}, },
Value::Int(i) => i, Value::Int(i) => *i,
Value::Nul => consts::ANSWER, Value::Nul => consts::ANSWER,
Value::Str(text) => text.parse().unwrap_or(consts::ANSWER), Value::Str(text) => text.parse().unwrap_or(consts::ANSWER),
Value::Cart(c) => c.len() as _,
} }
} }
/// Coerce a Value to a boolean. The conversion cannot fail. /// Coerce a Value to a boolean. The conversion cannot fail.
pub fn into_bool(self) -> bool { pub fn into_bool(&self) -> bool {
match self { match self {
Value::Abool(b) => b.into(), Value::Abool(b) => b.clone().into(),
Value::Bool(b) => b, Value::Bool(b) => *b,
Value::Functio(_) => true, Value::Functio(_) => true,
Value::Int(x) => x != 0, Value::Int(x) => *x != 0,
Value::Nul => true, Value::Nul => true,
Value::Str(s) => !s.is_empty(), Value::Str(s) => !s.is_empty(),
Value::Cart(c) => !c.is_empty(),
} }
} }
/// Index a value with another value, as in the "a[b]" syntax.
pub fn index(&self, index: &Value) -> Rc<RefCell<Value>> {
Rc::new(RefCell::new(match self {
Value::Nul => Value::Nul,
Value::Str(s) => Value::Int(s.as_bytes()[index.into_i32() as usize] as i32),
Value::Int(i) => Value::Int(
(format!("{}", i).as_bytes()[index.into_i32() as usize] - ('0' as u8)) as i32,
),
Value::Bool(b) => Value::Int(
format!("{}", b)
.chars()
.nth(index.into_i32() as usize)
.unwrap_or_else(|| '?') as i32,
),
Value::Abool(b) => Value::Int(*b as i32),
Value::Functio(_) => Value::Int(42),
Value::Cart(c) => {
return (c.get(index).cloned()).unwrap_or_else(|| Rc::new(RefCell::new(Value::Nul)))
}
}))
}
} }
impl Display for Value { impl Display for Value {
@ -128,6 +187,15 @@ impl Display for Value {
) )
} }
}, },
Value::Cart(c) => {
write!(f, "[")?;
for (key, value) in c {
write!(f, "{} <= {},", value.borrow(), key)?;
}
write!(f, "]")
}
} }
} }
} }