Skip to content

Issues: parsonsmatt/intero-neovim

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Ability to inspect when code doesn't type-check better-docs This issue reports expected behavior, but the documentation and/or error messaging could be better bug
#84 opened Aug 24, 2017 by unode
intero doesn't want to die help wanted waiting-upstream Waiting on support from upstream
#65 opened Jul 18, 2017 by parsonsmatt
Some modules require :InteroLoadCurrentModule for Neomake integration better-docs This issue reports expected behavior, but the documentation and/or error messaging could be better
#69 opened Jul 19, 2017 by Eugleo
Dynamically set the prompt regex help wanted needs-design This issue needs some amount of design consideration before it's ready to work on
#79 opened Aug 6, 2017 by rdnetto
Don't set the buffer name needs-design This issue needs some amount of design consideration before it's ready to work on
#121 opened Dec 8, 2017 by stellarhoof
:InteroGoToDef finds definition but doesn't jump there better-docs This issue reports expected behavior, but the documentation and/or error messaging could be better
#132 opened Jan 2, 2018 by zong-nec
:InteroTypeGeneric does not work with ghci backend bug ghci-backend This issue relates to the GHCi backend. help wanted
#133 opened Jan 25, 2018 by gilligan
Rename the project needs-design This issue needs some amount of design consideration before it's ready to work on
#145 opened Apr 21, 2018 by parsonsmatt
What are you using now?
#164 opened Dec 9, 2020 by junkerjoe
ProTip! What’s not been updated in a month: updated:<2025-02-05.