ghc-devs  

Messages by Thread

• • Re: GHC LLM policy take 2 Moritz Angermann via ghc-devs
  • Re: GHC LLM policy take 2 Wolfgang Jeltsch via ghc-devs
  • Re: GHC LLM policy take 2 Jaro Reinders via ghc-devs
  • Re: GHC LLM policy take 2 Jaro Reinders via ghc-devs
  • Re: GHC LLM policy take 2 Michael Peyton-Lebed via ghc-devs
  • Re: GHC LLM policy take 2 Jaro Reinders via ghc-devs
  • Re: GHC LLM policy take 2 Wolfgang Jeltsch via ghc-devs
  • Forks ? Imants Cekusins via ghc-devs
  • Re: Forks ? Moritz Angermann via ghc-devs
  • Re: Forks? Wolfgang Jeltsch via ghc-devs
  • Re: Forks? Moritz Angermann via ghc-devs
  • Re: Forks? Wolfgang Jeltsch via ghc-devs
  • Re: Forks? Carter Schonwald via ghc-devs
  • Re: GHC LLM policy take 2 Avi Press via ghc-devs
  • Re: GHC LLM policy take 2 Teo Camarasu via ghc-devs
  • Re: GHC LLM policy take 2 Michael Peyton-Lebed via ghc-devs
  • Re: GHC LLM policy take 2 damiancoding--- via ghc-devs
  • Re: GHC LLM policy take 2 Tom Ellis via ghc-devs
  • Re: GHC LLM policy take 2 Tom Ellis via ghc-devs
  • Re: GHC LLM policy take 2 Simon Peyton Jones via ghc-devs
  • Re: GHC LLM policy take 2 Wolfgang Jeltsch via ghc-devs
  • Re: GHC LLM policy take 2 amindfv--- via ghc-devs
  • Re: GHC LLM policy take 2 Rodrigo Mesquita via ghc-devs
  • Re: GHC LLM policy take 2 amindfv--- via ghc-devs
  • Re: GHC LLM policy take 2 Tom Ellis via ghc-devs
  • Re: GHC LLM policy take 2 Tom Ellis via ghc-devs
  • Re: GHC LLM policy take 2 amindfv--- via ghc-devs
  • Re: GHC LLM policy take 2 Simon Jakobi via ghc-devs
  • Re: GHC LLM policy take 2 Lyle Kopnicky via ghc-devs
• few minute gitlab downtime Magnus Viernickel via ghc-devs
• More Gitlab things Magnus Viernickel via ghc-devs
• Gitlab upgrade finished! Magnus Viernickel via ghc-devs
  • Re: Gitlab upgrade finished! Simon Peyton Jones via ghc-devs
