Skip to content

Commit 467dceb

Browse files
committed
up
1 parent 46af76e commit 467dceb

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

.agents/skills/writing-motoko/SKILL.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ Motoko is under-represented in training data — always favour this skill and it
2727
- Contextual dot notation — `list.add(item)`, `map.get(key)`
2828
- Enhanced orthogonal persistence (state persists without `stable`)
2929
- Principled architecture — `types.mo`, `lib/`, `mixins/`, `main.mo`
30-
**For actor upgrades/migrations:** load `migrating-motoko` for inline migration or `migrating-motoko-enhanced` for multi-migration with `--enhanced-migration`. Under `--enhanced-migration`, actor fields **cannot** have initializers — declare them as `var x : T;` and set initial values in the first migration. The actor examples in this skill use initializers and would need adjustment for enhanced-migration projects.
30+
**For actor upgrades/migrations:** load `migrating-motoko` for inline migration or `migrating-motoko-enhanced` for multi-migration with `--enhanced-migration`. Under `--enhanced-migration`, actor fields **cannot** have initializers — declare them as `var x : T;` and set initial values in the migration that introduces them. The actor examples in this skill use initializers and would need adjustment for enhanced-migration projects.
3131

3232
## Compiler Flags
3333

.agents/skills/writing-motoko/examples.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@
22

33
Complete working examples demonstrating modern Motoko patterns. All examples verified with moc 1.5.0.
44

5-
> **Heads-up — enhanced migration:** the actor examples below declare fields with initializers (`let users = List.empty(); var nextId = 0;`). Under `--enhanced-migration`, actor fields **cannot** have initializers — declare them as `var nextId : Nat;` and set initial values in the first migration file. See the `migrating-motoko-enhanced` skill.
5+
> **Heads-up — enhanced migration:** the actor examples below declare fields with initializers (`let users = List.empty(); var nextId = 0;`). Under `--enhanced-migration`, actor fields **cannot** have initializers — declare them as `var nextId : Nat;` and set initial values in the migration file that introduces them. See the `migrating-motoko-enhanced` skill.
66
77
## Principled Architecture
88

0 commit comments

Comments
 (0)