d958617 | plum

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

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

d958617 — Peter John 2026-07-24T11:41:06+05:30

test(plum-wasm-codegen): migrate test fixtures to bracket generics syntax

Files changed (1) hide show

plum-wasm-codegen/tests/codegen_tests.rs +28 -28

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

@@ -215,11 +215,11 @@ fn match_string_pattern_is_a_clear_error() {
 fn nested_constructor_pattern_matches_and_binds_runs_correctly() {
     let src = "\
 enum Option =
-  | Some(Int)
+  | Some[Int]
   | None
 enum Nested =
-  | Wrap(Option)
+  | Wrap[Option]
   | Empty
 f(n: Nested) -> Int =
@@ -245,11 +245,11 @@ fn nested_constructor_pattern_mismatch_falls_through_to_next_case_runs_correctly
     // through to the next *top-level* case, not just fail to bind `v`.
     let src = "\
 enum Option =
-  | Some(Int)
+  | Some[Int]
   | None
 enum Nested =
-  | Wrap(Option)
+  | Wrap[Option]
   | Empty
 f(n: Nested) -> Int =
@@ -278,11 +278,11 @@ fn nested_constructor_pattern_against_a_specialized_generic_enum_runs_correctly(
     // just the outermost one.
     let src = "\
 enum Option =
-  | Some(a)
+  | Some[T]
   | None
 enum Box =
-  | Full(a)
+  | Full[T]
   | Empty
 unwrap(b: Box) -> Int =
@@ -305,7 +305,7 @@ fn doubly_nested_constructor_pattern_runs_correctly() {
     // one level deep.
     let src = "\
 enum Option =
-  | Some(Option)
+  | Some[Option]
   | None
 unwrapTwice(o: Option) -> Int =
@@ -578,7 +578,7 @@ main() -> Int =\n  x = Green\n  0\n";
 fn payload_variant_construction_compiles_and_runs() {
     let src = "\
 enum Option =
-  | Some(Int)
+  | Some[Int]
   | None
 unwrapOr(o: Option, default: Int) -> Int =
@@ -600,8 +600,8 @@ main() -> Int =
 fn multi_field_variant_construction_compiles_and_runs() {
     let src = "\
 enum Shape =
-  | Rect(Int, Int)
+  | Rect[Int, Int]
-  | Circle(Int)
+  | Circle[Int]
 area(s: Shape) -> Int =
   match s
@@ -647,7 +647,7 @@ main() -> Int =
 fn constructor_pattern_wildcard_field_runs_correctly() {
     let src = "\
 enum Option =
-  | Some(Int)
+  | Some[Int]
   | None
 isSome(o: Option) -> Int =
@@ -672,7 +672,7 @@ fn constructor_pattern_does_not_misfire_on_payload_free_sibling() {
     // sibling value as if it were a pointer to a `Some` payload.
     let src = "\
 enum Option =
-  | Some(Int)
+  | Some[Int]
   | None
 unwrapOr(o: Option, default: Int) -> Int =
@@ -696,7 +696,7 @@ fn enum_class_field_construct_and_destructure_runs_correctly() {
     // payload variant, then matched via the class field.
     let src = "\
 enum Option =
-  | Some(Int)
+  | Some[Int]
   | None
 type Box =
@@ -794,7 +794,7 @@ main() -> Int =
 fn tail_enum_match_without_return_runs_correctly() {
     let src = "\
 enum Option =
-  | Some(Int)
+  | Some[Int]
   | None
 unwrapOr(o: Option, default: Int) -> Int =
@@ -853,8 +853,8 @@ bad(n: Int) -> Int =
 #[test]
 fn generic_class_specialized_at_two_types_does_not_alias() {
     let src = "\
-type Box(a) =
+type Box[T] =
-  value: a
+  value: T
 getIntValue<Box>() -> Int =
   self.value
@@ -874,7 +874,7 @@ main() -> Int =
 #[test]
 fn generic_function_called_at_multiple_concrete_types_runs_correctly() {
     let src = "\
-identity(value: a) -> a =
+identity(value: T) -> T =
   value
 main() -> Int =
@@ -888,8 +888,8 @@ main() -> Int =
 #[test]
 fn generic_method_on_generic_class_runs_correctly() {
     let src = "\
-type Box(a) =
+type Box[T] =
-  value: a
+  value: T
 getValue<Box>() -> Int =
   self.value
@@ -906,10 +906,10 @@ main() -> Int =
 #[test]
 fn transitively_generic_call_chain_runs_correctly() {
     let src = "\
-identity(value: a) -> a =
+identity(value: T) -> T =
   value
-doubled(value: a) -> Int =
+doubled(value: T) -> Int =
   identity(value) + identity(value)
 main() -> Int =
@@ -924,7 +924,7 @@ main() -> Int =
 fn generic_enum_specialized_and_matched_runs_correctly() {
     let src = "\
 enum Option =
-  | Some(a)
+  | Some[T]
   | None
 unwrapOr(o: Option, default: Int) -> Int =
@@ -953,7 +953,7 @@ fn generic_enum_multiple_instantiations_coexist_and_run_correctly() {
     // coexists with `Option$Int` and both run correctly, not string processing.
     let src = "\
 enum Option =
-  | Some(a)
+  | Some[T]
   | None
 unwrapIntOr(o: Option, default: Int) -> Int =
@@ -986,7 +986,7 @@ fn same_bare_generic_enum_param_function_called_multiple_times_runs_correctly()
     // produces identical specialized code on both call sites, not aliased/incorrect code.
     let src = "\
 enum Option =
-  | Some(a)
+  | Some[T]
   | None
 unwrapOr(o: Option, default: Int) -> Int =
@@ -1007,8 +1007,8 @@ main() -> Int =
 #[test]
 fn ordinary_function_with_bare_generic_class_param_runs_correctly() {
     let src = "\
-type Box(a) =
+type Box[T] =
-  value: a
+  value: T
 getBoxValue<Box>() -> Int =
   self.value
@@ -1174,7 +1174,7 @@ main() -> Int =
 #[test]
 fn closure_passed_through_already_generic_higher_order_function_runs_correctly() {
     let src = "\
-identity(value: a) -> a =
+identity(value: T) -> T =
   value
 each(cb: fn(Int) -> Int) -> Int =
@@ -1354,7 +1354,7 @@ fn multi_subject_match_with_generic_enum_variant_runs_correctly() {
     // specialization (`Some$Int`) must be mangled independently per position.
     let src = "\
 enum Option =
-  | Some(a)
+  | Some[T]
   | None
 both(a: Option, b: Option) -> Int =