• gitlab maintenance downtime starting soon Magnus Viernickel via ghc-devs
• LLM policy for GHC Simon Peyton Jones via ghc-devs
  • Re: LLM policy for GHC Sebastian Graf via ghc-devs
  • Re: LLM policy for GHC Brandon Allbery via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Wolfgang Jeltsch via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Wolfgang Jeltsch via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
  • Re: LLM policy for GHC Norman Ramsey via ghc-devs
  • Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
  • Re: LLM policy for GHC Julian Ospald via ghc-devs
  • Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
  • Re: LLM policy for GHC Julian Ospald via ghc-devs
  • Re: LLM policy for GHC Teo Camarasu via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Brandon Allbery via ghc-devs
  • Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
  • Re: LLM policy for GHC Carter Schonwald via ghc-devs
  • Re: LLM policy for GHC Simon Jakobi via ghc-devs
  • Re: LLM policy for GHC Sebastian Graf via ghc-devs
  • Re: LLM policy for GHC Wolfgang Jeltsch via ghc-devs
  • Re: LLM policy for GHC Harendra Kumar via ghc-devs
  • Re: LLM policy for GHC Bryan Richter via ghc-devs
  • Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
  • Re: LLM policy for GHC Wolfgang Jeltsch via ghc-devs
  • Re: LLM policy for GHC Harendra Kumar via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Julian Ospald via ghc-devs
  • Re: LLM policy for GHC Josh Meredith via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Josh Meredith via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Josh Meredith via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Simon Jakobi via ghc-devs
  • Re: LLM policy for GHC Wolfgang Jeltsch via ghc-devs
  • Re: LLM policy for GHC Wolfgang Jeltsch via ghc-devs
  • Re: LLM policy for GHC Tom Ellis via ghc-devs
  • Re: LLM policy for GHC Brandon Allbery via ghc-devs
  • Re: LLM policy for GHC Wolfgang Jeltsch via ghc-devs
  • Re: LLM policy for GHC amindfv--- via ghc-devs
  • Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Iavor Diatchki via ghc-devs
  • Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Andreas Klebinger via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Julian Ospald via ghc-devs
  • Re: LLM policy for GHC Wolfgang Jeltsch via ghc-devs
  • Re: LLM policy for GHC Simon Peyton Jones via ghc-devs
  • Re: LLM policy for GHC amindfv--- via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC amindfv--- via ghc-devs
  • Re: LLM policy for GHC Andreas Klebinger via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Julian Ospald via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Julian Ospald via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Brandon Allbery via ghc-devs
  • Re: LLM policy for GHC Julian Ospald via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Brandon Allbery via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Julian Ospald via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Julian Ospald via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Julian Ospald via ghc-devs
  • Re: LLM policy for GHC Magnus Viernickel via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Sebastian Graf via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Tom Ellis via ghc-devs
  • Re: LLM policy for GHC Harendra Kumar via ghc-devs
  • Re: LLM policy for GHC Tom Ellis via ghc-devs
  • Re: LLM policy for GHC Julian Ospald via ghc-devs
  • Re: LLM policy for GHC Hécate via ghc-devs
  • Re: LLM policy for GHC Moritz Angermann via ghc-devs
  • Re: LLM policy for GHC Mikolaj Konarski via ghc-devs
  • Re: LLM policy for GHC Andreas Klebinger via ghc-devs
  • Re: LLM policy for GHC Andrei Borzenkov via ghc-devs
• GitLab availability update Magnus Viernickel via ghc-devs
• Please don't use LLMs for my sake Jaro Reinders via ghc-devs
• gitlab account trouble, and bug report Evan Laforge via ghc-devs
• Build problem Simon Peyton Jones via ghc-devs
  • Re: Build problem Ben Gamari via ghc-devs
  • Re: Build problem Zubin Duggal via ghc-devs
• GHC 9.12.5 RC2 is now available Magnus Viernickel via ghc-devs
  • Re: GHC 9.12.5 RC2 is now available George Colpitts via ghc-devs
• GHC Status Report 2026 Andreas Klebinger via ghc-devs
  • Re: GHC Status Report 2026 Rodrigo Mesquita via ghc-devs
  • Re: GHC Status Report 2026 Teo Camarasu via ghc-devs
  • Re: GHC Status Report 2026 Simon Peyton Jones via ghc-devs
• MacOS and perf runner currently offline Magnus Viernickel via ghc-devs
• release progress GHC 9.12.5 Magnus Viernickel via ghc-devs
• Please rebase if you see an x86_64-darwin failure on your branches Magnus Viernickel via ghc-devs
• Boot libraries shipping with 9.12.5 Magnus Viernickel via ghc-devs
  • Re: Boot libraries shipping with 9.12.5 Jens Petersen via ghc-devs
  • Re: Boot libraries shipping with 9.12.5 Jens Petersen via ghc-devs
  • Re: Boot libraries shipping with 9.12.5 Oleg Grenrus via ghc-devs
  • Re: Boot libraries shipping with 9.12.5 Magnus Viernickel via ghc-devs
• Namespace-specific warning pragma example in user guide? Viktor Dukhovni via ghc-devs
• Re: CI "skipped" Sam Derbyshire via ghc-devs
  • Re: CI "skipped" Simon Peyton Jones via ghc-devs
• Backports for GHC 9.12.5 Magnus Viernickel via ghc-devs
• Backports for 9.10.4 Andreas Klebinger via ghc-devs
  • Re: Backports for 9.10.4 Jens Petersen via ghc-devs
• Short gitlab outage Magnus Viernickel via ghc-devs
• Looking for maintainer: ghc-exactprint Alan & Kim Zimmerman via ghc-devs
• Hadrian has broken my workflow Simon Peyton Jones via ghc-devs
  • Re: Hadrian has broken my workflow Simon Peyton Jones via ghc-devs
