Skip to content

Draft: WIP: Allow signatures without a binding #22642

Audun Gevelt requested to merge agevelt/ghc:22642-signatures-without-binding into master

I'm trying to take a crack at #22642 as a first issue to get into GHC hacking. This is a very WIP MR to get some feedback on whether I am on the right track, after a suggestion from @mpickering.

So far I've made a general flag Opt_DeferMissingDeclErrors and a warning flag Opt_warnMissingDeclarations. The warning is added in the renamer, along a binding with the undeclaredKey id. The next step is matching on the undeclaredKey id somewhere in dsHsBind, and inserting an error expression.

Does this seem like the right approach?

Merge request reports