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

Added GAP REPL mode - WIP #225

Closed
wants to merge 1 commit into from

Conversation

sebasguts
Copy link
Contributor

No description provided.

@wbhart wbhart mentioned this pull request Jun 19, 2019
42 tasks
@wbhart wbhart mentioned this pull request Sep 25, 2019
48 tasks
@fingolfin
Copy link
Member

fingolfin commented Jul 21, 2020

An alternate implementation (using } instead of $ as start key, but that's obviously easy to tweak):

using ReplMaker, GAP
initrepl(GAP.evalstr, prompt_text="gap> ", prompt_color = :blue, start_key='}', mode_name="GAP_mode")

Of course this is also quite limited and differs in numerous ways from an actual GAP prompt. And in the meantime, we have GAP.prompt(), which gives us a genuine GAP prompt (but not a true Julia REPL mode, which also would have advantages...).

I have an old incomplete GAP PR which I ought to dig out that would make it possible to implement a "proper" REPL mode (and also would allow to refactor the GAP REPL). I'll link it here once I submitted it.

@fingolfin fingolfin closed this Jul 27, 2021
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants