Proposal: add `Prelude.todo :: a`

[atravers]

…yes, @MangoIV raised it here too:

The `todo` function

I hope to add the todo function to the GHC’s base Prelude and hence opened a proposal with the core libraries committee: Please do not hesitate to leave a heart and comment if you have something to say on this topic. If you find any errors or weirdnesses in the proposal itself, please comment under this post, not the proposal. Thank you!

---

@Bodigrim

[…] comments express a certain reluctance to extend Prelude.

Adding something like todo :: a to the Prelude would go against the trend towards totality in Haskell - I can’t find it right now, but someone recently bemoaned the existence of Prelude.error …