jeff/dust
1
0
Fork 0
Code

Break one test with new validation

Browse Source
This commit is contained in:
Jeff 2024-07-11 18:15:03 -04:00
parent 994fa7310b
commit 4ab838509b
1 changed files with 26 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

33
dust-lang/src/abstract_tree/value_node.rs
View File

@ -10,7 +10,7 @@ use serde::{Deserialize, Serialize};
use crate::{
context::Context,
error::{RuntimeError, ValidationError},
identifier::Identifier,
identifier::{self, Identifier},
Value,
};
@ -111,12 +111,31 @@ impl AbstractNode for ValueNode {
}
}
if let Some(Type::Enum { variants, .. }) = context.get_type(&type_name.node)? {
if variants
.iter()
.find(|(identifier, _)| identifier == &variant.node)
.is_none()
{
if let Some(Type::Enum { name, variants, .. }) = context.get_type(&type_name.node)? {
let mut found = false;
for (identifier, content) in &variants {
if identifier == &variant.node {
found = true;
}
if let Some(content) = content {
for r#type in content {
if let Type::Generic {
concrete_type: None,
..
} = r#type
{
return Err(ValidationError::FullTypeNotKnown {
identifier: name,
position: variant.position,
});
}
}
}
}
if !found {
return Err(ValidationError::EnumVariantNotFound {
identifier: variant.node.clone(),
position: variant.position,