Dev log: implementing new syntax in GHC (opens in new tab)

In September 2024, I started working on a patch to GHC. The story starts slightly before that. In July 2024 I wondered . It seemed like a fairly small improvement that I could possibly even implement myself. The answer was, roughly, "someone's suggested it, and people are broadly in favor, but with different syntax that doesn't yet exist". So it seems the story is, people want to phase out use of these annotations (which are weird because comments shouldn't change whether a program is accepte...