plum

# Project Context — plum (updated 2026-07-20T21:06:26)

_Generated locally by Recall — TextRank (vendored, numpy-accelerated)._

## 🎯 Goal
Do you want to completely implement the standard library like List, Map, Enum completely and type check and compile them to see if they work? Honestly, this would be a much bigger undertaking than what we've done so far — List/Map need real generics monomorphization (there's currently none; user-defined generics type-check but don't compile, per the README's Known gaps) plus a growable-memory runtime (the current bump allocator never resizes or frees), and general Enum support needs a runtime ta…

## 🧭 Summary
- <task-id>a3a9df0eb061889e5</task-id>
- <task-id>aa93a0b92186e335d</task-id>
- <task-id>a7c05a66e453e9fc7</task-id>
- <task-id>a50ac39524b3a83d6</task-id>
- <task-id>a527ef038e07d98b5</task-id>
- <task-id>a61ac371a07e0a4ac</task-id>
- <task-id>a3121982d2d930f6c</task-id>
- <task-id>a9ab25fe3cb73fe68</task-id>

## ⏭️ Next steps / open threads
- Implementer: "Before I begin - should the hook be installed at user or system level?"
- What would you like to do?
- If you haven't completed Phase 1, you cannot propose fixes.
- My actual edits (grammar.js, match.txt, corpus renames) are safely preserved in `stash@{0}` — I just need to reset the incidentally-regenerated files to HEAD and re-apply the stash.
- Now let's check the two remaining direct `.index` usages seen earlier that weren't behind `ok_or_else`.
- Uncommitted changes to wrap up: .recall/, tooling/tree-sitter-plum/.recall/

## 📂 Files touched
- /Users/pyrossh/Code/plum/docs/superpowers/specs/2026-07-19-general-enum-support-design.md
- /Users/pyrossh/Code/plum/plum-checker/src/lib.rs
- /Users/pyrossh/Code/plum/plum-core/src/ast.rs
- /Users/pyrossh/Code/plum/plum-core/src/parser.rs
- /Users/pyrossh/Code/plum/tooling/tree-sitter-plum/grammar.js
- /Users/pyrossh/Code/plum/plum-wasm-codegen/src/lib.rs
- /Users/pyrossh/Code/plum/plum-checker/tests/checker_tests.rs
- /Users/pyrossh/Code/plum/plum-wasm-codegen/tests/codegen_tests.rs
- /Users/pyrossh/Code/plum/plum-checker/tests/examples_test.rs
- /Users/pyrossh/Code/plum/plum-wasm-codegen/tests/examples_test.rs
- /Users/pyrossh/Code/plum/examples/match.plum
- /Users/pyrossh/Code/plum/docs/superpowers/plans/2026-07-19-general-enum-support.md
- /Users/pyrossh/Code/plum/.superpowers/sdd/progress.md
- /Users/pyrossh/Code/plum/plum-cli/src/main.rs
- /Users/pyrossh/Code/plum/.superpowers/sdd/task-5-report.md
- /Users/pyrossh/Code/plum/docs/superpowers/specs/2026-07-20-tail-position-and-grammar-gaps-design.md
- /Users/pyrossh/Code/plum/README.md
- /Users/pyrossh/Code/plum/docs/superpowers/plans/2026-07-20-tail-position-and-grammar-gaps.md
- /Users/pyrossh/Code/plum/docs/superpowers/specs/2026-07-20-generics-monomorphization-design.md
- /Users/pyrossh/Code/plum/plum-checker/src/types.rs
- /Users/pyrossh/Code/plum/docs/superpowers/plans/2026-07-20-generics-monomorphization.md
- /Users/pyrossh/Code/plum/.superpowers/sdd/task-2-report.md
- /Users/pyrossh/Code/plum/docs/superpowers/specs/2026-07-20-generic-enum-multi-instantiation-design.md
- /Users/pyrossh/Code/plum/plum-checker/src/monomorphize.rs
- /Users/pyrossh/Code/plum/docs/superpowers/plans/2026-07-20-generic-enum-multi-instantiation.md
- /Users/pyrossh/Code/plum/.superpowers/sdd/task-1-report.md
- /Users/pyrossh/Code/plum/docs/superpowers/specs/2026-07-20-closures-design.md

## 🔧 Commands run
- sed -n '1,400p' README.md | grep -n -i "known gap\|enum\|generic" -A3 -B1
- find . -iname "*.plum" -path "*enum*" -o -iname "*.plum" | xargs grep -l "enum" -i 2>/dev/null
- ls libs/std/; echo ---; cat libs/std/option.plum; echo ---; cat libs/std/result.plum
- grep -n "enum\|variant\|Bool\|True\|False" plum-checker/src/types.rs | head -60
- grep -n "enum\|variant\|Bool\|True\|False" plum-wasm-codegen/src/lib.rs | head -80
- grep -n "bump_global\|fn compile_new\|struct_offset\|field_offset\|ast::Expr::New\|memory\|MemoryType\|alloc" plum-wasm-codegen/src/lib.rs | head -60
- grep -n "enum_variant\|variant" tooling/tree-sitter-plum/grammar.js
- grep -n "Enum\|Variant" plum-core/src/ast.rs
- sed -n '55,90p' plum-core/src/ast.rs; echo ---GRAMMAR---; grep -n "variant\|enum" tooling/tree-sitter-plum/grammar.js -i
- sed -n '125,160p' tooling/tree-sitter-plum/grammar.js
- grep -n "EnumVariant\|enum_variants\|construct\|Call(" plum-checker/src/lib.rs | head -50
- ls docs/superpowers/specs/ 2>/dev/null
- git add docs/superpowers/specs/2026-07-19-general-enum-support-design.md && git commit -m "$(cat <<'EOF' docs: add design spec for general enum support in check
- grep -n "ClassCall\|FieldArg\|CasePattern::Class\|fn parse_call\|positional" plum-core/src/parser.rs | head -60
- grep -n "class_call\|class_argument_list\|fn_call\|fn_argument_list" tooling/tree-sitter-plum/grammar.js
- …and 102 more

## ⏱ Where we left off
Spec written and committed to [2026-07-20-closures-design.md](docs/superpowers/specs/2026-07-20-closures-design.md). Please review it before I write the implementation plan.

## 🌿 Git ground-truth
```
Recent commits:
4f1f2b6 docs: add design spec for closures
b6a9042 test(plum-wasm-codegen): cover same bare-generic-enum-param function at multiple instantiations
2216237 feat(plum-checker): support multiple concrete instantiations of the same generic enum
e698d53 docs: revise generic-enum plan with bare-generic-typed-param fix as Task 1
84e946f docs: amend generic-enum spec with bare-generic-typed-param fix
aedebc1 docs: add implementation plan for generic-enum multi-instantiation
32da118 docs: add design spec for generic-enum multi-instantiation support
6613e6d test(plum-checker): mark slow recursion-guard test as ignored by default
```