87b54a9 | plum

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

87b54a9 — Peter John 2026-07-20T13:33:14+05:30

docs+test: restore examples/match.plum to idiomatic bare-tail style; tail-position gap fixed

Files changed (2) hide show

README.md CHANGED Viewed

@@ -324,6 +324,5 @@ Some things parse and type-check but don't compile to wasm yet — `plum-wasm-co
 - multi-subject `match` (`match a, b`)
 - user-defined generics (they type-check but aren't monomorphized) — this also blocks `libs/std`'s actual `Option`/`Result`/`List`/`Map`, which are declared generically
 - nested constructor patterns inside `match` (`Some(Some(v))`) — a constructor pattern's own sub-patterns must be a bare binding or `_`
-- a function body's final statement being a `match`/`if` whose arms don't all use explicit `return` — the arm values are silently dropped instead of returned, producing invalid wasm rather than a clear error (workaround: always `return` from match/if arms in tail position)
 `closure` (`|params| body`) exists in `grammar.js` but isn't wired into any reachable rule yet, so it doesn't actually parse in context.

examples/match.plum CHANGED Viewed

@@ -10,39 +10,39 @@ enum Option =
 describeNumber(n: Int) -> Str =
   match n
     0 =>
-      return "zero"
+      "zero"
     1 =>
-      return "one"
+      "one"
     _ =>
-      return "many"
+      "many"
 describeBool(b: Bool) -> Int =
   match b
     True =>
-      return 1
+      1
     False =>
-      return 0
+      0
 bindExample(n: Int) -> Int =
   match n
     x =>
-      return x
+      x
 describeColor(c: Color) -> Str =
   match c
     Red =>
-      return "red"
+      "red"
     Green =>
-      return "green"
+      "green"
     Blue =>
-      return "blue"
+      "blue"
 describeOption(opt: Option) -> Int =
   match opt
     Some(v) =>
-      return v
+      v
     None =>
-      return 0
+      0
 main() -> Int =
   describeOption(Some(5))