Skip to content
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

Improve console REPL completion #334

Open
sxhya opened this issue Aug 2, 2023 · 2 comments
Open

Improve console REPL completion #334

sxhya opened this issue Aug 2, 2023 · 2 comments
Labels

Comments

@sxhya
Copy link
Collaborator

sxhya commented Aug 2, 2023

Improve REPL completion. Currently ImportCompleter will not work on this example:
\import Combinatorics.{-caret-}
Instead default completion will add Fin (instead of BinOp and Factorial).

Also make console completions smarter...

@sxhya sxhya added the repl label Aug 2, 2023
@ice1000
Copy link
Contributor

ice1000 commented Aug 2, 2023

This would be really really difficult as you may further want any projection terms to be completed

@sxhya
Copy link
Collaborator Author

sxhya commented Aug 2, 2023

I agree that it is difficult and unfeasible to implement REPL-completion with IDEA-plugin-like quality of output (at least for now) but in some simplest situations (e.g. the one that I've mentioned) it would be good to have completion working correctly.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

2 participants