plum
git clone https://git.pyrossh.dev/plum
A statically typed, imperative programming language inspired by rust, python
9d5550e
— Peter John
2026-08-09T18:44:04+05:30
test: confirm nested type/enum methods behave identically to top-level ones
plum-checker/tests/checker_tests.rs
CHANGED
|
@@ -199,7 +199,7 @@ fn bare_enum_tag_unifies_with_owning_enum_type() {
|
|
|
199
199
|
// fail with a type mismatch.
|
|
200
200
|
let src = "\
|
|
201
201
|
enum Option =
|
|
202
|
-
| Some
|
|
202
|
+
| Some[Int]
|
|
203
203
|
| None
|
|
204
204
|
|
|
205
205
|
fun isNone(o: Option) -> Bool = o == None
|