Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .sources/VERSIONS
Original file line number Diff line number Diff line change
Expand Up @@ -38,5 +38,5 @@
# appear in docs before they ship to users.
# -------------------------------------------------------

motoko v1.14.1 58c3239
motoko v1.15.0 0cc90c1
internetidentity release-2026-08-21 4c934d1f
2 changes: 1 addition & 1 deletion .sources/motoko
Submodule motoko updated 87 files
+1 −1 .github/workflows/ai-review.yml
+1 −1 .github/workflows/build.yml
+1 −1 .github/workflows/release.yml
+1 −1 .github/workflows/update-flake-lock-trial.yml
+1 −1 .github/workflows/update-flake-lock.yml
+6 −0 AGENTS.md
+23 −0 Changelog.md
+3 −3 flake.lock
+3 −2 src/lang_utils/error_codes.ml
+2 −2 src/mo_config/args.ml
+2 −1 src/mo_config/flags.ml
+75 −0 src/mo_frontend/stability.ml
+4 −0 src/mo_frontend/stability.mli
+94 −47 src/mo_frontend/typing.ml
+1 −1 src/pipeline/pipeline.ml
+12 −0 test/fail/em-baseline-history-mismatch.mo
+11 −0 test/fail/em-baseline-legacy-with-a-and-c.mo
+11 −0 test/fail/em-baseline-legacy-with-a-only.mo
+12 −0 test/fail/em-baseline-legacy-with-x-only.mo
+11 −0 test/fail/em-baseline-trimmed-history.mo
+10 −0 test/fail/em-baseline-with-a-b-at-m1.mo
+11 −0 test/fail/em-baseline-with-a-b-c-at-m1.mo
+12 −0 test/fail/em-baseline-with-a-b-q-extra-at-m1.mo
+10 −0 test/fail/em-baseline-with-b-at-m2.mo
+11 −0 test/fail/em-baseline-with-b-c-at-m2.mo
+1 −1 test/fail/em-baseline-with-x-and-extra.mo
+1 −1 test/fail/em-baseline-with-x-bad-n.mo
+9 −0 test/fail/enhanced-migration/baselines/history-mismatch.most
+8 −0 test/fail/enhanced-migration/baselines/legacy-with-a-and-c.most
+4 −0 test/fail/enhanced-migration/baselines/legacy-with-a-only.most
+4 −0 test/fail/enhanced-migration/baselines/legacy-with-x-only.most
+10 −0 test/fail/enhanced-migration/baselines/trimmed-history.most
+8 −0 test/fail/enhanced-migration/baselines/with-a-b-at-m1.most
+9 −0 test/fail/enhanced-migration/baselines/with-a-b-c-at-m1.most
+10 −0 test/fail/enhanced-migration/baselines/with-a-b-q-extra-at-m1.most
+8 −0 test/fail/enhanced-migration/baselines/with-b-at-m2.most
+9 −0 test/fail/enhanced-migration/baselines/with-b-c-at-m2.most
+4 −0 test/fail/enhanced-migration/enh-mig-history/m0.mo
+4 −0 test/fail/enhanced-migration/enh-mig-history/m1.mo
+4 −0 test/fail/enhanced-migration/enh-mig-history/m3.mo
+4 −0 test/fail/enhanced-migration/enh-mig-history/m4.mo
+6 −0 test/fail/enhanced-migration/enh-mig-test4/m1.mo
+4 −0 test/fail/enhanced-migration/enh-mig-test4/m2.mo
+1 −1 test/fail/mixin-system-redundant.mo
+19 −0 test/fail/ok/em-baseline-history-mismatch.tc-human.ok
+0 −0 test/fail/ok/em-baseline-history-mismatch.tc-human.ret.ok
+6 −0 test/fail/ok/em-baseline-history-mismatch.tc.ok
+0 −0 test/fail/ok/em-baseline-history-mismatch.tc.ret.ok
+6 −0 test/fail/ok/em-baseline-legacy-with-a-only.tc-human.ok
+0 −0 test/fail/ok/em-baseline-legacy-with-a-only.tc-human.ret.ok
+3 −0 test/fail/ok/em-baseline-legacy-with-a-only.tc.ok
+0 −0 test/fail/ok/em-baseline-legacy-with-a-only.tc.ret.ok
+27 −0 test/fail/ok/em-baseline-legacy-with-x-only.tc-human.ok
+1 −0 test/fail/ok/em-baseline-legacy-with-x-only.tc-human.ret.ok
+8 −0 test/fail/ok/em-baseline-legacy-with-x-only.tc.ok
+1 −0 test/fail/ok/em-baseline-legacy-with-x-only.tc.ret.ok
+6 −0 test/fail/ok/em-baseline-with-a-b-at-m1.tc-human.ok
+1 −0 test/fail/ok/em-baseline-with-a-b-at-m1.tc-human.ret.ok
+3 −0 test/fail/ok/em-baseline-with-a-b-at-m1.tc.ok
+1 −0 test/fail/ok/em-baseline-with-a-b-at-m1.tc.ret.ok
+23 −0 test/fail/ok/em-baseline-with-a-b-q-extra-at-m1.tc-human.ok
+1 −0 test/fail/ok/em-baseline-with-a-b-q-extra-at-m1.tc-human.ret.ok
+12 −0 test/fail/ok/em-baseline-with-a-b-q-extra-at-m1.tc.ok
+1 −0 test/fail/ok/em-baseline-with-a-b-q-extra-at-m1.tc.ret.ok
+6 −0 test/fail/ok/em-baseline-with-b-at-m2.tc-human.ok
+1 −0 test/fail/ok/em-baseline-with-b-at-m2.tc-human.ret.ok
+3 −0 test/fail/ok/em-baseline-with-b-at-m2.tc.ok
+1 −0 test/fail/ok/em-baseline-with-b-at-m2.tc.ret.ok
+2 −7 test/fail/ok/em-baseline-with-x-and-extra.tc-human.ok
+1 −0 test/fail/ok/em-baseline-with-x-and-extra.tc-human.ret.ok
+2 −0 test/fail/ok/em-baseline-with-x-and-extra.tc.ok
+1 −0 test/fail/ok/em-baseline-with-x-and-extra.tc.ret.ok
+15 −0 test/fail/ok/em-baseline-with-x-bad-n.tc-human.ok
+1 −0 test/fail/ok/em-baseline-with-x-bad-n.tc-human.ret.ok
+12 −0 test/fail/ok/em-baseline-with-x-bad-n.tc.ok
+1 −0 test/fail/ok/em-baseline-with-x-bad-n.tc.ret.ok
+1 −1 test/fail/ok/mixin-system-redundant.tc-human.ok
+0 −4 test/fail/ok/multi-migration-baseline-discard.tc.ok
+0 −31 test/fail/ok/multi-migration-baseline.tc-human.ok
+0 −16 test/fail/ok/multi-migration-baseline.tc.ok
+1 −0 test/fail/ok/warn-help.tc-human.ok
+1 −0 test/fail/ok/warn-help.tc.ok
+2 −0 test/run-drun/mixins-system-redundant.drun
+16 −0 test/run-drun/mixins-system-redundant/mixins-system-redundant.mo
+3 −0 test/run-drun/mixins-system-redundant/mixins/Plain.mo
+2 −0 test/run-drun/ok/mixins-system-redundant.drun-run.ok
+3 −0 test/run-drun/ok/mixins-system-redundant.drun.ok
23 changes: 23 additions & 0 deletions docs/languages/motoko/reference/changelog.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,29 @@ sidebar:

# Motoko compiler changelog

## 1.15.0 (2026-08-28)

* motoko (`moc`)

* feat: with `--stable-baseline` and `--enhanced-migration`, the migration
directory is now validated against the migration history the baseline
records as already applied: a deployed migration that was deleted (unless
all older ones are deleted too), edited in place, or a local migration
backdated to sort before the deployed head reports the new M0268
diagnostic, a warning treated as an error by default (demote with
`-W=M0268`, silence with `-A=M0268`) (#6325).

* bugfix: with `--stable-baseline` and `--enhanced-migration`, the M0254/M0267
check now honors the migrations the baseline records as already applied:
requirements are computed at the chain's resume point instead of replaying
the whole chain, and fields the baseline explains no longer warn M0254;
a field missing from the baseline errors with M0267 naming the resume
point, while an incompatible one keeps the detailed M0170/M0216
compatibility errors. Each problem is reported once, and the
write-a-migration hint is only offered when adding a migration file can
actually fix the field (#6318).
* bugfix: fixes compilation error on <system>-enabled mixin (#6328).

## 1.14.1 (2026-08-17)

* motoko (`moc`)
Expand Down
Loading