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

OCaml console improvements #1

Open
6 tasks
dbuenzli opened this issue Sep 13, 2020 · 3 comments
Open
6 tasks

OCaml console improvements #1

dbuenzli opened this issue Sep 13, 2020 · 3 comments
Labels
enhancement New feature or request

Comments

@dbuenzli
Copy link
Owner

dbuenzli commented Sep 13, 2020

A few things that could be improved in the OCaml console

  • Error reporting highlighting (note that #use does a good job at this as per built-in toplevel support)
  • WYSWYG history management
  • Completion (upstream ?)
  • Toplevel printer story (this should likely be solved upstream)
  • A worfklow for app specific toplevel init ?
  • See if we can extend #use to act over URLs.
@dbuenzli dbuenzli added the enhancement New feature or request label Sep 13, 2020
@hhugo
Copy link
Contributor

hhugo commented Nov 1, 2020

What is the toplevel printer story ?
By completion, you mean completion in the ocaml top loop ?

@dbuenzli
Copy link
Owner Author

dbuenzli commented Nov 1, 2020

Note when I meant upstream, I meant upstream in ocaml not in js_of_ocaml.

In general I think we are not well served by the toploop APIs upstream and that's where most of the improvements should go. Since it then benefits a whole range of derived projects.

What is the toplevel printer story ?

Implementing this attribute scheme in ocaml for automatically installing toplevel printers.

By completion, you mean completion in the ocaml top loop ?

Yes. E.g. a trie on the ids of loaded cmis, or maybe even try to summon merlin at some point. I'd also be interested in having something for that in down, see here.

@hhugo
Copy link
Contributor

hhugo commented Nov 1, 2020

Thanks for the clarification

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

No branches or pull requests

2 participants