7c8e1b1 | plum

A statically typed, imperative programming language inspired by rust, python

7c8e1b1 — Peter John 2026-07-19T19:15:29+05:30

fix(plum-checker): use plum_type_from_ast for return type in first pass

Files changed (1) hide show

plum-checker/src/lib.rs CHANGED Viewed

@@ -54,7 +54,7 @@ pub fn check_source(source: &ast::Source) -> CheckResult<()> {
                     }
                 }).collect();
                 let ret = f.returns.as_ref()
-                    .map(|r| PlumType::TNamed(r.name.clone()))
+                    .map(|r| plum_type_from_ast(&ast::Type { name: r.name.clone(), generics: vec![] }))
                     .unwrap_or(PlumType::TUnit);
                 let scheme = TypeScheme::mono(PlumType::TFun(param_types, Box::new(ret)));
                 global_env.insert(f.name.clone(), scheme);