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.

Sign up for GitHub

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

Jump to bottom

REPL #135

Closed
valis opened this issue Feb 21, 2020 · 0 comments · Fixed by #210
Closed

REPL #135

valis opened this issue Feb 21, 2020 · 0 comments · Fixed by #210
Assignees
@ice1000
Labels
feature repl

Comments

@valis
Copy link
Collaborator

valis commented Feb 21, 2020

No description provided.

@valis valis added the feature label Feb 21, 2020
ice1000 added a commit that referenced this issue Apr 26, 2020
@ice1000
Build a prototypical REPL (#135)
63d3e5e
ice1000 added a commit that referenced this issue Apr 26, 2020
@ice1000
Build a prototypical REPL (#135)
c389882
ice1000 added a commit that referenced this issue Apr 26, 2020
@ice1000
Trying to get scope work (#135)
710df82
ice1000 added a commit that referenced this issue Apr 26, 2020
@ice1000
And it worked (#135)
d6b4863
@ice1000 ice1000 mentioned this issue Apr 26, 2020
Merged
@ice1000 ice1000 self-assigned this Apr 26, 2020
@ice1000 ice1000 added the repl label Apr 26, 2020
ice1000 added a commit that referenced this issue Apr 26, 2020
@ice1000
Code cleanup (#135)
9e3e559
ice1000 added a commit that referenced this issue Apr 26, 2020
@ice1000
Code cleanup (#135)
65d07bd
ice1000 added a commit that referenced this issue Apr 26, 2020
@ice1000
Code cleanup (#135)
afd852c
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Build a prototypical REPL (#135)
3e4b221
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Trying to get scope work (#135)
3f97c21
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
And it worked (#135)
90698b3
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Code cleanup (#135)
5a62207
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Minor lexer refactoring (#135)
266d921
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Extract CliReplState (#135)
16c237b
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Extract repl as a separate module so the IDE can depend on it (#135)
de9008c
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Extract stdio, add repl to test dependency (#135)
da783e4
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Extract ReporterErrorListener (#135)
68f6173
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Extract ReplLibrary (#135), remove unneeded java plugin in build scripts
cebd95f
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Load library later, remove probably wrong use of ChildGroup (#135)
a9057c5
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Initial abstraction for ReplAction (#135)
77c6541
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Create ReplApi (#135)
14538ec
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Use actions (#135)
562a6d5
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Implement basic actions (#135)
030aef9
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Implement help message (#135)
9e56815
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Delete ReplLibrary (#135)
8f879ff
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Display prompt properly (#135)
1c93d03
@ice1000 ice1000 mentioned this issue Apr 28, 2020
Closed
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Improve help & support changing prompt (#135)
4fb4638
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Improve help message printing (#135)
c56f748
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Load & Unload (#135)
666b6e8
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Fix unload (#135)
4fafa54
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Encapsulation (#135)
b06ceba
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Support goal (#135)
27c8223
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Support reload (#135)
1b2d3dd
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Support loading library (#135)
cbecb42
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Fix loading library (#135)
e74d6c9
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Resort all actions based on their command length (#135)
00c1217
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Don't use Path in interface (#135)
baf2414
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Refactor repl structure (#135)
1cd1961
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Rethink about classes' functions (#135)
8e28c10
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Empty the repl module (#135)
314eff0
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Empty the repl module (#135)
bfc73b6
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Empty the repl module (#135)
9ab3c4c
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Create two REPLs (in case a user can have a plain terminal) (#135)
98c268c
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Add basic completion (#135)
ffc181b
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Add keyword completion (#135)
ef707cf
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Add scope elements completion (#135)
8a5061b
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Prune the repl module (#135)
f97acb5
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Prune the repl module (#135)
8b808aa
ice1000 added a commit that referenced this issue Apr 28, 2020
@ice1000
Prune ReplApi, rename ReplState to Repl (#135)
bcfbbee
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ice1000 ice1000

Labels
feature repl
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Repl in command line JetBrains/Arend
2 participants
@valis @ice1000