805d96d | plum

git clone https://git.pyrossh.dev/plum

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

805d96d — Peter John 2026-08-09T21:07:14+05:30

test: migrate plum-checker/plum-wasm-codegen fixtures off <Receiver> syntax

Files changed (3) hide show

examples/methods.plum +6 -6
plum-checker/tests/checker_tests.rs +10 -15
plum-wasm-codegen/tests/codegen_tests.rs +20 -20

examples/methods.plum CHANGED Viewed

@@ -2,18 +2,18 @@ type Cat =
   name: Str
   age: Int
-fun getAge<Cat>(self) -> Int =
+  fun getAge(self) -> Int =
-  self.age
+    self.age
-fun birthday<Cat>(self) -> Int =
+  fun birthday(self) -> Int =
-  self.age + 1
+    self.age + 1
 type Wrapper =
   inner: Cat
   tag: Int
-fun innerAge<Wrapper>(self) -> Int =
+  fun innerAge(self) -> Int =
-  self.inner.age
+    self.inner.age
 fun makeCat() -> Cat =
   Cat(name: "Whiskers", age: 3)

plum-checker/tests/checker_tests.rs CHANGED Viewed

@@ -101,7 +101,7 @@ fn bool_literal_wrong_return_type_is_error() {
 #[test]
 fn method_self_field_access_passes() {
-    let src = "type Cat =\n  name: Str\n  age: Int\n\nfun getName<Cat>() -> Str =\n  self.name\n";
+    let src = "type Cat =\n  name: Str\n  age: Int\n\n  fun getName() -> Str =\n    self.name\n";
     let source = parse(src);
     let result = check_source(&source);
     assert!(result.is_ok(), "expected Ok, got {:?}", result.err());
@@ -116,21 +116,16 @@ fn method_self_unknown_field_is_error() {
 }
 #[test]
-fn nested_method_type_checks_identically_to_top_level_receiver_form() {
+fn nested_method_type_checks() {
-    let nested_src = "type Cat =\n  name: Str\n  age: Int\n\n  fun getName(self) -> Str =\n    self.name\n";
+    let src = "type Cat =\n  name: Str\n  age: Int\n\n  fun getName(self) -> Str =\n    self.name\n";
-    let top_level_src = "type Cat =\n  name: Str\n  age: Int\n\nfun getName<Cat>() -> Str =\n  self.name\n";
-    let nested_result = check_source(&parse(nested_src));
+    let result = check_source(&parse(src));
-    let top_level_result = check_source(&parse(top_level_src));
-    assert!(nested_result.is_ok(), "expected Ok, got {:?}", nested_result.err());
+    assert!(result.is_ok(), "expected Ok, got {:?}", result.err());
-    assert!(top_level_result.is_ok(), "expected Ok, got {:?}", top_level_result.err());
 }
 #[test]
-fn nested_method_unknown_field_is_error_identically_to_top_level_receiver_form() {
+fn nested_method_unknown_field_is_error() {
-    let nested_src = "type Cat =\n  name: Str\n\n  fun getAge(self) -> Int =\n    self.age\n";
+    let src = "type Cat =\n  name: Str\n\n  fun getAge(self) -> Int =\n    self.age\n";
-    let top_level_src = "type Cat =\n  name: Str\n\nfun getAge<Cat>() -> Int =\n  self.age\n";
-    assert!(check_source(&parse(nested_src)).is_err());
+    assert!(check_source(&parse(src)).is_err());
-    assert!(check_source(&parse(top_level_src)).is_err());
 }
 #[test]
@@ -705,8 +700,8 @@ type Cat =
   name: Str
   age: Int
-fun haveBirthday<Cat>() =
+  fun haveBirthday() =
-  self.age = self.age + 1
+    self.age = self.age + 1
 ";
     let source = parse(src);
     assert!(check_source(&source).is_ok(), "expected Ok");

plum-wasm-codegen/tests/codegen_tests.rs CHANGED Viewed

@@ -150,8 +150,8 @@ type Cat =
   name: Str
   age: Int
-fun getAge<Cat>() -> Int =
+  fun getAge() -> Int =
-  self.age
+    self.age
 fun makeCat() -> Int =
   c = Cat(name: \"x\", age: 3)
@@ -391,8 +391,8 @@ type Cat =
   name: Str
   age: Int
-fun getAge<Cat>() -> Int =
+  fun getAge() -> Int =
-  self.age
+    self.age
 fun main() -> Int =
   c = Cat(name: \"x\", age: 7)
@@ -759,12 +759,12 @@ enum Option =
 type Box =
   value: Option
-fun unwrap<Box>(default: Int) -> Int =
+  fun unwrap(default: Int) -> Int =
-  match self.value
+    match self.value
-    Some(v) =>
+      Some(v) =>
-      return v
+        return v
-    None =>
+      None =>
-      return default
+        return default
 fun main() -> Int =
   b = Box(value: Some(42))
@@ -913,8 +913,8 @@ fn generic_class_specialized_at_two_types_does_not_alias() {
 type Box[T] =
   value: T
-fun getIntValue<Box>() -> Int =
+  fun getIntValue() -> Int =
-  self.value
+    self.value
 fun useInt() -> Int =
   b = Box(value: 7)
@@ -948,8 +948,8 @@ fn generic_method_on_generic_class_runs_correctly() {
 type Box[T] =
   value: T
-fun getValue<Box>() -> Int =
+  fun getValue() -> Int =
-  self.value
+    self.value
 fun main() -> Int =
   b = Box(value: 9)
@@ -1067,8 +1067,8 @@ fn ordinary_function_with_bare_generic_class_param_runs_correctly() {
 type Box[T] =
   value: T
-fun getBoxValue<Box>() -> Int =
+  fun getBoxValue() -> Int =
-  self.value
+    self.value
 fun sumBox(b: Box) -> Int =
   b.getBoxValue()
@@ -1433,8 +1433,8 @@ fn field_assignment_target_runs_correctly() {
 type Counter =
   value: Int
-fun bump<Counter>() =
+  fun bump() =
-  self.value = self.value + 1
+    self.value = self.value + 1
 fun main() -> Int =
   c = Counter(value: 41)
@@ -1455,8 +1455,8 @@ type Inner =
 type Outer =
   inner: Inner
-fun bump<Outer>() =
+  fun bump() =
-  self.inner.value = self.inner.value + 1
+    self.inner.value = self.inner.value + 1
 fun main() -> Int =
   o = Outer(inner: Inner(value: 9))