nice

lib/edlang_ast/src/lib.rs

@@ -194,7 +194,7 @@ pub struct StructInitField {
 
 #[derive(Debug, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
 pub struct StructInitExpr {
-    pub name: Ident,
+    pub name: Type,
     pub fields: BTreeMap<Ident, StructInitField>,
     pub span: Span,
 }

lib/edlang_ir/src/lib.rs

@@ -224,7 +224,7 @@ pub enum TypeKind {
     FnDef(DefId, Vec<TypeInfo>), // The vec are generic types, not arg types
     Ptr(Box<TypeInfo>),
     Ref(bool, Box<TypeInfo>),
-    Struct(DefId),
+    Struct(DefId), // todo, add generics
 }
 
 impl TypeKind {

lib/edlang_lowering/src/lib.rs

@@ -496,7 +496,7 @@ fn find_expr_type(builder: &mut BodyBuilder, info: &ast::Expression) -> Option<T
                 .get_module_body()
                 .symbols
                 .structs
-                .get(&info.name.name)
+                .get(&info.name.name.name)
                 .expect("struct not found");
             ir::TypeKind::Struct(id)
         }
@@ -570,7 +570,7 @@ fn lower_expr(
                 .get_module_body()
                 .symbols
                 .structs
-                .get(&info.name.name)
+                .get(&info.name.name.name)
                 .expect("struct not found");
             let struct_body = builder.ctx.body.structs.get(&id).unwrap().clone();
             let ty = TypeKind::Struct(id);

lib/edlang_parser/src/grammar.lalrpop

@@ -155,6 +155,22 @@ pub(crate) Type: ast::Type = {
     },
 }
 
+/// For things like A::<T> { a: value }
+pub(crate) IdentWithOptionalType: ast::Type = {
+    <lo:@L> <name:Ident> <hi:@R> => ast::Type {
+        name,
+        generics: vec![],
+        is_ref: None,
+        span: ast::Span::new(lo, hi),
+    },
+    <lo:@L> <name:Ident> "::" "<" <generics:Comma<Type>> ">" <hi:@R> => ast::Type {
+        name,
+        generics,
+        is_ref: None,
+        span: ast::Span::new(lo, hi),
+    },
+}
+
 pub(crate) PathExpr: ast::PathExpr = {
   <lo:@L> <first:Ident> <extra:PathSegments?> <hi:@R> => ast::PathExpr {
     first,
@@ -212,7 +228,7 @@ pub(crate) LetStmt: ast::LetStmt = {
     value,
     span: ast::Span::new(lo, hi),
   },
-   <lo:@L> "let" <is_mut:"mut"?> <name:Ident> ":" <target_type:Type> "=" <value:StructInitExpr> <hi:@R> => ast::LetStmt {
+  <lo:@L> "let" <is_mut:"mut"?> <name:Ident> ":" <target_type:Type> "=" <value:StructInitExpr> <hi:@R> => ast::LetStmt {
     is_mut: is_mut.is_some(),
     name,
     r#type: target_type,
@@ -381,7 +397,7 @@ pub(crate) StructInitField: (ast::Ident, ast::StructInitField) = {
 }
 
 pub(crate) StructInitExpr: ast::StructInitExpr = {
-  <lo:@L> <name:Ident> "{" <fields:Comma<StructInitField>> "}" <hi:@R> => ast::StructInitExpr {
+  <lo:@L> <name:IdentWithOptionalType> "{" <fields:Comma<StructInitField>> "}" <hi:@R> => ast::StructInitExpr {
     name,
     fields: fields.into_iter().collect(),
     span: ast::Span::new(lo, hi),

what

@@ -0,0 +1 @@
+   Compiling edlang_parser v0.0.1-alpha.7 (/data2/edgar/edlang/lib/edlang_parser)