jeff/dust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Implement structures

Browse Source
This commit is contained in:
Jeff 2024-01-04 19:07:31 -05:00
parent 2a18f9fb7c
commit de98c58587
2 changed files with 31 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/abstract_tree/identifier.rs
View File

@ -47,6 +47,8 @@ impl AbstractTree for Identifier {
fn expected_type(&self, context: &Structure) -> Result<Type> { fn expected_type(&self, context: &Structure) -> Result<Type> {
if let Some((_value, r#type)) = context.variables()?.get(&self.0) { if let Some((_value, r#type)) = context.variables()?.get(&self.0) {
println!("{_value}");
Ok(r#type.clone()) Ok(r#type.clone())
} else { } else {
Ok(Type::None) Ok(Type::None)

30
src/abstract_tree/index.rs
View File

@ -94,6 +94,25 @@ impl AbstractTree for Index {
fn expected_type(&self, context: &Structure) -> Result<Type> { fn expected_type(&self, context: &Structure) -> Result<Type> {
match self.collection.expected_type(context)? { match self.collection.expected_type(context)? {
Type::List(item_type) => Ok(*item_type.clone()), Type::List(item_type) => Ok(*item_type.clone()),
Type::StructureDefinition(instantiator) => {
if let IndexExpression::Identifier(identifier) = &self.index {
if let Some((statement_option, type_option)) =
instantiator.get(identifier.inner())
{
if let Some(type_definition) = type_option {
Ok(type_definition.inner().clone())
} else if let Some(statement) = statement_option {
statement.expected_type(context)
} else {
Ok(Type::None)
}
} else {
todo!()
}
} else {
todo!()
}
}
Type::Structure(definition_identifier) => { Type::Structure(definition_identifier) => {
let (r#type, key) = if let IndexExpression::Identifier(identifier) = &self.index { let (r#type, key) = if let IndexExpression::Identifier(identifier) = &self.index {
let get_type = context let get_type = context
@ -114,7 +133,16 @@ impl AbstractTree for Index {
}); });
}; };
if let Type::StructureDefinition(instantiator) = &r#type { if let Type::Structure(identifier) = r#type {
let variables = context.variables()?;
let get_type = variables.get(identifier.inner());
if let Some((_, r#type)) = get_type {
Ok(r#type.clone())
} else {
Ok(Type::None)
}
} else if let Type::StructureDefinition(instantiator) = &r#type {
let get_type = instantiator.get(key); let get_type = instantiator.get(key);
if let Some((statement_option, type_option)) = get_type { if let Some((statement_option, type_option)) = get_type {