-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
4 changed files
with
247 additions
and
57 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,129 @@ | ||
| use super::DynamicError; | ||
| use alloc::string::String; | ||
| use stak_vm::{Memory, Number, Type, Value}; | ||
|
|
||
| /// A trait to convert Rust values from and into Scheme values. | ||
| pub trait SchemeValue: Sized { | ||
| /// Converts a Scheme value into a Rust value. | ||
| fn from_scheme(memory: &Memory, value: Value) -> Option<Self>; | ||
|
|
||
| /// Converts a Rust value into a Scheme value. | ||
| fn into_scheme(self, memory: &mut Memory) -> Result<Value, DynamicError>; | ||
| } | ||
|
|
||
| impl SchemeValue for bool { | ||
| fn from_scheme(memory: &Memory, value: Value) -> Option<Self> { | ||
| Some(value == memory.boolean(false).into()) | ||
| } | ||
|
|
||
| fn into_scheme(self, memory: &mut Memory) -> Result<Value, DynamicError> { | ||
| Ok(memory.boolean(self).into()) | ||
| } | ||
| } | ||
|
|
||
| macro_rules! implement_integer { | ||
| ($type:ty) => { | ||
| impl SchemeValue for $type { | ||
| fn from_scheme(_memory: &Memory, value: Value) -> Option<Self> { | ||
| Some(value.assume_number().to_i64() as _) | ||
| } | ||
|
|
||
| fn into_scheme(self, _memory: &mut Memory) -> Result<Value, DynamicError> { | ||
| Ok(Number::from_i64(self as _).into()) | ||
| } | ||
| } | ||
| }; | ||
| } | ||
|
|
||
| implement_integer!(i8); | ||
| implement_integer!(u8); | ||
| implement_integer!(u16); | ||
| implement_integer!(i16); | ||
| implement_integer!(i32); | ||
| implement_integer!(u32); | ||
| implement_integer!(i64); | ||
| implement_integer!(u64); | ||
| implement_integer!(isize); | ||
| implement_integer!(usize); | ||
|
|
||
| macro_rules! implement_float { | ||
| ($type:ty) => { | ||
| impl SchemeValue for $type { | ||
| fn from_scheme(_memory: &Memory, value: Value) -> Option<Self> { | ||
| Some(value.assume_number().to_f64() as _) | ||
| } | ||
|
|
||
| fn into_scheme(self, _memory: &mut Memory) -> Result<Value, DynamicError> { | ||
| Ok(Number::from_f64(self as _).into()) | ||
| } | ||
| } | ||
| }; | ||
| } | ||
|
|
||
| implement_float!(f32); | ||
| implement_float!(f64); | ||
|
|
||
| impl SchemeValue for String { | ||
| fn from_scheme(memory: &Memory, value: Value) -> Option<Self> { | ||
| let cons = value.assume_cons(); | ||
| let mut string = Self::with_capacity(memory.car(cons).assume_number().to_i64() as _); | ||
| let mut cons = memory.cdr(cons).assume_cons(); | ||
|
|
||
| while cons != memory.null() { | ||
| string.push(char::from_u32( | ||
| memory.car(cons).assume_number().to_i64() as _ | ||
| )?); | ||
| cons = memory.cdr(cons).assume_cons(); | ||
| } | ||
|
|
||
| Some(string) | ||
| } | ||
|
|
||
| fn into_scheme(self, memory: &mut Memory) -> Result<Value, DynamicError> { | ||
| let mut length = 0; | ||
| let mut cons = memory.null(); | ||
|
|
||
| for character in self.chars().rev() { | ||
| cons = memory.cons(Number::from_i64(character as _).into(), cons)?; | ||
| length += 1; | ||
| } | ||
|
|
||
| Ok(memory | ||
| .allocate( | ||
| Number::from_i64(length).into(), | ||
| cons.set_tag(Type::String as _).into(), | ||
| )? | ||
| .into()) | ||
| } | ||
| } | ||
|
|
||
| #[cfg(test)] | ||
| mod tests { | ||
| use super::*; | ||
|
|
||
| mod string { | ||
| use super::*; | ||
|
|
||
| #[test] | ||
| fn ascii() { | ||
| let mut heap = [Default::default(); 256]; | ||
| let mut memory = Memory::new(&mut heap).unwrap(); | ||
| let string = "tomato"; | ||
|
|
||
| let value = String::from(string).into_scheme(&mut memory).unwrap(); | ||
|
|
||
| assert_eq!(&String::from_scheme(&memory, value).unwrap(), string); | ||
| } | ||
|
|
||
| #[test] | ||
| fn unicode() { | ||
| let mut heap = [Default::default(); 256]; | ||
| let mut memory = Memory::new(&mut heap).unwrap(); | ||
| let string = "あ阿😄"; | ||
|
|
||
| let value = String::from(string).into_scheme(&mut memory).unwrap(); | ||
|
|
||
| assert_eq!(&String::from_scheme(&memory, value).unwrap(), string); | ||
| } | ||
| } | ||
| } |