Native Data.Int.Bits intrinsics; fix a dropped perform of user Effect functions - #42

Merged

katsujukou merged 11 commits into

purs-wasm:mainfrom

harryprayiv:bitwise-update

Jun 17, 2026

Commits on Jun 16, 2026

bitwise operators added
harryprayiv
committed
4faf6da
bitwise operators
harryprayiv
committed
e3e4fb6
Merge branch 'purs-wasm:main' into bitwise-update
harryprayiv
authored
4f0840b
make a performed application saturate as a direct call (the way the foreign path already does)
harryprayiv
committed
67cac36
[Bugfix] ADR-0015: run a performed user Effect function instead of dropping it
harryprayiv
committed
f41c1fe

Commits on Jun 17, 2026

[Test] ADR-0015: e2e guard for discarded performs of non-inlined user Effect fns This bug was invisible: nothing asserted that a discarded `perform (f x)` actually ran, so the dropped effect faile…
harryprayiv
committed
309bd83
drop debug
harryprayiv
committed
74356c0
[Docs] ADR-0017: correct the origin of `isEffectForeignApp` over-coverage, which is `Externs.foreignSigs`, not ADR0016
katsujukou
committed
7733755
[Docs] Intrinsics: doc comments for bit-wise operators
katsujukou
committed
f0f8e17
[Docs] Lower: remove unnecessary comments
katsujukou
committed
5b1561f
[Chore] repo: reverte project configuration files
katsujukou
committed
fa863e9