Skip to content

Draft: ImplicitForAll and -Wpattern-signature-binds

Torsten Schmits requested to merge torsten.schmits/ghc:torsten.schmits/implicit-forall into master
  • Docs are still missing.
  • Not all cases have been implemented yet.
  • The entire test suite was not checked yet.
  • Add an "NB" when the extension is off, alerting a user who might not be aware, working on a foreign code base

For now, some input on what's correct behaviour would be appreciated!

This MR implements the proposal 285, which has been absorbed into 448 in modified form.

Work sponsored by Tweag ✨

Edited by Andreas Klebinger

Merge request reports