Skip to content

Merge experiments onto main 2025-06-07#37

Merged
wavewave merged 7 commits into
mainfrom
experiments-20250607
Jun 7, 2025
Merged

Merge experiments onto main 2025-06-07#37
wavewave merged 7 commits into
mainfrom
experiments-20250607

Conversation

@wavewave

@wavewave wavewave commented Jun 7, 2025

Copy link
Copy Markdown
Collaborator

Towards memory-behavior fix,

  • Simplify the cache handler for make mode
  • Force env.log when pushing the log hook to avoid capturing the Args

and for debug logging

  • Debug print (ghcLogd) using GHC warning diagnostics logging

and a few refactors.

tek and others added 7 commits June 7, 2025 06:56
Change-Id: Ie3fd1e12e4dcc81b1a7322ae777d3ea9585e0d9a
Change-Id: Ia621c080c01efbfb14fe7d8ddf605da9ca9dbbba
Change-Id: Ibde2675b91ffd42a04fa4392107ed54344712317
Change-Id: I5f0283124ce0253195a7766bd9f24fc0b1182507
No functionality changes

Change-Id: Iccd42e352c40d8deb3d15185f67a18178beadeb9
Change-Id: Idf646f3c063874bccab222c363f56ed7d8aa2d0e
Change-Id: If7c9f336982548000a3b6614a648f0fd82e29943
@wavewave wavewave merged commit 176658d into main Jun 7, 2025
1 check failed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants