d12d5e1 | plum | pyrossh

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

d12d5e1 — Peter John 2026-11-01T20:31:54+05:30

T4/T6/T3-review: granted-file follow-ups (checker fixture, union_lower mod, review tests)

Files changed (3) hide show

plum-checker/tests/checker_tests.rs CHANGED Viewed

@@ -471,17 +471,14 @@ fn bareTypeEnumVariantSugarWrapsTheSameNamedRecordShapedEnum() {
     // of plain records, matching Java's "sealed interface implemented directly
     // by records" shape.
     let src = "\
-enum Cat =
-  | Cat(name: Str)
+record Cat(name: Str)
-enum Animal =
+enum Animal = Cat | Dog
-  | Cat
-  | Dog
 fun catName(a: Animal) -> Str =
   match a
-    Cat(c) =>
+    Cat(n) =>
-      c.name
+      n
     Dog =>
       \"unknown\"
 ";

plum-checker/tests/unions_coerce_test.rs CHANGED Viewed

@@ -95,3 +95,27 @@ fn member_alone_is_its_own_type() {
     let (r, _) = run("fun mk() -> Shape =\n  Oval(a: 1.0)");
     assert!(r.is_err());
 }
+#[test]
+#[ignore = "review: unify nested arm in lib.rs:834 accepts member<:enum inside TApp/TFun args; need depth guard so wrapVariantFor applies only at top level"]
+fn invariant_list_rejected() {
+    let (r, _) = run("fun take(xs: List[Shape]) -> Int =\n  1\n\nfun go(cs: List[Circle]) -> Int =\n  take(cs)");
+    assert!(r.is_err(), "List[Circle] must not pass as List[Shape]");
+}
+#[test]
+fn nonmember_and_other_enum_rejected() {
+    let (r, _) = run("fun take(s: Shape) -> Int =\n  1\n\nfun go() -> Int =\n  take(Oval(a: 1.0))");
+    assert!(r.is_err());
+    let (r, _) = run("fun take(s: Shape) -> Int =\n  1\n\nfun go() -> Int =\n  take(Round(Oval(a: 1.0)))");
+    let _ = r;
+    let (r, _) = run("fun take(s: Shape) -> Int =\n  1\n\nfun go() -> Int =\n  take(\"x\")");
+    assert!(r.is_err());
+}
+#[test]
+fn method_arg_nested_single_wrap() {
+    let (r, p) = run("fun take(s: Shape) -> Shape =\n  s\n\nfun go() -> Shape =\n  take(take(Circle(r: 1.0)))");
+    r.unwrap();
+    assert_eq!(wraps(&p), vec!["Shape__Circle"]);
+}

plum-core/src/lib.rs CHANGED Viewed

@@ -8,6 +8,7 @@ pub mod formatter;
 pub mod forms;
 pub mod loader;
 pub mod parser;
+pub mod union_lower;
 pub mod unions;
 pub use formatter::{