6270408 | plum | pyrossh

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

6270408 — Peter John 2026-11-01T17:04:10+05:30

fix: checker reports unknown methods on static consts

Files changed (2) hide show

plum-checker/src/lib.rs CHANGED Viewed

@@ -3337,10 +3337,13 @@ fn inferMethodCall(
         // a declared type lacking the method is a real (duck-typing) error.
         // Builtin/primitive receivers too: their methods are those declared in
         // plum-std plus the compiler intrinsics handled before this lookup.
+        // A fully concrete generic receiver (`Map[Str, Int]`) is checked in the
+        // erased pass too, so a typo'd method is a positioned checker error
+        // rather than a late codegen failure.
-        if INST_MODE.with(|m| m.get()) && !hasFreeVars(obj_ty) {
+        if !hasFreeVars(obj_ty) && (INST_MODE.with(|m| m.get()) || matches!(obj_ty, PlumType::TApp(..))) {
             return Err(format!("{} has no method '{}'", obj_ty, name));
         }
-        // Outside an instantiation (erased pass): allow, the per-instance pass decides.
+        // Otherwise (erased pass): allow, the per-instance pass decides.
         return Ok(PlumType::TVar("_".to_string()));
     };
     let PlumType::TFun(..) = sig else {

plum-checker/tests/checker_tests.rs CHANGED Viewed

@@ -2114,3 +2114,16 @@ fn comparing_an_optional_or_error_union_with_a_value_is_rejected() {
     assert!(msg.contains("cannot compare"), "{msg}");
     assert!(checkSource(&parseClean("fun f(a: Int?) -> Bool =\n  a == null\n")).is_ok());
 }
+#[test]
+fn unknown_method_on_heap_const_is_checker_error() {
+    let src = |call: &str| {
+        format!(
+            "enum Box[T] =\n  | Box(v: T)\n\n  fun get(self) -> T =\n    self.v\n\nenum Cfg =\n  | Cfg(a: Int)\n\n  CELL = Box(1)\n\nfun f() -> Int =\n  {}\n",
+            call
+        )
+    };
+    let msg = errText(checkSrc(&src("Cfg.CELL.size()")));
+    assert!(msg.contains("Box[Int] has no method 'size'"), "{}", msg);
+    assert!(checkSrc(&src("Cfg.CELL.get()")).is_ok());
+}