Are you aware of hole fit plugins Sandy? Do they provide a nice API for you to use?
This sounds like a cool and simple change anyway. What happens if you add this additional information using a source plugin or is that too late? Matt On Thu, Aug 22, 2019 at 5:24 PM Sandy Maguire <[email protected]> wrote: > > Following up on this, I've hacked in the changes locally, by setting `XVar > GhcTc = [Name, Type]`, and filling it only for `HsVar`s that used to be > `HsUnboundVar`s. The result is remarkable, as it allows for interactive proof > search. I've got a proof of concept here: > https://asciinema.org/a/FZjEIFzDoHBv741QDHfsU5cn8 > > I think the possibilities here warrant making the same change in HEAD. I'd be > happy to send an MR if it seems likely to be merged. > > Sandy > > > > On Sat, Aug 17, 2019 at 6:27 PM Sandy Maguire <[email protected]> wrote: >> >> Hi all, >> >> I'm trying to get my hands on the relevant local binds (as reported by ghc >> in the presence of a type hole) for editor tooling support. Tracing the code >> suggests that these things come from the `TcLclEnv`, but afaict, all >> remnants of `TcLclEnv` are thrown away by the time we get a >> `TypecheckedModule`. >> >> Am I mistaken in this? If not, how receptive would y'all be to a patch that >> puts the `TcLclEnv`, or something similar inside `XUnboundVar GhcTc`. This >> way editors would have an easy means of getting their hand on whatever is in >> scope at the site of a hole, without resorting to parsing error messages. >> >> Cheers, >> Sandy >> >> -- >> I'm currently traveling the world, sleeping on people's couches and doing >> full-time collaboration on Haskell projects. If this seems interesting to >> you, please consider signing up as a host! https://isovector.github.io/erdos/ > > > > -- > I'm currently traveling the world, sleeping on people's couches and doing > full-time collaboration on Haskell projects. If this seems interesting to > you, please consider signing up as a host! https://isovector.github.io/erdos/ > _______________________________________________ > ghc-devs mailing list > [email protected] > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
