Skip to content

WIP: Implementation of NoIncomplete

cgibbard requested to merge obsidiansystems/ghc:db-noincomplete-extension into master

This is an implementation of NoIncomplete (cf. https://github.com/ghc-proposals/ghc-proposals/pull/351) modulo the -fdeferred-* flags, so that we can start to get some feedback.

Thank you for your contribution to GHC!

Please take a few moments to verify that your commits fulfill the following:

  • are either individually buildable or squashed
  • have commit messages which describe what they do (referring to Notes and tickets using #NNNN syntax when appropriate)
  • have added source comments describing your change. For larger changes you likely should add a Note and cross-reference it from the relevant places.
  • add a testcase to the testsuite.
  • replace this message with a description motivating your change

If you have any questions don't hesitate to open your merge request and inquire in a comment. If your patch isn't quite done yet please do add prefix your MR title with WIP:.

Merge request reports