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 @@ -57,7 +57,7 @@ chain-fusion-signer v0.4.0
papi v0.1.1 168bc9d
ic-pub-key v1.0.1 f89fa55
icp-cli v1.0.0 9eed60c
motoko v1.10.1 46e0755
motoko v1.11.0 c3a6eb3
motoko-core v2.4.0 cd37dbf
cdk-rs ic-cdk v0.20.1 / ic-cdk-timers v1.0.0 / ic-cdk-executor v2.0.0 317f55c
candid 2025-12-18 # candid v0.10.20, didc v0.5.4 2e4a2cf
Expand Down
2 changes: 1 addition & 1 deletion .sources/motoko
Submodule motoko updated 59 files
+16 −0 Changelog.md
+2 −2 doc/md/examples/grammar.txt
+9 −9 flake.lock
+6 −0 src/codegen/compile_classical.ml
+10 −0 src/codegen/compile_enhanced.ml
+1 −1 src/docs/extract.ml
+2 −2 src/js/astjs.ml
+4 −1 src/lang_utils/error_codes.ml
+2 −2 src/lowering/desugar.ml
+2 −2 src/mo_def/arrange.ml
+4 −4 src/mo_def/compUnit.ml
+3 −3 src/mo_def/syntax.ml
+2 −2 src/mo_frontend/definedness.ml
+7 −3 src/mo_frontend/parser.mly
+1 −0 src/mo_frontend/scope.ml
+1 −0 src/mo_frontend/scope.mli
+41 −95 src/mo_frontend/static.ml
+3 −4 src/mo_frontend/static.mli
+3 −3 src/mo_frontend/traversals.ml
+93 −26 src/mo_frontend/typing.ml
+1 −1 src/mo_idl/mo_to_idl.ml
+2 −2 src/mo_interpreter/interpret.ml
+3 −0 src/wasm-exts/customModule.ml
+14 −1 src/wasm-exts/customModuleDecode.ml
+8 −0 src/wasm-exts/customModuleEncode.ml
+0 −2 test/fail/enhanced-migration-bad-let.mo
+0 −34 test/fail/enhanced-migration-no-sideeffects.mo
+5 −0 test/fail/mixin-system-redundant.mo
+7 −0 test/fail/mixin-system.mo
+5 −0 test/fail/mixins-system-nested-fail.mo
+5 −0 test/fail/mixins-system-nested.mo
+1 −2 test/fail/mixins-system.mo
+5 −0 test/fail/mixins/NestedSystem.mo
+5 −0 test/fail/mixins/NestedSystem2.mo
+4 −0 test/fail/mixins/System.mo
+4 −0 test/fail/mixins/System2.mo
+8 −27 test/fail/ok/enhanced-migration-bad-let.tc-human.ok
+3 −10 test/fail/ok/enhanced-migration-bad-let.tc.ok
+0 −8 test/fail/ok/enhanced-migration-no-sideeffects.tc-human.ok
+0 −2 test/fail/ok/enhanced-migration-no-sideeffects.tc.ok
+4 −0 test/fail/ok/mixin-system-redundant.tc-human.ok
+1 −0 test/fail/ok/mixin-system-redundant.tc.ok
+4 −0 test/fail/ok/mixin-system.tc-human.ok
+0 −0 test/fail/ok/mixin-system.tc-human.ret.ok
+1 −0 test/fail/ok/mixin-system.tc.ok
+0 −0 test/fail/ok/mixin-system.tc.ret.ok
+5 −0 test/fail/ok/mixins-system-nested-fail.tc-human.ok
+1 −0 test/fail/ok/mixins-system-nested-fail.tc-human.ret.ok
+2 −0 test/fail/ok/mixins-system-nested-fail.tc.ok
+1 −0 test/fail/ok/mixins-system-nested-fail.tc.ret.ok
+2 −0 test/fail/ok/warn-help.tc-human.ok
+2 −0 test/fail/ok/warn-help.tc.ok
+17 −0 test/run-drun/enhanced-migration-mixin.mo
+9 −0 test/run-drun/enhanced-migration-mixin/Mixin.mo
+9 −0 test/run-drun/enhanced-migration-mixin/migrations/version1.mo
+2 −0 test/run-drun/ok/enhanced-migration-mixin.drun-run.ok
+6 −0 test/run/float32-precision.mo
+3 −0 test/run/float32.mo
+1 −0 test/run/ok/float32-precision.tc.ok
16 changes: 16 additions & 0 deletions docs/languages/motoko/reference/changelog.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,22 @@ sidebar:

# Motoko compiler changelog

## 1.11.0 (2026-06-29)

* motoko (`moc`)

* feat: `moc` now emits the standardized `target_features` Wasm custom section, so `binaryen`-based tools (`wasm-opt`, `ic-wasm optimize`, `dfx`'s `optimize`) accept and optimize Motoko output without per-tool feature flags. Previously these tools defaulted to MVP and rejected the `multivalue`/`bulk-memory`/`memory64` features moc relies on (#6214).

* feat: a `Float32` literal written with more precision than the type can hold now warns (M0266), suggesting the shortest equivalent: e.g. `0.123456789 : Float32` → `0.12345679`. The surplus digits were already silently discarded by rounding; the warning fires only on genuine excess (minimal literals like `0.1`/`3.14` stay quiet) (#6198).

* feat: allow requiring `system` capability for `mixin` definitions (#6211).
This makes the capability available in initializers and the `mixin` body.
`<system>` then needs to appear on the corresponding `include`.

* feat: allow effectful code in transient `let`s and in `actor`/`mixin` bodies with `--enhanced-migration` (#6191).

* bugfix: `--enhanced-migration` now also applies to `mixin`s and considers their stable fields when checking migrations (#6183).

## 1.10.1 (2026-06-24)

* motoko (`moc`)
Expand Down
Loading