23 Dec
2019
23 Dec
'19
7:02 a.m.
On Mon, 23 Dec 2019, Vilem Liepelt wrote:
I agree that `error`/`undefined` can be legitimate; however often this legitimacy rests on invariants that aren't necessary stable under change-types-and-fix-errors-until-things-type-check style refactoring! So after refactoring I'd like to switch on my `error`/`undefined` warnings temporarily.
I assume a TotalHaskell pragma was proposed in the past. Would this help?