Closed mucaho closed 9 years ago
While I think it's good to design code in the spirit of SafeHaskell, the actual implementation is too invasive on user code, because it requires people that don't care about still might have to annotate their code if their dependencies do.
Ok, I just hope people become aware of SafeHaskell and it is used more in future.
it requires people that don't care about still might have to annotate their code if their dependencies do
So even if user code isn't explicitly compiled with any of the SafeHaskell flags, the compiler might still complain about some of the dependencies?
What do you think about recommending to add a SafeHaskell language pragma to every module? As stated in the page, it enforces good programming style (similar to the part about data laziness).