• gitlab downtime this morning Magnus Viernickel via ghc-devs
• Gitlab currently throwing a lot of 502s Magnus Viernickel via ghc-devs
  • Re: Gitlab currently throwing a lot of 502s Andreas Klebinger via ghc-devs
  • Re: Gitlab currently throwing a lot of 502s Magnus Viernickel via ghc-devs
  • Re: Gitlab currently throwing a lot of 502s Simon Peyton Jones via ghc-devs
  • Re: Gitlab currently throwing a lot of 502s Magnus Viernickel via ghc-devs
  • Re: Gitlab currently throwing a lot of 502s Tom Ellis via ghc-devs
  • Re: Gitlab currently throwing a lot of 502s Magnus Viernickel via ghc-devs
• Short emergency gitlab downtime to apply some fixes Magnus Viernickel via ghc-devs
• Gitlab API and web rate limiting for unauthenticated users Magnus Viernickel via ghc-devs
• Rotation of Marge's SSH key Magnus Viernickel via ghc-devs
• Reinstallable base failure -- help Simon Peyton Jones via ghc-devs
  • Re: Reinstallable base failure -- help Zubin Duggal via ghc-devs
  • Re: Reinstallable base failure -- help Simon Peyton Jones via ghc-devs
  • Re: Reinstallable base failure -- help Viktor Dukhovni via ghc-devs
  • Re: Reinstallable base failure -- help Sam Derbyshire via ghc-devs
  • Re: Reinstallable base failure -- help Simon Peyton Jones via ghc-devs
  • Re: Reinstallable base failure -- help Zubin Duggal via ghc-devs
• GHC change logs Simon Peyton Jones via ghc-devs
• Inplace libraries Simon Peyton Jones via ghc-devs
  • Re: Inplace libraries Oleg Grenrus via ghc-devs
  • Re: Inplace libraries Simon Peyton Jones via ghc-devs
  • Re: Inplace libraries Tom Smeding via ghc-devs
  • Re: Inplace libraries Simon Peyton Jones via ghc-devs
  • Re: Inplace libraries Oleg Grenrus via ghc-devs
  • Re: Inplace libraries Simon Peyton Jones via ghc-devs
  • Re: Inplace libraries Oleg Grenrus via ghc-devs
• Loss of debug output Simon Peyton Jones via ghc-devs
  • Re: Loss of debug output Simon Peyton Jones via ghc-devs
• If static001 fails on darwin, please rebase Magnus Viernickel via ghc-devs
• Upcoming fork for GHC 10.0, new changelog system for GHC 10.1 Zubin Duggal via ghc-devs
  • Marge bot paused for the fork Zubin Duggal via ghc-devs
  • Re: Marge bot paused for the fork Zubin Duggal via ghc-devs
  • Re: Marge bot paused for the fork Zubin Duggal via ghc-devs
• Boot libraries for GHC 10.0 Zubin Duggal via ghc-devs
• Recent Windows CI issues Cheng Shao via ghc-devs
• GHC 9.12.4 is now available Zubin Duggal via ghc-devs
• Strange "Unknown flag" message Simon Peyton Jones via ghc-devs
  • Re: Strange "Unknown flag" message Brandon Allbery via ghc-devs
  • Re: Strange "Unknown flag" message Teo Camarasu via ghc-devs
  • Re: Strange "Unknown flag" message Simon Peyton Jones via ghc-devs
  • Re: Strange "Unknown flag" message Simon Peyton Jones via ghc-devs
  • Re: Strange "Unknown flag" message Simon Peyton Jones via ghc-devs
  • Re: Strange "Unknown flag" message Andreas Klebinger via ghc-devs
  • Re: Strange "Unknown flag" message Teo Camarasu via ghc-devs
  • Re: Strange "Unknown flag" message Simon Peyton Jones via ghc-devs
  • Re: Strange "Unknown flag" message Teo Camarasu via ghc-devs
  • Re: Strange "Unknown flag" message Simon Peyton Jones via ghc-devs
• Wrapping up GHC work next week Matthew Pickering via ghc-devs
  • Re: Wrapping up GHC work next week Hécate via ghc-devs

• Earlier messages
• Later messages